"Source: Text/Algebra/AlgFP.text";
"Line: 305";
"Date: Thu Apr  1 12:39:47 2021";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Algebra/AlgFP.text, line: 305
// Example: H89E1 ()
print "Example: H89E1";
ei := GetEchoInput();
SetEchoInput(true);
K := RationalField();
F<x,y,z> := FreeAlgebra(K, 3);
h := hom<F -> F | x*y, y*x, z*x>;
h(x);
h(y);
h(x*y);
h(x + y + z);
A := MatrixAlgebra(K, 2);
M := [A | [1,1,-1,1], [-1,3,4,1], [11,7,-7,8]];                       
M;
h := hom<F -> A | M>;                                            
h(x);
h(y);
h(x*y - y*z);
SetEchoInput(ei);
