"Source: Text/Algebra/AlgBas.text";
"Line: 1662";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Algebra/AlgBas.text, line: 1662
// Example: H94E10 ()
print "Example: H94E10";
ei := GetEchoInput();
SetEchoInput(true);
F<e1,e2,z,y,x> := FreeAlgebra(GF(5),5);                             
RR:= [(y*z)^3,x^4,x*y*z];
A := BasicAlgebra(F,RR,2,[<1,2>,<2,1>,<2,2>]);
A;
RS:= [(y*z)^3-x^4,x^5,x*y*z,(z*y)^3];                               
B := BasicAlgebra(F,RS,2,[<1,2>,<2,1>,<2,2>]);
B;
RT:= [(y*z)^3-2*x^4,x^5,x*y*z,(z*y)^3];                             
C := BasicAlgebra(F,RS,2,[<1,2>,<2,1>,<2,2>]);
C;                                                                  
time ab, x := IsIsomorphic(A,B);                                    
ab;                             
assert not $1;
time ac, x := IsIsomorphic(A,C);                                    
print ac;                       
assert not $1;
time bc,x := IsIsomorphic(B,C);                                     
print bc;                      
assert $1;
SetEchoInput(ei);
