|
Magma[IsRack] - test whether a magma is a rack
|
|
Calling Sequence
|
|
IsRack( m )
|
|
|
Parameters
|
|
|
m
|
-
|
Array representing the Cayley table of a finite magma
|
|
|
|
|
|
Description
|
|
|
•
|
A rack is a right-distributive and right-invertible magma. In other words, the right action of the magma on itself by right translations is automorphic. (Racks have, therefore, also been called automorphic sets in the literature.)
|
|
•
|
The IsRack command returns true if the given magma is a rack. It returns false otherwise.
|
|
|
|
Compatibility
|
|
|
•
|
The Magma[IsRack] command was introduced in Maple 15.
|
|
|
|
Examples
|
|
|
>
|
|
|
>
|
|
|
![m := Matrix([[1, 3, 2], [3, 2, 1], [2, 1, 3]])](/support/helpjp/helpview.aspx?si=8590/file02142/math71.png)
| (1) |
|
>
|
|
|
| (2) |
|
>
|
|
|
![m := Matrix([[1, 2, 3], [2, 3, 3], [3, 1, 2]])](/support/helpjp/helpview.aspx?si=8590/file02142/math85.png)
| (3) |
|
>
|
|
|
| (4) |
|
|
Download Help Document
Was this information helpful?
