From 138f265074ff419a82fd3c7e213e8462ae69f1d6 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Thu, 8 Oct 2026 15:16:29 +0200 Subject: [PATCH 1/2] Add missing representation filters Most objects in GAP are either component or positional objects, and should thus be in the filter IsComponentObjectRep or IsPositionalObjectRep. --- gap/main/graded.gi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gap/main/graded.gi b/gap/main/graded.gi index fa10b2c4e..b4ea51bf8 100644 --- a/gap/main/graded.gi +++ b/gap/main/graded.gi @@ -245,7 +245,7 @@ function(S) degree := degree + 1; fi; fam := CollectionsFamily(FamilyObj(LambdaFunc(S)(Representative(S)))); - return Objectify(NewType(fam, IsGradedLambdaOrbs), + return Objectify(NewType(fam, IsGradedLambdaOrbs and IsComponentObjectRep), rec(orbits := List([1 .. degree], x -> []), lens := [1 .. degree] * 0, parent := S)); @@ -264,7 +264,7 @@ function(S) if IsMatrixOverFiniteFieldSemigroup(S) then degree := degree + 1; fi; - return Objectify(NewType(FamilyObj(S), IsGradedRhoOrbs), + return Objectify(NewType(FamilyObj(S), IsGradedRhoOrbs and IsComponentObjectRep), rec(orbits := List([1 .. degree], x -> []), lens := [1 .. degree] * 0, parent := S)); From 91953468c28dfc2f712e637bb9f2f46d9b26db23 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Mon, 19 Oct 2026 00:44:58 +0200 Subject: [PATCH 2/2] Wrap line exceeding gaplint's length limit Assisted-by: Generative AI --- gap/main/graded.gi | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/gap/main/graded.gi b/gap/main/graded.gi index b4ea51bf8..b5471142e 100644 --- a/gap/main/graded.gi +++ b/gap/main/graded.gi @@ -264,7 +264,8 @@ function(S) if IsMatrixOverFiniteFieldSemigroup(S) then degree := degree + 1; fi; - return Objectify(NewType(FamilyObj(S), IsGradedRhoOrbs and IsComponentObjectRep), + return Objectify(NewType(FamilyObj(S), + IsGradedRhoOrbs and IsComponentObjectRep), rec(orbits := List([1 .. degree], x -> []), lens := [1 .. degree] * 0, parent := S));