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.