Merge pull request #235 from mohabsafey/doc

Updated documentation

Author: ederc

doc/msolve-tutorial.tex

@@ -1105,7 +1105,7 @@ \section{More flags and options}\label{sec:flags}
     univariate real root
     solver (default value may be automatically increased by \msolve when needed).
 
-    \hfill \verb+Default value:32+
+    \hfill \verb+Default value:128+
 \item The flag \verb+-g <int>+ tells \msolve to output the leading monomial of
   the ideal generated by the input polynomials (when \verb+<int>+ is \verb+1+)
   or the minimal reduced Gr\"obner basis (when \verb+<int>+ is \verb+2+ and

src/msolve/main.c

@@ -117,8 +117,8 @@ static inline void display_help(char *str){
   fprintf(stdout, "         Combining this option with the \"-i\" option assumes that the\n");
   fprintf(stdout, "         first (n - NF) elements generate already a degree reverse\n");
   fprintf(stdout, "         lexicographical Gröbner basis.\n");
-  fprintf(stdout, "-p PRE   Precision of the real root isolation.\n");
-  fprintf(stdout, "         Default is 64.\n");
+  fprintf(stdout, "-p PRE   Precision (in bits) on the output of real root isolation.\n");
+  fprintf(stdout, "         Default is 128.\n");
   fprintf(stdout, "-P PAR   Get also rational parametrization of solution set.\n");
   fprintf(stdout, "         Default is 0. For a detailed description of the output\n");
   fprintf(stdout, "         format please see the general output data format section\n");