[SPACECADET3D]

Author here: you can generate the Groebner basis in lex order or compute a resultant, but it doesn't automatically backsubstitute the system at the moment. This is mostly because I haven't committed yet to a format to describe roots of polynomials. It's on the todo list though :)

[sgdpk]

Thank you for replying! The project seems promising, I'll follow with interest. Hope it goes well :)