up previous next
AreGensSqFreeMonomial

checks if given gens are squarefree monomial

Syntax
AreGensSqFreeMonomial(I: IDEAL): BOOL

Description
This function checks if the given generators for I are monomial and square-free, and stores this information in I : this is useful if it has thousands of generators and we want to know if we can use special algorithms for square-free monomial generators.

NOTE: this function returns true only if the given generators (i.e. those from gens(I) ) are all square-free monomials, regardless of whether there exists another set of generators which are all square-free monomials.

Example
/**/  use P ::= QQ[x,y,z];
/**/  AreGensSqFreeMonomial(ideal(x, y));
true
/**/  AreGensSqFreeMonomial(ideal(x, x^2));
false
/**/  AreGensSqFreeMonomial(ideal(x, x+y));
false

See Also