search

peal / vole

A GAP package for backtrack search in permutation groups with graphs
https://peal.github.io/vole
Mozilla Public License 2.0
8 stars 2 forks source link

Problems with `OnSetsTuples` when one of the tuples is empty #40

Closed wilfwilson closed 2 years ago

wilfwilson commented 2 years ago 
gap> Stabiliser(SymmetricGroup(3), [[]], OnSetsTuples);
Group([ (2,3), (1,2,3) ])
gap> Vole.Stabiliser(SymmetricGroup(3), [[]], OnSetsTuples);
Error, There was a fatal error in vole: assertion failed: extra > 0 at /Users/Wilf/gap/pkg/vole/gap/internal/comms.gi:316 called from
_Vole.ExecuteVole( rec(
    config := rec(
        points := points,
        find_coset := find_coset,
        find_canonical := find_canonical,
        root_search := root_search,
        search_config := rec(
            full_graph_refine := false,
            find_single := find_single ) ),
    constraints := constraints ), gapcons, canonical_group
 ) at /Users/Wilf/gap/pkg/vole/gap/internal/comms.gi:414 called from
_Vole.Solve( points, false, false, false, constraints, false, false
 ) at /Users/Wilf/gap/pkg/vole/gap/internal/comms.gi:455 called from
_Vole.GroupSolve( bounds.max, constraints
 ) at /Users/Wilf/gap/pkg/vole/gap/interface.gi:43 called from
VoleFind.Group( G, con ) at /Users/Wilf/gap/pkg/vole/gap/wrapper.gi:40 called from
<function "Vole.Stabiliser">( <arguments> )