|
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 > | < |
1.8.11