Sigh no consistency in when I use L/R an when left/right.
This commit is contained in:
parent
f9a9c9fc50
commit
384270d9db
@ -239,12 +239,12 @@ end);
|
||||
## Distributivity checkers for when need be
|
||||
InstallMethod(IsLSelfDistributive, "for magma",
|
||||
[IsMagma],
|
||||
M -> IsLSelfDistributiveTable(MultiplicationTable(M))
|
||||
M -> IsLeftSelfDistributiveTable(MultiplicationTable(M))
|
||||
);
|
||||
|
||||
InstallMethod(IsRSelfDistributive, "for magma",
|
||||
[IsMagma],
|
||||
M -> IsRSelfDistributiveTable(MultiplicationTable(M))
|
||||
M -> IsRightSelfDistributiveTable(MultiplicationTable(M))
|
||||
);
|
||||
|
||||
## Special case the Opposite function from LOOPS package, since the opposite
|
||||
|
Loading…
Reference in New Issue
Block a user