AlVin
1.0
A C++ implementation of the Vinberg's algorithm for Q, Q( sqrt(d) ) and Q( cos(2 pi / 7) )
|
Try to find integral symmetries of the polyhedron which do not have any common fixed point inside the hyperbolic space. If success: the form is not reflective. More...
#include <infinitensymetries.h>
Public Member Functions | |
InfiniteNSymetries (AlVin *alvin) | |
bool | Run (const unsigned int &iNRMin, const unsigned int &iNRMax) |
unsigned int | get_iFixedPointsDimension () const |
virtual void | print_basisFixedPoints (const string &strSpacer="") const =0 |
vector< GraphInvolution > | get_usefulInvolutions () const |
Protected Attributes | |
AlVin * | alvin |
vector< AlgebraicInteger * > | aiQF |
vector< vector< unsigned int > > | iGraphMatrix |
1 if bold, 2 if dotted, weight otherwise | |
vector< vector< unsigned int > > | iCoxeterMatrix |
unsigned int | iVectorsCount |
Number of vectors computed. | |
unsigned int | iDimension |
Dimension of the hyperbolic space. | |
const unsigned int | iVectorSize |
iDimension + 1 | |
unsigned int | iFixedPointsDimension |
Actual dimension of the space of fixed points. | |
bool | bFinished |
If true, the form is non-reflective. | |
vector< GraphInvolution > | usefulInvolutions |
Try to find integral symmetries of the polyhedron which do not have any common fixed point inside the hyperbolic space. If success: the form is not reflective.