|
|
14988d7 |
--- src/zsolve/Options.cpp.orig 2018-08-19 09:37:54.000000000 -0600
|
|
|
14988d7 |
+++ src/zsolve/Options.cpp 2018-10-09 15:22:30.464345255 -0600
|
|
|
14988d7 |
@@ -70,7 +70,7 @@ Options::set_defaults ()
|
|
|
14988d7 |
m_loglevel = 0;
|
|
|
14988d7 |
m_backup_frequency = 0;
|
|
|
14988d7 |
m_resume = false;
|
|
|
14988d7 |
- m_maxnorm = false;
|
|
|
14988d7 |
+ m_maxnorm = 0;
|
|
|
14988d7 |
}
|
|
|
14988d7 |
|
|
|
14988d7 |
void
|
|
|
14988d7 |
@@ -195,7 +195,7 @@ Options::process_options (int argc, char
|
|
|
14988d7 |
m_graver = true;
|
|
|
14988d7 |
break;
|
|
|
14988d7 |
case 'm':
|
|
|
14988d7 |
- m_maxnorm = true;
|
|
|
14988d7 |
+ m_maxnorm = 1;
|
|
|
14988d7 |
break;
|
|
|
14988d7 |
case 'p':
|
|
|
14988d7 |
if (optarg == NULL || !strcmp (optarg, "32"))
|
|
|
14988d7 |
@@ -381,7 +381,7 @@ bool Options::graver () const
|
|
|
14988d7 |
return m_graver;
|
|
|
14988d7 |
}
|
|
|
14988d7 |
|
|
|
14988d7 |
-bool Options::maxnorm () const
|
|
|
14988d7 |
+int Options::maxnorm () const
|
|
|
14988d7 |
{
|
|
|
14988d7 |
return m_maxnorm;
|
|
|
14988d7 |
}
|
|
|
14988d7 |
--- src/zsolve/Options.h.orig 2018-08-19 09:37:54.000000000 -0600
|
|
|
14988d7 |
+++ src/zsolve/Options.h 2018-10-09 15:20:13.673783047 -0600
|
|
|
14988d7 |
@@ -39,7 +39,7 @@ protected:
|
|
|
14988d7 |
bool m_resume;
|
|
|
14988d7 |
bool m_hilbert;
|
|
|
14988d7 |
bool m_graver;
|
|
|
14988d7 |
- bool m_maxnorm;
|
|
|
14988d7 |
+ int m_maxnorm;
|
|
|
14988d7 |
_4ti2_precision m_precision;
|
|
|
14988d7 |
|
|
|
14988d7 |
public:
|
|
|
14988d7 |
@@ -63,7 +63,7 @@ public:
|
|
|
14988d7 |
bool resume () const;
|
|
|
14988d7 |
bool hilbert () const;
|
|
|
14988d7 |
bool graver () const;
|
|
|
14988d7 |
- bool maxnorm () const;
|
|
|
14988d7 |
+ int maxnorm () const;
|
|
|
14988d7 |
_4ti2_precision precision () const;
|
|
|
14988d7 |
|
|
|
14988d7 |
friend std::istream& operator>>(std::istream& in, Options& options);
|