"Source: Text/Geometry/Toric.text";
"Line: 3622";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/Toric.text, line: 3622
// Example: H129E24 ()
print "Example: H129E24";
ei := GetEchoInput();
SetEchoInput(true);
P<x,y,z> := ProjectiveSpace(Rationals(),2);
C := Curve(P,x^8 + x^4*y^3*z + z^8);
Genus(C);
assert $1 eq 8;
eqns := Sections(CanonicalLinearSystem(C));
X<[a]> := ProjectiveSpace(Rationals(),7);
f := map< P -> X | eqns >;
V := f(C);
V;
W,g := BinomialToricEmbedding(V);
Y<[b]> := Domain(g);
Y;
I := Saturation(DefiningIdeal(W),IrrelevantIdeal(Y));
Basis(I);
SetEchoInput(ei);
