Macaulay2 » Documentation
Packages » RandomIdeals :: squareFree
next | previous | forward | backward | up | index | toc

# squareFree -- ideal of all square-free monomials of given degree

- Usage:
    `I = squareFree(d,S)`
- Inputs:
  - d, an integer, positive
  - S, a ring, Polynomial ring
- Outputs:
  - I, an ideal, all square-free monomials of degree d

## Description

    i1 : kk=ZZ/101

    o1 = kk

    o1 : QuotientRing

    i2 : S=kk[a..e]

    o2 = S

    o2 : PolynomialRing

    i3 : squareFree(3, S)

    o3 = ideal (a*b*c, a*b*d, a*b*e, a*c*d, a*c*e, a*d*e, b*c*d, b*c*e, b*d*e,
         ------------------------------------------------------------------------
         c*d*e)

    o3 : Ideal of S

## See also

- randomSquareFreeMonomialIdeal -- random square-free monomial ideal with given degree generators

## Ways to use squareFree:

- squareFree(ZZ,Ring) -- ideal of all square-free monomials of given degree

## For the programmer

The object squareFree is a method function.

The source of this document is in /build/macaulay2-88fgJW/macaulay2-1.25.11+ds/M2/Macaulay2/packages/RandomIdeals.m2:991:0.