Macaulay2 » Documentation
Packages » SymbolicPowers :: squarefreeInCodim
next | previous | forward | backward | up | index | toc

squarefreeInCodim -- finds square-fee monomials in ideal raised to the power of the codimension.



Given a monomial ideal $I$, returns all square-free monomials in a minimal generating set of $I^c$ where $c$ is the codimension of $I$.

i1 : R = QQ[x,y,z];
i2 : I = ideal(x*y,y*z,x*z);

o2 : Ideal of R
i3 : squarefreeInCodim(I)

o3 = {}

o3 : List

See also

Ways to use squarefreeInCodim :

For the programmer

The object squarefreeInCodim is a method function.