From 9646c6e5ee8d13910d7672f96d7e2664bb9527c9 Mon Sep 17 00:00:00 2001 From: Glen Whitney Date: Sun, 29 Oct 2017 21:32:16 -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 19c1590..c7beaae 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], + [IsLeftQuasigroup and HasSize], 1, Q -> ForAll(LeftPerms(Q), p -> p = ()) );