From 42c05a50a3effa89b5160b3c79afb7dfa2dd6192 Mon Sep 17 00:00:00 2001 From: Michael Young Date: Wed, 22 Apr 2026 17:03:57 +0100 Subject: [PATCH 1/3] Test DigraphIndependentSets attribute recall --- tst/standard/cliques.tst | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tst/standard/cliques.tst b/tst/standard/cliques.tst index e9d3ae456..2b4abac68 100644 --- a/tst/standard/cliques.tst +++ b/tst/standard/cliques.tst @@ -158,6 +158,8 @@ gap> DigraphMaximalIndependentSets(gr); [ [ 1 ] ] gap> DigraphIndependentSets(gr); [ [ 1 ] ] +gap> DigraphIndependentSets(gr); +[ [ 1 ] ] gap> DigraphMaximalIndependentSetsReps(gr, []); [ [ 1 ] ] gap> DigraphIndependentSetsReps(gr, []); From 0435735c389253a2f23be14bf96bcfee9264af8f Mon Sep 17 00:00:00 2001 From: Michael Young Date: Sat, 25 Apr 2026 10:52:38 +0100 Subject: [PATCH 2/3] Test CliquesFinder on big graphs with specified size --- tst/standard/cliques.tst | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/tst/standard/cliques.tst b/tst/standard/cliques.tst index 2b4abac68..e9617abaa 100644 --- a/tst/standard/cliques.tst +++ b/tst/standard/cliques.tst @@ -543,6 +543,19 @@ gap> f := function(a, b) gap> CliquesFinder(gr, f, [], 4, [], [], false, 2, true); [ 2, 2, 2, 2 ] +# Test CliquesFinder on big graphs with specific sizes specified +gap> D := DigraphMutableCopy(Digraph("hundredtwentycell"));; +gap> DigraphAddVertex(D);; +gap> DigraphAddEdges(D, [[43, 601], [601, 43], [63, 601], [601, 63]]);; +gap> DigraphAddEdges(D, [[283, 601], [601, 283], [303, 601], [601, 303]]);; +gap> DigraphAddVertex(D);; +gap> Set(DigraphMaximalCliques(D, [], [], infinity, 3)); +[ [ 43, 63, 601 ], [ 283, 303, 601 ] ] +gap> DigraphMaximalCliques(D, [], [], infinity, 1); +[ [ 602 ] ] +gap> Length(DigraphMaximalCliques(D, [], [], infinity, 2)); +1198 + # Test DigraphsCliqueFinder gap> DigraphsCliquesFinder(0); Error, there must be 8 or 9 arguments, found 1, From 9b3e01a28d8c30995dfb1724b1197443ac946d74 Mon Sep 17 00:00:00 2001 From: Michael Young Date: Sat, 25 Apr 2026 12:26:32 +0100 Subject: [PATCH 3/3] Test CliquesFinder with aut group and isolated vertices --- tst/standard/cliques.tst | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/tst/standard/cliques.tst b/tst/standard/cliques.tst index e9617abaa..ac9a12aac 100644 --- a/tst/standard/cliques.tst +++ b/tst/standard/cliques.tst @@ -556,6 +556,13 @@ gap> DigraphMaximalCliques(D, [], [], infinity, 1); gap> Length(DigraphMaximalCliques(D, [], [], infinity, 2)); 1198 +# Test CliquesFinder (reps) on graph with automorphisms and isolated vertices +gap> D := DigraphAddVertex(Digraph("hundredtwentycell"));; +gap> Size(AutomorphismGroup(D)); +14400 +gap> Set(DigraphMaximalCliquesReps(D)); +[ [ 1, 2 ], [ 601 ] ] + # Test DigraphsCliqueFinder gap> DigraphsCliquesFinder(0); Error, there must be 8 or 9 arguments, found 1,