return a list of isomorphism class representatives for a list of finite magmas - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Algebra : Magma : Magma/IsomorphismClassRepresentatives

Magma[IsomorphismClassRepresentatives] - return a list of isomorphism class representatives for a list of finite magmas

Calling Sequence

IsomorphismClassRepresentatives( L )

Parameters

L

-

list; list of magmas whose isomorphism class representatives are to be computed

Description

• 

The IsomorphismClassRepresentatives( L ) command returns a list containing one representative from each isomorphism class of the magmas in the input list L.  Thus, every magma in L is isomorphic to one of the magmas in the list returned, and no two magmas in the returned list are isomorphic.

• 

If the magmas in L are already pairwise non-isomorphic, then L itself is returned.

Examples

withMagma:

L:=seqRandomMagma2,i=1..20:

C:=IsomorphismClassRepresentativesL

C:=2111,1211,1212,2222,2121,2112,1222,1121,1122

(1)

C2:=IsomorphismClassRepresentativesC

C2:=2111,1211,1212,2222,2121,2112,1222,1121,1122

(2)

evalbC=C2

true

(3)

See Also

Magma, Magma/AreIsomorphic


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam