"Source: Text/Geometry/ModAbVar.text";
"Line: 5302";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/ModAbVar.text, line: 5302
// Example: H148E80 ()
print "Example: H148E80";
ei := GetEchoInput();
SetEchoInput(true);
D := Decomposition(JZero(65));
G := ComponentGroupOfIntersection(D); G;
FieldOfDefinition(G);
B  := D[1]/G; B;
IsIsomorphic(D[1],B);
assert not $1;
A := D[1] + D[2];
B := D[1] + D[3];
A meet B;
f := ModularEmbedding(A);
g := ModularEmbedding(B);
_, C := IntersectionOfImages([* f, g *]);
C eq D[1];
assert $1;
SetEchoInput(ei);
