"Source: Text/Group/GrpPC.text";
"Line: 2201";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpPC.text, line: 2201
// Example: H70E14 ()
print "Example: H70E14";
ei := GetEchoInput();
SetEchoInput(true);
G := DihedralGroup(GrpPC, 10);
C := sub<G| G.2>;
H := sub<G| G.1, G.3>;
H.1 in C;
assert not $1;
H.2 in C;
assert $1;
Parent(H.1);
G!(H.1);
H.1*C.1;
x := (H.1, C.2);
x;
H!x;
C!x;
C!(H.2);
SetEchoInput(ei);
