. For normal toric varieties, the fan of the product is given by the cartesian product of each pair of cones in the fans of the factors.
i1 : PP2 = projectiveSpace 2;
|
i2 : FF2 = hirzebruchSurface 2;
|
i3 : X = FF2 ** PP2;
|
i4 : #rays X == #rays FF2 + #rays PP2
o4 = true
|
i5 : transpose matrix rays X
o5 = | 1 0 -1 0 0 0 0 |
| 0 1 2 -1 0 0 0 |
| 0 0 0 0 -1 1 0 |
| 0 0 0 0 -1 0 1 |
4 7
o5 : Matrix ZZ <--- ZZ
|
i6 : transpose matrix rays FF2 ++ transpose matrix rays PP2
o6 = | 1 0 -1 0 0 0 0 |
| 0 1 2 -1 0 0 0 |
| 0 0 0 0 -1 1 0 |
| 0 0 0 0 -1 0 1 |
4 7
o6 : Matrix ZZ <--- ZZ
|
i7 : primaryDecomposition ideal X
o7 = {ideal (x , x ), ideal (x , x ), ideal (x , x , x )}
0 2 1 3 4 5 6
o7 : List
|
i8 : flatten (primaryDecomposition \ {ideal FF2,ideal PP2})
o8 = {ideal (x , x ), ideal (x , x ), ideal (x , x , x )}
0 2 1 3 0 1 2
o8 : List
|