From 3b653ab3e3995fcb208e9e75104d693977dd9ec9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Meike=20Wei=C3=9F?= Date: Wed, 11 Sep 2024 13:37:42 +0200 Subject: [PATCH] does it works now? --- unit_tests/Test_Graphs.g | 15 ++++++++------- unit_tests/test_main.g | 6 +++--- 2 files changed, 11 insertions(+), 10 deletions(-) diff --git a/unit_tests/Test_Graphs.g b/unit_tests/Test_Graphs.g index d5417cd0..0fc0cbe1 100644 --- a/unit_tests/Test_Graphs.g +++ b/unit_tests/Test_Graphs.g @@ -68,21 +68,22 @@ if IsPackageMarkedForLoading( "Digraphs", ">=1.9.0" ) then local dig, surface, list1, list2; surface:=SimplicialSurfaceByVerticesInFaces([[1,4,5],[1,4,6],[1,5,7],[1,6,7],[2,3,5],[2,3,6],[2,4,5],[2,4,6],[3,5,7],[3,6,7]]); dig:=FaceDigraphsGraph(surface); - list1:=AllSimplicialSurfacesOfDigraph(dig,true); - Assert(0,Length(list1)=1); - Assert(0,IsIsomorphic(list1[1],surface)); list2:=AllSimplicialSurfacesOfDigraph(dig); Assert(0, Length(Filtered(list2,IsVertexFaithful))=1); Assert(0,IsIsomorphic(Filtered(list2,IsVertexFaithful)[1],surface)); Assert(0,Length(list2)=11); + list1:=AllSimplicialSurfacesOfDigraph(dig,true); + Assert(0,Length(list1)=1); + Assert(0,IsIsomorphic(list1[1],surface)); + dig:=DigraphByEdges([ [ 1, 2 ], [ 1, 4 ], [ 1, 5 ], [ 2, 1 ], [ 2, 3 ], [ 2, 6 ], [ 3, 2 ], [ 3, 4 ], [ 3, 5 ], [ 4, 1 ], [ 4, 3 ], [ 4, 6 ], [ 5, 1 ],[ 5, 3 ], [ 5, 6 ], [ 6, 2 ], [ 6, 4 ], [ 6, 5 ] ]); - list1:=AllSimplicialSurfacesOfDigraph(dig,true); - list2:=AllSimplicialSurfacesOfDigraph(dig,false); - Assert(0,Length(list1)=0); - Assert(0,Length(list2)=2); + list1:=AllSimplicialSurfacesOfDigraph(dig,false); + list2:=AllSimplicialSurfacesOfDigraph(dig,true); + Assert(0,Length(list1)=2); + Assert(0,Length(list2)=0); #One of the smallest face graph with more than one vertex-faithful surface dig:=DigraphByEdges([ [ 1, 9 ], [ 9, 1 ], [ 1, 13 ], [ 13, 1 ], [ 1, 14 ], [ 14, 1 ], [ 2, 6 ], [ 6, 2 ], [ 2, 7 ], [ 7, 2 ], [ 2, 10 ], diff --git a/unit_tests/test_main.g b/unit_tests/test_main.g index c755132b..6744607b 100644 --- a/unit_tests/test_main.g +++ b/unit_tests/test_main.g @@ -61,9 +61,9 @@ BindGlobal( "SIMPLICIAL_TestAll", function() __SIMPLICIAL_Test_EdgeNautyGraph(); __SIMPLICIAL_Test_FaceDigraphsGraph(); __SIMPLICIAL_Test_FaceNautyGraph(); - #if IsPackageMarkedForLoading( "Digraphs", ">=1.9.0" ) then - # __SIMPLICIAL_Test_AllSimplicialSurfacesOfDigraph(); - #fi; + if IsPackageMarkedForLoading( "Digraphs", ">=1.9.0" ) then + __SIMPLICIAL_Test_AllSimplicialSurfacesOfDigraph(); + fi; __SIMPLICIAL_Test_FaceTwoColouring();