"Source: Text/Geometry/Toric.text";
"Line: 1286";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/Toric.text, line: 1286
// Example: H129E10 ()
print "Example: H129E10";
ei := GetEchoInput();
SetEchoInput(true);
L := ToricLattice(3);
v := L ! [1/5,2/5,3/5];
LL,emb := AddVectorToLattice(v);
C := PositiveQuadrant(L);
CC := Image(emb,C);
CC;
IsTerminal(CC);
assert $1;
GorensteinIndex(CC);
F := Fan(CC);
F;
Resolution(F);
SetEchoInput(ei);
