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
|