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

Error when intersecting two groups on different points #11

Closed wilfwilson closed 3 years ago

wilfwilson commented 3 years ago

As originally reported on MS Teams on 2021-07-30@22:45:

gap> VoleFind.Group(AlternatingGroup(4), SymmetricGroup(5));
Error, List Element: <list>[5] must have an assigned value in
  return points[x]; at /Users/Wilf/gap/pkg/graphbacktrack/gap/constraints/simpleconstraints.g:86 called from
filters[i]( x ) at /Users/Wilf/gap/pkg/vole/gap/internal/comms.gi:129 called from
func( C[i] ) at /Users/Wilf/gap/lib/coll.gi:665 called from
List( [ 1 .. PS_Points( state!.ps ) ], function ( x )
      return HashBasic( filters[i]( x ) );
  end ) at /Users/Wilf/gap/pkg/vole/gap/internal/comms.gi:129 called from
_Vole.CallRefiner( savedvals, refiners[result[2]], result[3], result{[ 4 .. Length( result ) ]}
 ) at /Users/Wilf/gap/pkg/vole/gap/internal/comms.gi:326 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:409 called from
...  at *stdin*:3
type 'quit;' to quit to outer loop
brk>
wilfwilson commented 3 years ago

Sorted, thank you @ChrisJefferson:

gap> VoleFind.Group(AlternatingGroup(4), SymmetricGroup(5))
> = AlternatingGroup(4);
true