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