"Source: Text/Geometry/Toric.text";
"Line: 2668";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/Toric.text, line: 2668
// Example: H129E17 ()
print "Example: H129E17";
ei := GetEchoInput();
SetEchoInput(true);
// no-test
X := ProjectiveSpace(Rationals(),[1,1,1]);
Y<u,v,x,y> := Blowup(X, &+Rays(Fan(X))[1..2]);
Y;
D := 2*Divisor(Y,u) - Divisor(Y,v);
IsEffective(D);
assert not $1;
P := Polyhedron(D);
monos := [ LatticeElementToMonomial(D,v) : v in Points(P) ];
monos;
[ AreLinearlyEquivalent(Divisor(Y,m),D) : m in monos ];
SetEchoInput(ei);
