MakeAnsatz

MakeAnsatz[{e1, e2, ...}]
returns C_1 e_1+C_2 e_2+… , where the C_i's are newly defined constant symbols.
  • The following options can be given:
ConstantPrefix"C"what prefix for the constant symbols to use