i1 : F = projectiveSpaceFan 2
o1 = {ambient dimension => 2 }
number of generating cones => 3
number of rays => 3
top dimension of the cones => 2
o1 : Fan
|
i2 : E = tangentBundle F
o2 = {dimension of the variety => 2 }
number of affine charts => 3
number of rays => 3
rank of the vector bundle => 2
o2 : ToricVectorBundleKlyachko
|
i3 : details E
o3 = HashTable{| -1 | => (| -1 -1 |, | -1 0 |)}
| -1 | | -1 0 |
| 0 | => (| 0 1 |, | -1 0 |)
| 1 | | 1 0 |
| 1 | => (| 1 0 |, | -1 0 |)
| 0 | | 0 1 |
o3 : HashTable
|
i4 : F = projectiveSpaceFan 2
o4 = {ambient dimension => 2 }
number of generating cones => 3
number of rays => 3
top dimension of the cones => 2
o4 : Fan
|
i5 : E = tangentBundle(F,"Type" => "Kaneyama")
o5 = {dimension of the variety => 2 }
number of affine charts => 3
rank of the vector bundle => 2
o5 : ToricVectorBundleKaneyama
|
i6 : details E
o6 = (HashTable{0 => (| -1 0 |, | 1 1 |)}, HashTable{(0, 1) => | -1 0 |})
| -1 1 | | 0 -1 | | -1 1 |
1 => (| 1 0 |, | -1 0 |) (0, 2) => | 1 -1 |
| 0 1 | | 0 -1 | | 0 -1 |
2 => (| 1 -1 |, | 0 -1 |) (1, 2) => | 0 -1 |
| 0 -1 | | 1 1 | | 1 -1 |
o6 : Sequence
|
The object cotangentBundle is a method function with options.