Have to jump on IsTrivial, unfortunately

This commit is contained in:
Glen Whitney 2017-10-29 21:31:16 -04:00
parent 8994fdf4dc
commit c6754cfc68
1 changed files with 6 additions and 3 deletions

View File

@ -101,12 +101,15 @@ InstallGlobalFunction(TrivialRightQuandle,
return RightTrivs@[n];
end);
InstallMethod(IsTrivial, "for a left quasigroup",
[IsLeftQuasigroup],
# The below needs to be immediate because otherwise it
# is pre-empted by the immediate method that all collections of size
# larger than one are non-trivial.
InstallImmediateMethod(IsTrivial, "for a left quasigroup",
[IsLeftQuasigroup and HasSize],
Q -> ForAll(LeftPerms(Q), p -> p = ())
);
InstallMethod(IsTrivial, "for a left quasigroup",
InstallMethod(IsTrivial, "for a right quasigroup",
[IsRightQuasigroup],
Q -> ForAll(RightPerms(Q), p -> p = ())
);