"Source: Text/Algebra/AlgFP.text";
"Line: 2651";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Algebra/AlgFP.text, line: 2651
// Example: H91E10 ()
print "Example: H91E10";
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);
i2 := rideal<a1 | b-1, 1+a^ 3+a^ 3*b+a^ 2>; 
mats, im, preim := QuotientModule(a1,i2);
mats;
SetEchoInput(ei);
