Represents a power of a generator in a group presentation.
More...
#include <algebra/ngrouppresentation.h>
|
unsigned long | generator |
| The number that identifies the generator in this term. More...
|
|
long | exponent |
| The exponent to which the generator is raised. More...
|
|
Represents a power of a generator in a group presentation.
regina::NGroupExpressionTerm::NGroupExpressionTerm |
( |
| ) |
|
|
inline |
Creates a new uninitialised term.
regina::NGroupExpressionTerm::NGroupExpressionTerm |
( |
unsigned long |
newGen, |
|
|
long |
newExp |
|
) |
| |
|
inline |
Creates a new term initialised to the given value.
- Parameters
-
newGen | the number that identifies the generator in the new term. |
newExp | the exponent to which this generator is raised. |
Creates a new term initialised to the given value.
- Parameters
-
cloneMe | a term whose data will be copied to the new term. |
Returns the inverse of this term.
The inverse has the same generator but a negated exponent.
Note that this term will remain unchanged.
- Returns
- the inverse of this term.
Attempts to merge this term with the given term.
If both terms have the same generator, the two exponents will be added and stored in this term. If the generators are different, this routine will do nothing.
Note that this term might be changed but the given term will remain unchanged.
- Parameters
-
other | the term to merge with this term. |
- Returns
true
if the two terms were merged into this term, or false
if the two terms have different generators.
Imposes an ordering on terms.
Terms are ordered lexigraphically as (generator, exponent) pairs.
- Parameters
-
other | the term to compare with this. |
- Returns
- true if and only if this term is lexicographically smaller than other.
Makes this term identical to the given term.
- Parameters
-
cloneMe | the term whose data will be copied to this term. |
- Returns
- a reference to this term.
Determines whether this and the given term contain identical data.
- Parameters
-
other | the term with which this term will be compared. |
- Returns
true
if and only if this and the given term have both the same generator and exponent.
long regina::NGroupExpressionTerm::exponent |
The exponent to which the generator is raised.
unsigned long regina::NGroupExpressionTerm::generator |
The number that identifies the generator in this term.
The documentation for this struct was generated from the following file: