#include <Equation.h>
Public Member Functions | |
Equation (int nGen, int nVar, const Word &eq) | |
int | getTheNumberOfGenerators () const |
Get the number of the generators of the group. | |
int | getTheNumberOfVariables () const |
Get the number of variables in the formula. | |
const Word & | getTheEquation () const |
Get the word presentation of the equation. | |
bool | isQuadratic () const |
Determine if the equation is quadratic. | |
pair< IntLabeledGraph, map< Word, int > > | constructTransformationGraph () const |
Construct the transformation graph for the equation (finite for quadratic equation). | |
bool | trivialSolution () const |
Determine if the equation has trivial solution. | |
Private Member Functions | |
bool | isGenerator (int g) const |
bool | isVariable (int g) const |
void | addEquationToTransformationGraph (const Word &eq, set< Word > &chk_eq, set< Word > &new_eq, const set< int > &permutableGenerators, int x, const Word &im) const |
(Auxiliary) Used in constructTransformationGraph(...) | |
Private Attributes | |
int | theNumberOfGenerators |
the number of the generators of the group | |
int | theNumberOfVariables |
the number of variables in the formula (the actual number of variables in the equation can be lesser) | |
Word | theEquation |
the presentation of the equation | |
Friends | |
ostream & | operator<< (ostream &os, const Equation &eq) |
Definition at line 27 of file Equation.h.
|
|
|
(Auxiliary) Used in constructTransformationGraph(...)
|
|
Construct the transformation graph for the equation (finite for quadratic equation).
|
|
Get the word presentation of the equation.
Definition at line 54 of file Equation.h. References theEquation. |
|
Get the number of the generators of the group.
Definition at line 50 of file Equation.h. References theNumberOfGenerators. |
|
Get the number of variables in the formula.
Definition at line 52 of file Equation.h. References theNumberOfVariables. |
|
|
|
Determine if the equation is quadratic.
|
|
|
|
Determine if the equation has trivial solution.
|
|
|
|
the presentation of the equation
A word theEquation is a sequence of generators. Each generator
Definition at line 109 of file Equation.h. Referenced by getTheEquation(). |
|
the number of the generators of the group
Definition at line 99 of file Equation.h. Referenced by getTheNumberOfGenerators(). |
|
the number of variables in the formula (the actual number of variables in the equation can be lesser)
Definition at line 101 of file Equation.h. Referenced by getTheNumberOfVariables(). |