AlVin
1.0
A C++ implementation of the Vinberg's algorithm for Q, Q( sqrt(d) ) and Q( cos(2 pi / 7) )
|
▼NEigen | |
CNumTraits | |
CAlgebraicInteger | Parent class for rational, quadratic and rc7 integers |
CAlVin | Main class for AlVin |
CAlVinFraction | This class represents one fraction x0^2 / (e,e) |
CAlVinFractions | This class represents a set of possible fractions x_0^2 / (e,e) We generate series of the type: (x0 + y)^2 / (e_max, e_max), ..., x0^2 / 1 |
CApp | Main class |
CGraphInvolution | < |
CInfiniteNSymetries | 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 |
CInvariantsQF | Computation of the commensurability of a quadratic form over the rationals |
CNotReflective | Create systems of equations to test the non-reflectivity of a quadratic form defined over Z |
CNotReflective_Graph | < |
CNumTraits< Rational< QuadraticIntegerBig > | < |
CNumTraits< Rational< RationalInteger > | < |
CNumTraits< Rational< RCyclotomic7Integer > | < |
CQuadraticInteger | Quadratic integers |
CQuadraticInteger_AlVin | AlVin for quadratic integers |
CQuadraticInteger_InfiniteNSymetries | To find integral symmetries of the space |
CQuadraticInteger_VFs | Enumeration of fractions |
CQuadraticIntegerBig | Quadratic integers with bigint components |
CRationalInteger | Rational integers |
CRationalInteger_AlVin | Find the vectors for rational integers |
CRationalInteger_InfiniteNSymetries | To find integral symmetries of the space |
CRationalInteger_NotReflective | Try to create systems of equations to show that the rational quadratic form is not reflective |
CRationalInteger_VFs | Enumerations of fractions |
CRCyclotomic7Integer | RC7 and their operations |
CRCyclotomic7Integer_AlVin | AlVin for RC7 |
CRCyclotomic7Integer_InfiniteNSymetries | To find integral symmetries of the space |
CRCyclotomic7Integer_VFs | Enumerations of fractions |
Csignificant_decimals_impl< Rational< QuadraticIntegerBig > | < |
Csignificant_decimals_impl< Rational< RationalInteger > | < |
Csignificant_decimals_impl< Rational< RCyclotomic7Integer > | < |