"Source: Text/Geometry/ModAbVar.text";
"Line: 1710";
"Date: Fri Sep  9 15:10:23 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/ModAbVar.text, line: 1710
// Example: H145E32 ()
print "Example: H145E32";
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);
