XIDEAL _ _ _ _ _ _ _ _ _ _ _ _ package

Author: David Hartley

xidealconstructs Groebner bases for solving the left ideal membership problem: Groebner left ideal bases or GLIBs. For graded ideals, where each form is homogeneous in degree, the distinction between left and right ideals vanishes. Furthermore, if the generating forms are all homogeneous, then the Groebner bases for the non-graded and graded ideals are identical. In this case, xideal is able to save time by truncating the Groebner basis at some maximum degree if desired.