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