56 vector< AlgebraicInteger* > aiQF;
62 bool bCheckNREquations;
65 bool bComputeInvariantsQF;
66 bool bComputeInvariantsPolyhedron;
69 unsigned int iMinVectors;
70 unsigned int iMaxVectors;
73 unsigned int iFieldSupp;
75 string strOuputMathematicalFormat;
83 void readMainParameters(
int argc,
char **argv );
87 AlVin* instanciateAlVin();
91 void printHelp()
const;
Try to find integral symmetries of the polyhedron which do not have any common fixed point inside the...
Definition: infinitensymetries.h:55
Create systems of equations to test the non-reflectivity of a quadratic form defined over Z...
Definition: notreflective.h:47
Main class for AlVin.
Definition: alvin.h:52
Main class.
Definition: app.h:53