From 3e7d40f11cf42e8dc00006ab02c7f5ebfa0c363d Mon Sep 17 00:00:00 2001 From: Glen Whitney Date: Sun, 29 Oct 2017 21:33:02 -0400 Subject: [PATCH] forgot rank --- gap/constructions.gi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gap/constructions.gi b/gap/constructions.gi index c7beaae..c0ba294 100644 --- a/gap/constructions.gi +++ b/gap/constructions.gi @@ -105,7 +105,7 @@ end); # 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], 1, + IsLeftQuasigroup and HasSize, 1, Q -> ForAll(LeftPerms(Q), p -> p = ()) );