Fix more typo.
This commit is contained in:
parent
95b9835e8c
commit
f9a9c9fc50
|
@ -237,12 +237,12 @@ InstallMethod(RightPerms,
|
||||||
end);
|
end);
|
||||||
|
|
||||||
## Distributivity checkers for when need be
|
## Distributivity checkers for when need be
|
||||||
InstallMethod(IsLSelfDistributive, "for magma"
|
InstallMethod(IsLSelfDistributive, "for magma",
|
||||||
[IsMagma],
|
[IsMagma],
|
||||||
M -> IsLSelfDistributiveTable(MultiplicationTable(M))
|
M -> IsLSelfDistributiveTable(MultiplicationTable(M))
|
||||||
);
|
);
|
||||||
|
|
||||||
InstallMethod(IsRSelfDistributive, "for magma"
|
InstallMethod(IsRSelfDistributive, "for magma",
|
||||||
[IsMagma],
|
[IsMagma],
|
||||||
M -> IsRSelfDistributiveTable(MultiplicationTable(M))
|
M -> IsRSelfDistributiveTable(MultiplicationTable(M))
|
||||||
);
|
);
|
||||||
|
|
Loading…
Reference in New Issue