FiniteComplementIdealExtension to accept 0

gap-packages · Nov 2, 2023 · ef24c27 · ef24c27
1 parent a9ca43b
commit ef24c27
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/gap/affine-def.gi b/gap/affine-def.gi
@@ -1459,6 +1459,9 @@ InstallGlobalFunction(FiniteComplementIdealExtension, function(arg)
 
   h:=Filtered(gens, g->Filtered(gens, gg->ForAll(g-gg,x->x>=0))=[g]);
   d:=Length(h[1]);
+  if h=[ListWithIdenticalEntries(d,0)] then
+    return AffineSemigroup(IdentityMat(d));
+  fi;
   if not(ForAll([1..d], i->ForAny(h, g->support(g)=[i]))) then
       Error("These elements do not generate a zero dimensional ideal");
   fi;