From c6754cfc689107b1195b5ad4b8e9724bf0617cf7 Mon Sep 17 00:00:00 2001 From: Glen Whitney Date: Sun, 29 Oct 2017 21:31:16 -0400 Subject: [PATCH] Have to jump on IsTrivial, unfortunately --- gap/constructions.gi | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/gap/constructions.gi b/gap/constructions.gi index a2ce3bc..19c1590 100644 --- a/gap/constructions.gi +++ b/gap/constructions.gi @@ -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 = ()) );