Update oper.gi

digraphs · Nov 27, 2024 · 6bc8d45 · 6bc8d45
1 parent 6de8243
commit 6bc8d45
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/gap/oper.gi b/gap/oper.gi
@@ -2312,7 +2312,8 @@ function(D, roots)
 
 end);
 
-InstallMethod(IsOrderFilter, "for a digraph and a list of vertices", [IsDigraph, IsList],
+InstallMethod(IsOrderFilter, "for a digraph and a list of vertices", 
+[IsDigraph, IsList],
 function(D, roots)
   return IsOrderIdeal(DigraphReverse(D), roots);
 end);
@@ -2548,8 +2549,8 @@ function(G)
   c := Length(unusedEdges);
 
   # Warning for large matrix
-  # The warning is printed roughly when the result matrix will take up
-  # more than 8GB of RAM.
+  # The warning is printed roughly when the result matrix will
+  # take up more than 8GB of RAM.
   if (10 ^ 11) / 2 < m * c then
     Info(InfoWarning, 1, StringFormatted(
     "The resulting matrix is going to be large of size {} \x {} ",