gap-pkg-ferret

Ferret is a reimplementation of parts of Jeffery Leon's Partition Backtrack framework in C++, with extensions including: - Ability to intersect many group 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.

Releases Overview