tPascalIdeal -- give the Pascal ideal of t-spread monomials of a given polynomial ring

Usage:

tPascalIdeal(S,t)
Inputs:
- S, a polynomial ring
- t, a positive integer that identifies the t-spread contest
Outputs:
- an ideal, the Pascal ideal of t-spread monomials of S

Description

the function tPascalIdeal(S,t) returns the Pascal ideal of t-spread monomials of S, that is, the ideal generated by the minimum number of t-spread monomials of S with the greatest possible degrees and such that the supports of the generators are pairwise disjoint.

Examples:

i1 : S=QQ[x_1..x_10]

o1 = S

o1 : PolynomialRing

i2 : tPascalIdeal(S,3)

o2 = ideal (x x x x  , x x x , x x x )
             1 4 7 10   2 5 8   3 6 9

o2 : Ideal of S

i3 : tPascalIdeal(S,4)

o3 = ideal (x x x , x x x  , x x , x x )
             1 5 9   2 6 10   3 7   4 8

o3 : Ideal of S

Ways to use tPascalIdeal:

tPascalIdeal(Ring,ZZ)

For the programmer

The object tPascalIdeal is a method function.

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