return a list of isomorphism class representatives for a list of finite magmas
IsomorphismClassRepresentatives( L )
list; list of magmas whose isomorphism class representatives are to be computed
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.
L ≔ seq⁡RandomMagma⁡2,i=1..20:
C ≔ IsomorphismClassRepresentatives⁡L
C ≔ 2111,1211,1212,2222,2121,2112,1222,1121,1122
C2 ≔ IsomorphismClassRepresentatives⁡C
C2 ≔ 2111,1211,1212,2222,2121,2112,1222,1121,1122
The Magma[IsomorphismClassRepresentatives] command was introduced in Maple 16.
For more information on Maple 16 changes, see Updates in Maple 16.
Download Help Document
What kind of issue would you like to report? (Optional)
Thank you for submitting feedback on this help document. Your feedback will be used
to improve Maple's help in the future.