permlib
0.2.9
Library for permutation computations
|
Group type for a direct product of two groups. More...
#include <group_type.h>
Public Member Functions | |
DirectProductGroupType (const GroupType *type1, const GroupType *type2, unsigned int realDegree_) | |
virtual void | writeTypeToStream (std::ostream &o) const |
writes type specific string to output stream | |
![]() | |
void | writeToStream (std::ostream &o) const |
writes a human readable identifier to the given output stream | |
unsigned int | realDegree () const |
the degree of the group as permutation group | |
bool | isNaturalAction () const |
returns true iff action is natural More... | |
Type | type () const |
the type of this the group | |
bool | equals (const GroupType *type_) const |
checks if two group types represent the same permutation group | |
void | setNonNaturalAction (unsigned int realDegree_) |
stores the information that this group acts non-naturally on realDegree many elements | |
virtual | ~GroupType () |
destructor | |
Protected Types | |
typedef boost::shared_ptr< const GroupType > | GroupTypePtr |
Protected Member Functions | |
virtual bool | equalsType (const GroupType *type_) const |
checks if two group types represent the same permutation group More... | |
![]() | |
GroupType (Type type_, unsigned int realDegree_, bool naturalAction) | |
protected constructor | |
Protected Attributes | |
std::vector< GroupTypePtr > | m_components |
![]() | |
Type | m_type |
group type | |
unsigned int | m_realDegree |
degree of the permutation group | |
bool | m_naturalAction |
stores whether action is natural | |
Additional Inherited Members | |
![]() | |
enum | Type { None, Trivial, Named, Anonymous, WreathSymmetric, DirectProduct } |
types for which an implementation of GroupType exists | |
Group type for a direct product of two groups.
|
inline |
type1 | type of first factor |
type2 | type of second factor |
realDegree | the number of elements the permutation group acts on |
|
inlineprotectedvirtual |
checks if two group types represent the same permutation group
This method may expect that the given group type is of the same type as itself. Thus it may cast type to its own type.
Reimplemented from permlib::GroupType.