1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 1 1 0 0 0 1 0 0 1 1 1 0 1 1 1 0 1 0 0 1 0 0 1 1 0 1 1in dimension 7. We compute its integral closure in the ambient lattice \ZZ^7. The fastest way is applying the function intclToricRing to the ideal that is generated by the monomials whose exponent vectors are the generators of the cone (to compute it in the group of the monoid generated by these vectors use normalToricRing) . One can convert the vectors to monomials in the following way:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 1 1 -1 -1 -1 0 0 0 1 1 1 0 0 0 -1 -1 -1 0 1 1 -1 0 0 -1 0 0 1 0 1 0 -1 0 0 -1 0 1 1 0 0 0 -1 0 0 -1 0 1 1 0 -1 0 0 0 -1 1 1 0 0 -1 0 -1 0 0(this is the solution cone for a 3x3 magic square). To this end one has to choose type 5.
|
|
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/Normaliz.m2:777:0.