"Source: Text/Geometry/Toric.text";
"Line: 2008";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/Toric.text, line: 2008
// Example: H129E14 ()
print "Example: H129E14";
ei := GetEchoInput();
SetEchoInput(true);
R<x1,x2,x3,y1,y2,y3,y4> := PolynomialRing(Rationals(),7);
I := [ ideal<R|x1,x2,x3>, ideal<R|y1,y2,y3,y4> ];
Z := [ [1,1,1,0,-3,-5,-5], [0,0,0,1,1,1,1] ];
Q := [];
C := CoxRing(R,I,Z,Q);
C;
X := ToricVariety(C);
X;
Fan(X);
SetEchoInput(ei);
