Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Make a better system of GAP refiner objects for BacktrackKit/GraphBacktracking/Vole #25

Open
wilfwilson opened this issue Sep 3, 2021 · 1 comment
Open

Make a better system of GAP refiner objects for BacktrackKit/GraphBacktracking/Vole #25

wilfwilson opened this issue Sep 3, 2021 · 1 comment
Assignees
@wilfwilson
Labels
component: GAP Stuff about the GAP side of Vole nature: technical Uninteresting mathematically and fiddly things

Comments

@wilfwilson
Copy link
Collaborator

wilfwilson commented Sep 3, 2021 •
edited
Loading

We also want to be able to distinguish those refiners that can be used in a canonical image search from those that cannot.

Categories

  • IsBTKitRefiner
  • IsGBRefiner
  • IsVoleRefiner

GraphBacktracking should take BacktrackKit refiners.
Vole should be able to take BacktrackKit and GraphBacktracking refiners.
(Should BacktrackKit be able to take certain kinds of GraphBacktracking refiners? Or just ignore this?)

Attributes/properties known at creation

  • LargestRequiredPoint
  • IsKnownPerfectRefiner (if we know a priori that a refiner is perfect)
  • IsCanonicalCompatible

Additional attributes/properties that require computation

  • IsPerfectRefiner (is it even possible to always compute the answer to the question of perfectness?)
  • UnderlyingSet (the set of permutations that you are refining for, e.g. the normaliser)
@wilfwilson wilfwilson added nature: technical Uninteresting mathematically and fiddly things component: GAP Stuff about the GAP side of Vole labels Sep 3, 2021
@wilfwilson wilfwilson mentioned this issue Sep 3, 2021
Closed
@wilfwilson

This comment has been minimized.

Sign in to view
@wilfwilson wilfwilson mentioned this issue Sep 3, 2021
Closed
@wilfwilson wilfwilson changed the title Flesh out GAP "types" for refiners, with some standard properties/attributes Flesh out GAP “types” for refiners, with some standard properties/attributes Oct 22, 2021
@wilfwilson wilfwilson changed the title Flesh out GAP “types” for refiners, with some standard properties/attributes Flesh out GAP “types” for refiners (and constraints?), with some standard properties/attributes Nov 22, 2021
@wilfwilson wilfwilson self-assigned this Nov 30, 2021
@wilfwilson wilfwilson mentioned this issue Dec 1, 2021
Merged
@wilfwilson wilfwilson changed the title Flesh out GAP “types” for refiners (and constraints?), with some standard properties/attributes Make a better system of GAP refiner objects for BacktrackKit/GraphBacktracking/Vole Dec 3, 2021
@wilfwilson wilfwilson changed the title Make a better system of GAP refiner objects for BacktrackKit/GraphBacktracking/Vole Make a better system of GAP refiner objects for BacktrackKit/GraphBacktracking/Vole Dec 3, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@wilfwilson wilfwilson

Labels
component: GAP Stuff about the GAP side of Vole nature: technical Uninteresting mathematically and fiddly things
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@wilfwilson