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

Synopsis

• Usage:
tPascalIdeal(S,t)
• Inputs:
• S, a polynomial ring
• t, a positive integer that idenfies 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 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 :

• "tPascalIdeal(Ring,ZZ)"

For the programmer

The object tPascalIdeal is .