Skip to content

Commit

Permalink
does it works now?
Browse files Browse the repository at this point in the history
  • Loading branch information
MeikeWeiss committed Sep 11, 2024
1 parent dc8582f commit 3b653ab
Show file tree
Hide file tree
Showing 2 changed files with 11 additions and 10 deletions.
15 changes: 8 additions & 7 deletions unit_tests/Test_Graphs.g
Original file line number Diff line number Diff line change
Expand Up @@ -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 ],
Expand Down
6 changes: 3 additions & 3 deletions unit_tests/test_main.g
Original file line number Diff line number Diff line change
Expand Up @@ -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();

Expand Down

0 comments on commit 3b653ab

Please sign in to comment.