IsMagmaHomomorphism( mapp ) P
A MagmaHomomorphism is a total single valued mapping which respects
multiplication.
MagmaHomomorphismByFunctionNC( G, H, fn ) F
Creates the homomorphism from G to H without checking that fn is a homomorphism.
NaturalHomomorphismByGenerators( f, s ) O
returns a mapping from the magma f with n generators to the magma s with n generators, which maps the ith generator of f to the ith generator of s.
[Top] [Previous] [Up] [Next] [Index]
GAP 4 manual