Examples:
i1 : S=QQ[x_1..x_14] o1 = S o1 : PolynomialRing |
i2 : I=ideal {x_3*x_7*x_10*x_14, x_1*x_5*x_9*x_13} o2 = ideal (x x x x , x x x x ) 3 7 10 14 1 5 9 13 o2 : Ideal of S |
i3 : tSpreadIdeal(I,3) o3 = ideal (x x x x , x x x x ) 3 7 10 14 1 5 9 13 o3 : Ideal of S |
i4 : tSpreadIdeal(I,4) o4 = ideal(x x x x ) 1 5 9 13 o4 : Ideal of S |
The object tSpreadIdeal is a method function.