|
AlVin
1.0
A C++ implementation of the Vinberg's algorithm for Q, Q( sqrt(d) ) and Q( cos(2 pi / 7) )
|
Try to create systems of equations to show that the rational quadratic form is not reflective. More...
#include <rationalinteger_notreflective.h>


Public Member Functions | |
| RationalInteger_NotReflective (AlVin *v) | |
| void | createSystemEquations (NotReflective_Graph nrg) |
Public Member Functions inherited from NotReflective | |
| NotReflective (AlVin *v) | |
| void | Run () |
Additional Inherited Members | |
Protected Attributes inherited from NotReflective | |
| AlVin * | alvin |
| vector< vector< AlgebraicInteger * > > | aiVectors |
| unsigned int | iDimension |
| vector< AlgebraicInteger * > | aiQF |
| vector< AlgebraicInteger * > | ai2QF |
| vector< vector< NotReflective_Graph > > | graphs |
| The first index is for the number of variables, then one for each graph which cannot be extended. | |
| string | strOFormat |
| string | strAlgebraicIntegerType |
| vector< AlgebraicInteger * > | aiPossibleNorm2 |
Try to create systems of equations to show that the rational quadratic form is not reflective.
1.8.11