From 6bc8d459a88e89189f301ae64c6a8049e441ada0 Mon Sep 17 00:00:00 2001 From: zljlzljlz Date: Wed, 30 Oct 2024 15:07:26 +0000 Subject: [PATCH] Update oper.gi --- gap/oper.gi | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/gap/oper.gi b/gap/oper.gi index b22411d3a..27e95c267 100644 --- 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 {} ",