Update tests to test IsOrderIdeal

digraphs · Jan 31, 2024 · 40e0aa8 · 40e0aa8
1 parent 7f0bb1f
commit 40e0aa8
Showing 1 changed file with 11 additions and 1 deletion.
diff --git a/tst/standard/oper.tst b/tst/standard/oper.tst
@@ -2820,6 +2820,16 @@ gap> TestPartialOrderDigraph := Digraph([[1, 3], [2, 3], [3]]);
 <immutable digraph with 3 vertices, 5 edges>
 gap> IsOrderIdeal(TestPartialOrderDigraph, [ 1,2,3 ]);
 true
+gap> TestPartialOrderDigraph2 := Digraph([[1, 3], [2, 3], [3]]);
+<immutable digraph with 3 vertices, 5 edges>
+gap> TestUnion := DigraphDisjointUnion(TestPartialOrderDigraph, TestPartialOrderDigraph2);
+<immutable digraph with 6 vertices, 10 edges>
+gap> IsOrderIdeal(TestUnion, [ 1,2,3 ]);
+true
+gap> IsOrderIdeal(TestUnion, [ 4,5,6 ]);
+true
+gap> IsOrderIdeal(TestUnion, [ 1,5,6 ]);
+false
 
 #  DIGRAPHS_UnbindVariables
 gap> Unbind(C);
@@ -2880,7 +2890,7 @@ gap> Unbind(tclosure);
 gap> Unbind(u1);
 gap> Unbind(u2);
 gap> Unbind(x);
-gap> Unbind(IsPartialOrderDigraph);
+gap> Unbind(TestPartialOrderDigraph);
 
 #
 gap> DIGRAPHS_StopTest();