i3 : (intCl,normRees)=intclMonIdeal(allComputations=>true,I)
3 2 2 3
o3 = (ideal (y , x*y , x y, x ),
------------------------------------------------------------------------
MonomialSubalgebra{cache => CacheTable{...1...} })
3 2 2 3
generators => {t, y, y a, x, x*y a, x y*a, x a}
ZZ
ring => --[x, y, t, a]
37
o3 : Sequence
|
i4 : normRees.cache#"cone"
o4 = RationalCone{cgr => 0 }
equ => 0
gen => | 0 0 1 0 |
| 0 1 0 0 |
| 0 3 0 1 |
| 1 0 0 0 |
| 1 2 0 1 |
| 2 1 0 1 |
| 3 0 0 1 |
inv => HashTable{height 1 elements => 7 }
hilbert basis elements => 7
homogeneous => true
homogeneous weights => (1, 1, 1, -2)
index => 1
multiplicity => 4
number extreme rays => 5
number support hyperplanes => 5
primary => false
rank => 4
sup => | 0 1 0 0 |
| 0 0 1 0 |
| 0 0 0 1 |
| 1 1 0 -3 |
| 1 0 0 0 |
typ => | 0 1 0 0 0 |
| 1 0 0 1 0 |
| 3 0 1 0 0 |
| 0 0 0 1 1 |
| 2 0 1 0 1 |
| 1 0 1 0 2 |
| 0 0 1 0 3 |
o4 : RationalCone
|