Refiners in Vole are still a work in progress, and are not yet properly documented. Please check back in the next version. appropriate refiners for the given constraints.
VoleRefiner record‣ VoleRefiner | ( global variable ) |
VoleRefiner is a record that contains all of the refiners that are included in Vole.
GraphBacktracking and BacktrackKit refiners are also compatible with Vole.
gap> LoadPackage("vole", false);; gap> Set(RecNames(VoleRefiner)); [ "DigraphStab", "DigraphTransporter", "FromConstraint", "InSymmetricGroup", "SetSetStab", "SetSetTransporter", "SetStab", "SetTransporter", "SetTupleStab", "SetTupleTransporter", "TupleStab", "TupleTransporter" ]
VoleRefiner record‣ VoleRefiner.InSymmetricGroup( x ) | ( function ) |
Returns: A Vole refiner
Something
gap> true; true
‣ VoleRefiner.SetStab( s ) | ( function ) |
‣ VoleRefiner.SetTransporter( s, t ) | ( function ) |
Returns: A Vole refiner
Something
gap> true; true
‣ VoleRefiner.TupleStab( s ) | ( function ) |
‣ VoleRefiner.TupleTransporter( s, t ) | ( function ) |
Returns: A Vole refiner
Something
gap> true; true
‣ VoleRefiner.SetSetStab( s ) | ( function ) |
‣ VoleRefiner.SetSetTransporter( s, t ) | ( function ) |
Returns: A Vole refiner
Something
gap> true; true
‣ VoleRefiner.SetTupleStab( s ) | ( function ) |
‣ VoleRefiner.SetTupleTransporter( s, t ) | ( function ) |
Returns: A Vole refiner
Something
gap> true; true
‣ VoleRefiner.DigraphStab( s ) | ( function ) |
‣ VoleRefiner.DigraphTransporter( s, t ) | ( function ) |
Returns: A Vole refiner
Something
gap> true; true
‣ VoleRefiner.FromConstraint( constraint ) | ( function ) |
Returns: A Vole, GraphBacktracking, or BacktrackKit refiner
Something.
gap> true; true
generated by GAPDoc2HTML