"Source: Text/Algebra/AlgFP.text";
"Line: 2602";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Algebra/AlgFP.text, line: 2602
// Example: H91E9 ()
print "Example: H91E9";
ei := GetEchoInput();
SetEchoInput(true);
d8<a,b> := Group<a,b | a^ 4 = b^ 2 = (a*b)^ 2 = 1>;
q := RationalField();
a1<a,b> := FreeAlgebra(q,d8);
i1 := rideal<a1 | b-1 >;
mats, im, preim := QuotientModule(a1,i1);
mats;
im;
preim;
SetEchoInput(ei);
