Ferret is a reimplementation of parts of Jeffery Leon's Partition
Backtrack framework in C++, with extensions including:
- Ability to intersect many groups simultaneously.
- Improved refiners based on orbital graphs.
This package currently supports:
- Group intersection.
- Stabilizing many structures including sets, sets of sets, graphs,
sets of tuples and tuples of sets.
This package can be used by users in two ways:
- When the package is loaded many built-in GAP functions such as
'Intersection' and 'Stabilizer' are replaced with more optimized
implementations. This requires no changes to existing code.
- The function 'Solve' provides a unified interface to accessing
all the functionality of the package directly.
