41 template <
class PERM,
class TRANS>
49 typedef std::list<typename PERM::ptr> PERMlist;
55 std::vector<dom_int>
B;
75 BSGSCore(
unsigned int id, dom_int n_, dom_int bSize) :
B(bSize),
n(n_),
m_id(id) {}
77 BSGSCore(
unsigned int id,
const std::vector<dom_int>& B_,
const std::vector<TRANS>& U_, dom_int n_)
78 :
B(B_),
U(U_.size(), TRANS(n_)),
n(n_),
m_id(id) {}
89 template <
class PERM,
class TRANS>
91 return bsgs.
m_id == this->m_id;
dom_int n
degree of group
Definition: bsgs_core.h:61
BSGSCore(unsigned int id, const std::vector< dom_int > &B_, const std::vector< TRANS > &U_, dom_int n_)
kind of copy constructor, initializes data structure with given data
Definition: bsgs_core.h:77
virtual bool operator==(const BSGSCore< PERM, TRANS > &bsgs) const
checks for equality by internal id only
Definition: bsgs_core.h:90
core data of a base and strong generating set (BSGS)
Definition: bsgs_core.h:42
BSGSCore(unsigned int id, dom_int n_, dom_int bSize)
constructs empty data structure with given group id, group degree n and base size n ...
Definition: bsgs_core.h:75
int m_id
id of this BSGS instance
Definition: bsgs_core.h:81
std::vector< dom_int > B
base
Definition: bsgs_core.h:55
virtual ~BSGSCore()
empty destructor
Definition: bsgs_core.h:52
virtual bool isSymmetricGroup() const
true if this structure represents a symmetric group
Definition: bsgs_core.h:70
TRANS TRANStype
transversal type used by this BSGS
Definition: bsgs_core.h:47
std::vector< TRANS > U
transversals along the stabilizer chain
Definition: bsgs_core.h:59
BSGSCore(unsigned int id)
constructs empty data structure with given group id
Definition: bsgs_core.h:73
PERMlist S
strong generating set
Definition: bsgs_core.h:57
PERM PERMtype
permutation type used by this BSGS
Definition: bsgs_core.h:45
Definition: abstract_bsgs.h:49