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

Preprocessing idea for `VoleFind.Group` #70

Open wilfwilson opened 2 years ago

wilfwilson commented 2 years ago

Before and/or after processing the given arguments, it could be the case that VoleFind.Group knows that it has (directly or indirectly) been given a single constraint of the form Constraint.InGroup(G), possibly in addition to a constraint Constraint.MovedPoints(pts), where pts = MovedPoints(G). In this case, Vole can simply return G, without having to perform a search.