fix error

DanielPointon · Feb 13, 2024 · a1fd666 · a1fd666
1 parent a4faf94
commit a1fd666
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/gap/oper.gi b/gap/oper.gi
@@ -2068,11 +2068,11 @@ function(D, roots)
     ErrorNoReturn("the 1st argument (a digraph) must be a partial order digraph");
   fi;
 
-  N := Length(roots);
+  N := DigraphNrVertices(D);
   vertex_in_subset := BlistList([1 .. N], roots);
   reachable_vertices := VerticesReachableFrom(D, roots);
 
-  return Length(reachable_vertices) = Length(roots) and not ForAny(reachable_vertices, x -> vertex_in_subset[x]);
+  return Length(reachable_vertices) = Length(roots) and ForAll(reachable_vertices, x -> vertex_in_subset[x]);
 
 end);