IsFpAlgebra( obj )
returns true if obj is a finitely presented algebra, and false otherwise.
true
false
gap> IsFpAlgebra( FreeAlgebra( GF(2), 0 ) ); true gap> IsFpAlgebra( last ); false
Previous Up Top NextIndex