|
| AbstractBSGS (const boost::shared_ptr< PermutationGroup > &bsgs_, bool computeSupport=true) |
| constructor
|
|
virtual AbstractPermutationGroup * | setStabilizer (const std::vector< dom_int > &s) const |
| computes the stabilizer of a set
|
|
virtual OrbitList * | orbits () const |
| computes all orbits
|
|
virtual OrbitList * | orbits (const std::vector< dom_int > &s) const |
| computes all orbits which contain a given set of elements
|
|
virtual bool | isLexMinSet (const std::vector< dom_int > &setIndices, const std::vector< dom_int > &rankIndices) const |
| checks whether a set is lexicographically minimal with respect to a given ordering of indices
|
|
virtual AbstractGroupType | type () const |
| implementation type of this abstract class
|
|
std::list< typename TRANS::PERMtype::ptr > | generators () const |
| strong generating set of this permutation group
|
|
const boost::shared_ptr< PermutationGroup > | bsgs () const |
| BSGS data structure for this permutation group.
|
|
template<typename Iterator > |
AbstractPermutationGroup::OrbitList * | orbits (Iterator begin, Iterator end) const |
|
virtual | ~AbstractPermutationGroup () |
| destructor
|
|
template<typename Integer > |
Integer | order () const |
| order of the group
|
|
boost::uint64_t | order () const |
| order of the group
|
|
virtual AbstractPermutationGroup * | setStabilizer (const std::vector< dom_int > &s) const =0 |
| computes the stabilizer of a set
|
|
virtual OrbitList * | orbits () const =0 |
| computes all orbits
|
|
virtual OrbitList * | orbits (const std::vector< dom_int > &s) const =0 |
| computes all orbits which contain a given set of elements
|
|
virtual bool | isLexMinSet (const std::vector< dom_int > &setIndices, const std::vector< dom_int > &rankIndices) const =0 |
| checks whether a set is lexicographically minimal with respect to a given ordering of indices
|
|
virtual AbstractGroupType | type () const =0 |
| implementation type of this abstract class
|
|
|
virtual void | transversalSizes (std::vector< unsigned long > &sizes) const |
| fills a list with sizes of transversals along a stabilizer chain
|
|
template<typename Iterator > |
OrbitList * | orbits (Iterator begin, Iterator end) const |
|
helpers::BaseSupportRestriction * | supportRestriction (const std::vector< dom_int > &s) const |
| returns a strategy to decide whether the action of this group is trivial on /s/
|
|
virtual void | transversalSizes (std::vector< unsigned long > &sizes) const =0 |
| fills a list with sizes of transversals along a stabilizer chain
|
|
template<typename TRANS>
class permlib::AbstractBSGS< TRANS >
A high level interface implementing a group represented by a BSGS data structure.