fingolfin / ferret

GAP package for searching in finite permutation groups

Home Page:https://gap-packages.github.io/ferret/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

The GAP 4 package `ferret'
==========================

Ferret is a reimplementation of parts 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 optimised
  implementations. This requires no changes to existing code.

* The function 'Solve' provides a unified interface to accessing
  all the functionality of the package directly.

This package needs to be built. This can be done by entering GAP's
pkg directory and running

../bin/BuildPackages.sh ferret*

(Running ../bin/BuildPackages.sh will build all packages,
 including Ferret)

About

GAP package for searching in finite permutation groups

https://gap-packages.github.io/ferret/

License:Mozilla Public License 2.0


Languages

Language:C++ 76.3%Language:GAP 18.6%Language:Shell 1.8%Language:Python 1.6%Language:M4 1.4%Language:Makefile 0.3%Language:C 0.1%