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 | List of all members
RCyclotomic7Integer_InfiniteNSymetries Class Reference

To find integral symmetries of the space. More...

#include <rcyclotomic7integer_infinitensymetries.h>

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

Public Member Functions

 RCyclotomic7Integer_InfiniteNSymetries (AlVin *alvin)
 
Rational< RCyclotomic7IntegerrciVectorNorm (const Matrix< Rational< RCyclotomic7Integer >, Dynamic, 1 > &rciV) const
 
Rational< RCyclotomic7IntegerrciVectorsProduct (const Matrix< Rational< RCyclotomic7Integer >, Dynamic, 1 > &rciV1, const Matrix< Rational< RCyclotomic7Integer >, Dynamic, 1 > &rciV2) const
 
bool FindIntegralSymmetryFromSubgraph (const vector< unsigned int > &iVertices)
 
virtual void print_basisFixedPoints (const string &strSpacer="") const
 
- Public Member Functions inherited from InfiniteNSymetries
 InfiniteNSymetries (AlVin *alvin)
 
bool Run (const unsigned int &iNRMin, const unsigned int &iNRMax)
 
unsigned int get_iFixedPointsDimension () const
 
vector< GraphInvolutionget_usefulInvolutions () const
 

Additional Inherited Members

- Protected Attributes inherited from InfiniteNSymetries
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

To find integral symmetries of the space.


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