AlVin  1.0
A C++ implementation of the Vinberg's algorithm for Q, Q( sqrt(d) ) and Q( cos(2 pi / 7) )
Public Member Functions | List of all members
RationalInteger_NotReflective Class Reference

Try to create systems of equations to show that the rational quadratic form is not reflective. More...

#include <rationalinteger_notreflective.h>

Inheritance diagram for RationalInteger_NotReflective:
Inheritance graph
[legend]
Collaboration diagram for RationalInteger_NotReflective:
Collaboration graph
[legend]

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

Detailed Description

Try to create systems of equations to show that the rational quadratic form is not reflective.


The documentation for this class was generated from the following files: