"Source: Text/Algebra/AlgFP.text";
"Line: 2651";
"Date: Thu Apr  1 12:39:47 2021";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Algebra/AlgFP.text, line: 2651
// Example: H89E10 ()
print "Example: H89E10";
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);
