Magma[IsRightSemimedial] - test whether a magma is right semimedial
|
Calling Sequence
|
|
IsRightSemimedial( m )
|
|
Parameters
|
|
m
|
-
|
Array representing the Cayley table of a finite magma
|
|
|
|
|
Description
|
|
•
|
A magma is right semimedial if it satisfies the right semimedial law (Y*Z)*(X*X) = (Y*X)*(Z*X).
|
•
|
The IsRightSemimedial command returns true if the given magma is right semimedial. It returns false otherwise.
|
|
|
Compatibility
|
|
•
|
The Magma[IsRightSemimedial] command was introduced in Maple 15.
|
|
|
Examples
|
|
>
|
|
>
|
|
| (1) |
>
|
|
| (2) |
>
|
|
| (3) |
>
|
|
| (4) |
|
|