39.7 PrintDefinitionFpAlgebra

PrintDefinitionFpAlgebra( A, name )

prints the assignment of the finitely presented algebra A to the variable name name. Using the call as an argument of PrintTo (see PrintTo), this can be used to save A to a file.

    gap> a:= FreeAlgebra( GF(2), "x", "y" );
    UnitalAlgebra( GF(2), [ x, y ] )
    gap> a:= a / [ a.1^2-a.one, a.2^2-a.one, (a.1*a.2)^3 - a.one ];
    UnitalAlgebra( GF(2), [ x, y ] )
    gap> PrintDefinitionFpAlgebra( a, "b" );
    b:= FreeAlgebra( GF(2), "x", "y" );
    b:= b / [ b.one+b.1^2, b.one+b.2^2, b.one+b.1*b.2*b.1*b.2*b.1*b.2 ];
    gap> PrintTo( "algebra", PrintDefinitionFpAlgebra( a, "b" ) ); 

Previous Up Top Next
Index