"Source: Text/Geometry/Toric.text";
"Line: 2755";
"Date: Wed Sep  5 23:00:01 2018";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/Toric.text, line: 2755
// Example: H126E18 ()
print "Example: H126E18";
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);
