Merge pull request #203 from vneiger/fix_detail_spec_repeated_monomials

Specify explicitly that repeated monomials in input files are not expected

Author: ederc

README.md

@@ -49,6 +49,10 @@ Polynomials may be multiline, thus `,` as a separator.
 
 Coefficients can be rational, using `/`, e.g. `-2/3*x2*y1^2+...`.
 
+In each polynomial, a single occurrence of each monomial is expected; the
+behaviour of msolve's parser is undefined if some monomial is repeated, as in
+`x1+x2+x3+x4-x1`.
+
 # Basic usage
 
 Some basic commands are as follows:

doc/msolve-tutorial.tex

@@ -411,7 +411,9 @@ \section{Input file format}\label{sec:input}
    and with a line break (no comma or line break for the last one).
 \end{enumerate}
 
-
+In each given polynomial, \msolve expects a single occurrence of each monomial;
+if some monomial appears several times (e.g.\ as in \verb#x+2*y+2*z-x#),
+the behaviour of \msolve's parser is undefined.
 
 When one wants to solve this system over $\frac{\Z}{65521\Z}$ one just replaces
 $0$ by $65521$ in the second line. Note that in the positive characteristic case