up previous next
AreGensMonomial

checks if given gens are monomial

Syntax 
AreGensMonomial(I: IDEAL): BOOL

Description
This function checks if the given generators for I are monomial, 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 monomial generators.

NOTE: this function return false if at least one generator in gens(I) is not monomial even if there exits another set of generators which are monomial.

Example 
/**/  use P ::= QQ[x[1..100]];
/**/  AreGensMonomial(ideal(x[1], x[1]+x[2]));
false

/**/  I := ideal(support(sum(indets(P))^3));
/**/  t0 := CpuTime(); AreGensMonomial(I); TimeFrom(t0);
true
0.040
/**/  t0 := CpuTime(); AreGensMonomial(I); TimeFrom(t0);
true
0.000

See Also