AlVin  1.0
A C++ implementation of the Vinberg's algorithm for Q, Q( sqrt(d) ) and Q( cos(2 pi / 7) )
Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
InfiniteNSymetries Class Referenceabstract

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>

Inheritance diagram for InfiniteNSymetries:
Inheritance graph
[legend]
Collaboration diagram for InfiniteNSymetries:
Collaboration graph
[legend]

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< GraphInvolutionget_usefulInvolutions () const
 

Protected Member Functions

virtual bool bDottedSameWeight (const unsigned int &v1, const unsigned int &v2, const unsigned int &w1, const unsigned int &w2) const =0
 
virtual bool FindIntegralSymmetryFromSubgraph (const vector< unsigned int > &iVertices)=0
 

Protected Attributes

AlVinalvin
 
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< GraphInvolutionusefulInvolutions
 

Detailed Description

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.


The documentation for this class was generated from the following files: