next | previous | forward | backward | up | top | index | toc | Macaulay2 website
TSpreadIdeals > tPascalIdeal

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

Synopsis

Description

the function tPascalIdeal(S,t) returns the Pascal ideal of t-spread monomials of S, that is, the ideal generated by the minimun 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 :

For the programmer

The object tPascalIdeal is a method function.