Hi List:
"Using external solvers (typically in C++) would be easiest (they exist,
also as open-source programs). It would be nice if Maxima would use
such extensions (some time ago we also discussed the inclusion of
the QEPCAD system, which would be a great addition to Maxima's
reasoning power)."
I may just modify this to work in Maxima if I can get my hands on it and if
I can do it in a reasonable amount of time. I don't know if I will have the
time, I am busy in school. There are some complexities you mentioned that
indicate this may be more involved than I thought.
Rich