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 = --[x, y]
     37

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

o4 = RationalCone{cgr => 0                                            }
                  equ => | 0 0 1 |
                  gen => | 1 0 0 |
                         | 0 1 0 |
                  inv => HashTable{ => (1, 1)                        }
                                   degree 1 elements => 2
                                   embedding dim => 3
                                   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)
                                   index => 3
                                   inhomogeneous => false
                                   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.