AlVin  1.0
A C++ implementation of the Vinberg's algorithm for Q, Q( sqrt(d) ) and Q( cos(2 pi / 7) )
app.h
Go to the documentation of this file.
1 /*
2 Copyright (C) 2014, 2015, 2016
3 Rafael Guglielmetti, rafael.guglielmetti@unifr.ch
4 */
5 
6 /*
7 This file is part of AlVin.
8 
9 CoxIter is free software: you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as
11 published by the Free Software Foundation, either version 3 of the
12 License, or (at your option) any later version.
13 
14 CoxIter is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
18 
19 You should have received a copy of the GNU General Public License
20 along with AlVin. If not, see <http://www.gnu.org/licenses/>.
21 */
22 
31 #ifndef APP_H
32 #define APP_H
33 
34 #include "rationalinteger_alvin.h"
38 
39 #include "quadraticinteger_alvin.h"
41 
42 #ifdef _RC7AVAILABLE_
45 #endif
46 
47 #include <iostream>
48 #include <regex>
49 #include <chrono>
50 
51 using namespace std;
52 
53 class App
54 {
55  private:
56  vector< AlgebraicInteger* > aiQF;
57 
58  bool bCheckNR;
59  unsigned int iNRMin;
60  unsigned int iNRMax;
61 
62  bool bCheckNREquations;
63 
64  bool bDebug;
65  bool bComputeInvariantsQF;
66  bool bComputeInvariantsPolyhedron;
67  int iCreateImage;
68 
69  unsigned int iMinVectors;
70  unsigned int iMaxVectors;
71 
72  string strField;
73  unsigned int iFieldSupp;
74 
75  string strOuputMathematicalFormat;
76 
77  bool bPrintHelp;
78 
79  public:
80  App();
81  ~App();
82 
83  void readMainParameters( int argc, char **argv );
84  void Run();
85 
86  private:
87  AlVin* instanciateAlVin();
88  NotReflective* instanciateNotReflectiveEquations( AlVin* v );
89  InfiniteNSymetries* instanciateInfiniteNSymetries( AlVin* v );
90 
91  void printHelp() const;
92 };
93 
94 #endif // APP_H
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