Magma
GetIsomorphism
return an isomorphism between isomorphic magmas
Calling Sequence
Parameters
Description
Examples
Compatibility
GetIsomorphism( m1, m2 )
m1
-
Array; Cayley table of a magma
m2
The GetIsomorphism( 'm1', 'm2' ) command returns an isomorphism, in the form of a permutation of 1..n, where m1 and m2 are of order n, which effects an isomorphism from m1 to m2. In case m1 and m2 are not isomorphic, then the value false is returned.
with⁡Magma:
m1≔1|2|3,2|3|1,3|1|2
m1≔123231312
m2≔2|3|1,3|1|2,1|2|3
m2≔231312123
GetIsomorphism⁡m1,m2
3,1,2
m3≔1|2|1,2|3|2,3|1|3
m3≔121232313
GetIsomorphism⁡m1,m3
false
The Magma[GetIsomorphism] command was introduced in Maple 15.
For more information on Maple 15 changes, see Updates in Maple 15.
See Also
Magma/TransportStructure
Download Help Document