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:

[legend]

Collaboration diagram for InfiniteNSymetries:

[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< GraphInvolution >	get_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
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

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:

infinitensymetries.h
infinitensymetries.cpp

Public Member Functions

Protected Member Functions

Protected Attributes

Detailed Description