i1 : smallDiagonal 3
o1 = ideal (- x x + x x , - x x + x x , - x x +
1,0 0,1 0,0 1,1 1,0 0,2 0,0 1,2 1,1 0,2
------------------------------------------------------------------------
x x )
0,1 1,2
ZZ
o1 : Ideal of -----[x , x , x , x , x , x ]
32003 0,0 1,0 0,1 1,1 0,2 1,2
|
i2 : S = productOfProjectiveSpaces 3 o2 = S o2 : PolynomialRing |
i3 : smallDiagonal S
o3 = ideal (- x x + x x , - x x + x x , - x x +
1,0 0,1 0,0 1,1 1,0 0,2 0,0 1,2 1,1 0,2
------------------------------------------------------------------------
x x )
0,1 1,2
o3 : Ideal of S
|