38.7 IsUnitalAlgebra

IsUnitalAlgebra( obj )

returns true if obj, which can be an object of arbitrary type, is a unital parent algebra or a unital subalgebra and false otherwise. The function will signal an error if obj is an unbound variable.

    gap> IsUnitalAlgebra( FreeAlgebra( GF(2), 0 ) );
    true
    gap> IsUnitalAlgebra( Algebra( Rationals, [ [ [ 1 ] ] ] ) );
    false 

Note that the function does not check whether obj is an algebra that contains the zero-th power of elements, but just checks whether obj is an algebra with flag isUnitalAlgebra.

Previous Up Top Next
Index