Groebner Method.
JGEX Help