"Source: Text/Geometry/ModAbVar.text";
"Line: 1776";
"Date: Fri Sep  9 15:10:23 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/ModAbVar.text, line: 1776
// Example: H145E33 ()
print "Example: H145E33";
ei := GetEchoInput();
SetEchoInput(true);
A := JZero(11);
x := A![1/10,0]; x;
Order(x);
assert $1 eq 10;
B,pi := A/Subgroup([x]);
B;
pi;
Matrix(pi);
IntegralMatrix(pi);
base := Basis(IntegralHomology(B)); base;
y := B![1/10,0]; y;
Order(y);
assert $1 eq 10;
z := B!base[1]; z;
SetEchoInput(ei);
