IsAlgebra( obj )
returns true
if obj, which can be an object of arbitrary type, is
a parent algebra or a subalgebra and false
otherwise.
The function will signal an error if obj is an unbound variable.
gap> IsAlgebra( FreeAlgebra( GF(2), 0 ) ); true gap> IsAlgebra( 1/2 ); false
GAP 3.4.4