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

## Synopsis

• Usage:
squarefreeInCodim(I)
• Inputs:
• Outputs:

## Description

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