"Source: Text/Geometry/ModAbVar.text";
"Line: 335";
"Date: Fri Sep  9 15:10:23 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/ModAbVar.text, line: 335
// Example: H145E4 ()
print "Example: H145E4";
ei := GetEchoInput();
SetEchoInput(true);
JOne(13);
JOne(13,4);
JOne(13,4 : Sign := 1);
JH(13,6);
JH(13,3);
JH(13,[-1]);
JOne(17);
Js(17);
IsIsogenous(JOne(17),Js(17));
assert $1;
Degree(NaturalMap(JOne(17),Js(17)));
assert $1 eq 16;
JH(17,2);
JH(17,4);
JH(17,8);
SetEchoInput(ei);
