IsomorphismClassRepresentatives - Maple Help

Home : Support : Online Help : Mathematics : Algebra : 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.

Examples

 > $\mathrm{with}\left(\mathrm{Magma}\right):$
 > $L≔\left[\mathrm{seq}\right]\left(\mathrm{RandomMagma}\left(2\right),i=1..20\right):$
 > $C≔\mathrm{IsomorphismClassRepresentatives}\left(L\right):$
 > $\mathrm{C2}≔\mathrm{IsomorphismClassRepresentatives}\left(C\right):$
 > $\mathrm{evalb}\left(C=\mathrm{C2}\right)$
 ${\mathrm{true}}$ (1)

Compatibility

 • The Magma[IsomorphismClassRepresentatives] command was introduced in Maple 16.