Description
allComputations is an option for
normaliz,
intclToricRing,
normalToricRing,
intclMonIdeal,
torusInvariants,
finiteDiagInvariants,
diagInvariants,
intersectionValRings,
intersectionValRingIdeals. Its default value is false. If it is set to true, the cone in the cache table of the monomial subalgebra returned contains not only the generators, but all the data that have been computed by
Normaliz (what this includes depends on the type and the options set, see
output files written by Normaliz).
i1 : R=ZZ/37[x,y,t];
|
i2 : L={x^3, x^2*y, y^3, x*y^2};
|
i3 : T=intclToricRing(allComputations=>true,L)
o3 = MonomialSubalgebra{cache => CacheTable{...1...}}
generators => {y, x}
ring => R
o3 : MonomialSubalgebra of R
|
i4 : T.cache#"cone"
o4 = RationalCone{"cgr" => | 0 | }
| 4 |
"equ" => | 0 0 1 |
"gen" => | 0 1 0 |
| 1 0 0 |
"inv" => HashTable{"" => (1, 1) }
"class group" => 1 : (0)
"degree 1 elements" => 2
"dim max subspace" => 0
"embedding dim" => 3
"external index" => 1
"graded" => true
"grading denom" => 1
"grading" => (1, 1, 0)
"hilbert basis elements" => 2
"hilbert quasipolynomial denom" => 1
"hilbert series denom" => (1, 1)
"hilbert series num" => 1 : (1)
"inhomogeneous" => false
"integrally closed" => false
"internal index" => 3
"multiplicity denom" => 1
"multiplicity" => 1
"number extreme rays" => 2
"number support hyperplanes" => 2
"rank" => 2
"size triangulation" => 1
"sum dets" => 1
"sup" => | 0 1 0 |
| 1 0 0 |
o4 : RationalCone
|