From 988b6aa86ec278125d9cab5b900eedfc74844d22 Mon Sep 17 00:00:00 2001 From: Glen Whitney Date: Sun, 29 Oct 2017 19:08:30 -0400 Subject: [PATCH] Forgot some @ --- gap/constructions.gi | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/gap/constructions.gi b/gap/constructions.gi index 8abcf4c..30b2c3b 100644 --- a/gap/constructions.gi +++ b/gap/constructions.gi @@ -10,12 +10,12 @@ LInertumFamily@ := NewFamily("LeftInertFamily", IsLInertum, IsLSelfDistElement and IsIdempotent); RInertumFamily@ := NewFamily("RightInertFamily", IsRInertum, IsRSelfDistElement and IsIdempotent); -LInertumType@ := NewType(LInertumFamily, +LInertumType@ := NewType(LInertumFamily@, IsLInertum and IsPositionalObjectOneSlotRep); -RInertumType@ := NewType(RInertumFamily, +RInertumType@ := NewType(RInertumFamily@, IsRInertum and IsPositionalObjectOneSlotRep); -LInertum@ := i -> Objectify(LInertumType, [i]); -RInertum@ := i -> Objectify(RInertumType, [i]); +LInertum@ := i -> Objectify(LInertumType@, [i]); +RInertum@ := i -> Objectify(RInertumType@, [i]); WhichI@ := obj -> obj![1];