"Source: Text/Geometry/ModAbVar.text";
"Line: 1710";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/ModAbVar.text, line: 1710
// Example: H148E32 ()
print "Example: H148E32";
ei := GetEchoInput();
SetEchoInput(true);
JZero(11)![1/2,1/5];
JZero(11)![Cusps()|1/2,1/5];
assert IsZero($1);
JZero(11)![Sqrt(2),0];
JZero(11)![Cusps()|0,Infinity()];     // cusps
JZero(11)![0,Infinity()];             // extended reals
JZero(11,4)![0,Infinity()];
R<x,y> := PolynomialRing(RationalField(),2);
JZero(11,4)!<x^2,[0,Infinity()]>;
JZero(11,4)!<y^2,[0,Infinity()]>;
J := JZero(37); A := Decomposition(J)[1];
x := A![1/5,0];
Parent(x);
x in J;
assert not $1;
y := J!x; y;
y in J;
assert $1;
Parent(y);
JZero(37)!0;
assert IsZero($1);
SetEchoInput(ei);
