next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Normaliz :: allComputations

allComputations

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)

     ZZ
o3 = --[y, x]
     37

o3 : monomial subalgebra of R
i4 : T.cache#"cone"

o4 = RationalCone{cgr => 0                                            }
                  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 => (1, 1, 0)
                                   grading denom => 1
                                   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 => 1
                                   multiplicity denom => 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

Functions with optional argument named allComputations :

For the programmer

The object allComputations is a symbol.