OK, here is how you declare conjugate to be the inverse of conjugate for
Solve internally.
I do not guarantee that it will work correctly in general. It does work in
the case of solve(conjugate(x)=%i), but I have not studied the code, and it
is possible that various things could go wrong (infinite loops, etc.).
load(conjugate)$ /* load the standard conjugate definitions */
:lisp (putprop '$conjugate '$conjugate '$inverse)