#include <FPGroup.h>
Public Member Functions | |
FPGroup (int num=0) | |
FPGroup (int numOfGen, const vector< Word > &relators) | |
FPGroup (const FiniteAlphabet &a) | |
FPGroup (const FiniteAlphabet &a, const vector< Word > &relators) | |
int | numberOfGenerators () const |
Get the number of generators. | |
const vector< string > & | getGeneratorsNames () const |
Get the names of the generators. | |
const FiniteAlphabet & | getAlphabet () const |
Get the alphabet. | |
const vector< Word > & | relators () const |
Word | randomEqWord_Baltimore (const Word &w, int length, float conj_param) const |
Generate random equivalent word. | |
Word | randomIdentity_Stack (int length) const |
Generate random trivial word. | |
Word | randomIdentity_Classic (int length, float conj_param) const |
Generate random trivial word. | |
Word | randomIdentity_Baltimore (int length, float conj_param) const |
Generate random trivial word (using randomEqWord_Baltimore). | |
FPGroup | triangulatePresentation () const |
Triangulate the set of relations. | |
Static Public Member Functions | |
static vector< string > | initializeGenNames (int num) |
Protected Attributes | |
int | numOfGenerators |
vector< Word > | theRelators |
FiniteAlphabet | theAlphabet |
bool | useDefaultAlphabet |
Friends | |
ostream & | operator<< (ostream &os, const FPGroup &group) |
istream & | operator>> (istream &is, FPGroup &group) |
Definition at line 32 of file FPGroup.h.
|
|
|
|
|
|
|
|
|
Get the alphabet.
Definition at line 63 of file FPGroup.h. References theAlphabet. |
|
Get the names of the generators.
Definition at line 61 of file FPGroup.h. References FiniteAlphabet::getLetters(), and theAlphabet. |
|
|
|
Get the number of generators.
Definition at line 59 of file FPGroup.h. References numOfGenerators. |
|
Generate random equivalent word.
Function inserts into random positions in the given word |
|
Generate random trivial word (using randomEqWord_Baltimore).
|
|
Generate random trivial word.
Function starts with a trivial word |
|
Generate random trivial word.
Function starts with a pair of trivial words |
|
Definition at line 65 of file FPGroup.h. References theRelators. |
|
Triangulate the set of relations.
|
|
|
|
|
|
Definition at line 184 of file FPGroup.h. Referenced by numberOfGenerators(). |
|
Definition at line 189 of file FPGroup.h. Referenced by getAlphabet(), and getGeneratorsNames(). |
|
Definition at line 187 of file FPGroup.h. Referenced by relators(). |
|
|