to_poly_solver



Hi,
Barton's to_poly_solve is a very useful program. I wonder if the
differences with solve's syntax have some deep reasoning behind it or
were just accidental :)

-  solve(eq1,x) can be written as solve(eq1) if eq1 depends only on x,
but to_poly_solve(eq1,x) cannot be written as to_poly_solve(eq1).

-  solve returns a list of solutions [[x=1],[x=5],[x=6]]
while to_poly_solve returns %union(x=1,x=5,x=3)

Finally, would it be possible to make to_poly_solve (and %solve)
autoload the package to_poly_solver?

Regards,
Jaime