Update for recent gaplint

semigroups · Aug 31, 2024 · 63429b2 · 63429b2
1 parent 3fa9f22
commit 63429b2
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 14 deletions.
diff --git a/gap/attributes/rms-translat.gi b/gap/attributes/rms-translat.gi
@@ -736,7 +736,7 @@ function(T)
   od;
 
   for a in group_gens do
-    fa := function(x)
+    fa := function(x)  # gaplint: disable=W047
       if x = 1 then
         return a;
       fi;

diff --git a/gap/elements/maxplusmat.gi b/gap/elements/maxplusmat.gi
@@ -196,18 +196,9 @@ end);
 InstallMethod(UnweightedPrecedenceDigraph, "for a max-plus matrix",
 [IsMaxPlusMatrix],
 function(mat)
-  local adj;
-  # Auxiliary function used to compute the adjacency matrix of the precedence
-  # digraph
-  adj := function(i, j)
-    if mat[i][j] = -infinity then
-      return false;
-    else
-      return true;
-    fi;
-  end;
   # Generate and return digraph object
-  return Digraph([1 .. DimensionOfMatrixOverSemiring(mat)], adj);
+  return Digraph([1 .. DimensionOfMatrixOverSemiring(mat)],
+                 {i, j} -> mat[i][j] <> -infinity);
 end);
 
 ## Method from lemma 19, page 36, of:

diff --git a/gap/main/lambda-rho.gi b/gap/main/lambda-rho.gi
@@ -110,7 +110,7 @@ function(o, m, i)
     genpos := ReverseSchreierTreeOfSCC(o, m);
     inv := LambdaInverse(o!.parent);
 
-    trace := function(i)  # gaplint: disable=W000
+    trace := function(i)  # gaplint: disable=W047
       local x;
       if IsBound(mults[i]) then
         return mults[i][2];
@@ -366,7 +366,7 @@ function(o, m)
   genpos := SchreierTreeOfSCC(o, m);
   inv := x -> RhoInverse(o!.parent)(o[scc[1]], x);
 
-  trace := function(i)  # gaplint: disable=W000
+  trace := function(i)  # gaplint: disable=W047
     local x;
     if IsBound(mults[i]) then
       return mults[i][1];