"Source: Text/Geometry/Toric.text";
"Line: 2755";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/Toric.text, line: 2755
// Example: H129E18 ()
print "Example: H129E18";
ei := GetEchoInput();
SetEchoInput(true);
X<x,y,z> := ProjectiveSpace(Rationals(),[1,3,5]);
D := Divisor(X,[2,3,1]);
cones := Cones(Fan(X));
RRD := &meet [ Polytope([Cartier(D)[i]]) + Dual(cones[i]) : i in [1..3]];
IsPolytope(RRD);
assert $1;
NumberOfPoints(RRD);
assert $1 eq 14;
time HilbertCoefficients(D,10);
h<t> := HilbertSeries(D);
h;
h * (1 - t) * (1 - t^3) * (1 - t^5);
SetEchoInput(ei);
