Merge branch 'master' into cpp-include-support

Author: ederc

Makefile.am

@@ -20,6 +20,7 @@ checkdiff               = test/diff/diff_cp_d_3_n_4_p_2.sh \
 			  test/diff/diff_eco6-16.sh \
 			  test/diff/diff_eco6-31.sh \
 			  test/diff/diff_eco6-qq.sh \
+			  test/diff/diff_groebner-g2.sh \
 			  test/diff/diff_henrion5-qq.sh \
 			  test/diff/diff_eco10-31.sh \
 			  test/diff/diff_truncate_gb.sh \

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:

configure.ac

@@ -116,6 +116,9 @@ AC_CONFIG_LINKS([
  input_files/eco6-qq.ms:input_files/eco6-qq.ms
  output_files/eco6-qq.res:output_files/eco6-qq.res
  test/diff/diff_eco6-qq.sh:test/diff/diff_eco6-qq.sh
+ input_files/groebner-g2.ms:input_files/groebner-g2.ms
+ output_files/groebner-g2.g2.res:output_files/groebner-g2.g2.res
+ test/diff/diff_groebner-g2.sh:test/diff/diff_groebner-g2.sh
  input_files/cyclic5-qq.ms:input_files/cyclic5-qq.ms
  output_files/cyclic5-qq.res:output_files/cyclic5-qq.res
  output_files/cyclic5-qq.g2.res:output_files/cyclic5-qq.g2.res

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

input_files/groebner-g2.ms

@@ -0,0 +1,5 @@
+x1, x2, x3, x4, x5, x6, x7, x8, x9, y10, y11, y12, y13, y14, y15, y16, y17, y18, y19 
+0
+x1*y11+x2*y12+x3*y13+x4*y14+x5*y15+x6*y16+x7*y17+x8*y18+x9*y19+y10,
+x1*x7*x9*y11+x2*x9^2*y11-x1*x7^2*y12-x2*x7*x9*y12+x3*x7*x9*y13+x4*x9^2*y13-x3*x7^2*y14-x4*x7*x9*y14+x5*x7*x9*y15+x6*x9^2*y15-x5*x7^2*y16-x6*x7*x9*y16-x2*x3*x9*y17+x1*x4*x9*y17-x4*x5*x9*y18+x3*x6*x9*y18-x4*x5*x7*y19-x3*x6*x7*y19-x2*x3*x8*y19+x1*x4*x8*y19+x1*y11+x2*y12+x3*y13+x4*y14+x5*y15+x6*y16+x7*y17+x8*y18+x9*y19+y10,
+-x1*x4^2*x5^2*x7^4*y11-2*x1*x3*x4*x5*x6*x7^4*y11-x1*x3^2*x6^2*x7^4*y11-2*x1*x2*x3*x4*x5*x7^3*x8*y11+2*x1^2*x4^2*x5*x7^3*x8*y11-2*x1*x2*x3^2*x6*x7^3*x8*y11+2*x1^2*x3*x4*x6*x7^3*x8*y11-x1*x2^2*x3^2*x7^2*x8^2*y11+2*x1^2*x2*x3*x4*x7^2*x8^2*y11-x1^3*x4^2*x7^2*x8^2*y11-x2*x4^2*x5^2*x7^3*x9*y11-2*x2*x3*x4*x5*x6*x7^3*x9*y11-x2*x3^2*x6^2*x7^3*x9*y11-2*x2^2*x3*x4*x5*x7^2*x8*x9*y11+2*x1*x2*x4^2*x5*x7^2*x8*x9*y11-2*x2^2*x3^2*x6*x7^2*x8*x9*y11+2*x1*x2*x3*x4*x6*x7^2*x8*x9*y11-x2^3*x3^2*x7*x8^2*x9*y11+2*x1*x2^2*x3*x4*x7*x8^2*x9*y11-x1^2*x2*x4^2*x7*x8^2*x9*y11+x1*x2*x3*x4*x5*x7^2*x9^2*y11-x1^2*x4^2*x5*x7^2*x9^2*y11+x1*x2*x3^2*x6*x7^2*x9^2*y11-x1^2*x3*x4*x6*x7^2*x9^2*y11+x1*x2^2*x3^2*x7*x8*x9^2*y11-2*x1^2*x2*x3*x4*x7*x8*x9^2*y11+x1^3*x4^2*x7*x8*x9^2*y11+x2^2*x3*x4*x5*x7*x9^3*y11-x1*x2*x4^2*x5*x7*x9^3*y11+x2^2*x3^2*x6*x7*x9^3*y11-x1*x2*x3*x4*x6*x7*x9^3*y11+x2^3*x3^2*x8*x9^3*y11-2*x1*x2^2*x3*x4*x8*x9^3*y11+x1^2*x2*x4^2*x8*x9^3*y11+x1*x2*x3*x4*x5*x7^3*x9*y12-x1^2*x4^2*x5*x7^3*x9*y12+x1*x2*x3^2*x6*x7^3*x9*y12-x1^2*x3*x4*x6*x7^3*x9*y12+x1*x2^2*x3^2*x7^2*x8*x9*y12-2*x1^2*x2*x3*x4*x7^2*x8*x9*y12+x1^3*x4^2*x7^2*x8*x9*y12+x2^2*x3*x4*x5*x7^2*x9^2*y12-x1*x2*x4^2*x5*x7^2*x9^2*y12+x2^2*x3^2*x6*x7^2*x9^2*y12-x1*x2*x3*x4*x6*x7^2*x9^2*y12+x2^3*x3^2*x7*x8*x9^2*y12-2*x1*x2^2*x3*x4*x7*x8*x9^2*y12+x1^2*x2*x4^2*x7*x8*x9^2*y12-x1*x2^2*x3^2*x7*x9^3*y12+2*x1^2*x2*x3*x4*x7*x9^3*y12-x1^3*x4^2*x7*x9^3*y12-x2^3*x3^2*x9^4*y12+2*x1*x2^2*x3*x4*x9^4*y12-x1^2*x2*x4^2*x9^4*y12-x3*x4^2*x5^2*x7^4*y13-2*x3^2*x4*x5*x6*x7^4*y13-x3^3*x6^2*x7^4*y13-2*x2*x3^2*x4*x5*x7^3*x8*y13+2*x1*x3*x4^2*x5*x7^3*x8*y13-2*x2*x3^3*x6*x7^3*x8*y13+2*x1*x3^2*x4*x6*x7^3*x8*y13-x2^2*x3^3*x7^2*x8^2*y13+2*x1*x2*x3^2*x4*x7^2*x8^2*y13-x1^2*x3*x4^2*x7^2*x8^2*y13-x4^3*x5^2*x7^3*x9*y13-2*x3*x4^2*x5*x6*x7^3*x9*y13-x3^2*x4*x6^2*x7^3*x9*y13-2*x2*x3*x4^2*x5*x7^2*x8*x9*y13+2*x1*x4^3*x5*x7^2*x8*x9*y13-2*x2*x3^2*x4*x6*x7^2*x8*x9*y13+2*x1*x3*x4^2*x6*x7^2*x8*x9*y13-x2^2*x3^2*x4*x7*x8^2*x9*y13+2*x1*x2*x3*x4^2*x7*x8^2*x9*y13-x1^2*x4^3*x7*x8^2*x9*y13+x2*x3^2*x4*x5*x7^2*x9^2*y13-x1*x3*x4^2*x5*x7^2*x9^2*y13+x2*x3^3*x6*x7^2*x9^2*y13-x1*x3^2*x4*x6*x7^2*x9^2*y13+x2^2*x3^3*x7*x8*x9^2*y13-2*x1*x2*x3^2*x4*x7*x8*x9^2*y13+x1^2*x3*x4^2*x7*x8*x9^2*y13+x2*x3*x4^2*x5*x7*x9^3*y13-x1*x4^3*x5*x7*x9^3*y13+x2*x3^2*x4*x6*x7*x9^3*y13-x1*x3*x4^2*x6*x7*x9^3*y13+x2^2*x3^2*x4*x8*x9^3*y13-2*x1*x2*x3*x4^2*x8*x9^3*y13+x1^2*x4^3*x8*x9^3*y13+x2*x3^2*x4*x5*x7^3*x9*y14-x1*x3*x4^2*x5*x7^3*x9*y14+x2*x3^3*x6*x7^3*x9*y14-x1*x3^2*x4*x6*x7^3*x9*y14+x2^2*x3^3*x7^2*x8*x9*y14-2*x1*x2*x3^2*x4*x7^2*x8*x9*y14+x1^2*x3*x4^2*x7^2*x8*x9*y14+x2*x3*x4^2*x5*x7^2*x9^2*y14-x1*x4^3*x5*x7^2*x9^2*y14+x2*x3^2*x4*x6*x7^2*x9^2*y14-x1*x3*x4^2*x6*x7^2*x9^2*y14+x2^2*x3^2*x4*x7*x8*x9^2*y14-2*x1*x2*x3*x4^2*x7*x8*x9^2*y14+x1^2*x4^3*x7*x8*x9^2*y14-x2^2*x3^3*x7*x9^3*y14+2*x1*x2*x3^2*x4*x7*x9^3*y14-x1^2*x3*x4^2*x7*x9^3*y14-x2^2*x3^2*x4*x9^4*y14+2*x1*x2*x3*x4^2*x9^4*y14-x1^2*x4^3*x9^4*y14-x4^2*x5^3*x7^4*y15-2*x3*x4*x5^2*x6*x7^4*y15-x3^2*x5*x6^2*x7^4*y15-2*x2*x3*x4*x5^2*x7^3*x8*y15+2*x1*x4^2*x5^2*x7^3*x8*y15-2*x2*x3^2*x5*x6*x7^3*x8*y15+2*x1*x3*x4*x5*x6*x7^3*x8*y15-x2^2*x3^2*x5*x7^2*x8^2*y15+2*x1*x2*x3*x4*x5*x7^2*x8^2*y15-x1^2*x4^2*x5*x7^2*x8^2*y15-x4^2*x5^2*x6*x7^3*x9*y15-2*x3*x4*x5*x6^2*x7^3*x9*y15-x3^2*x6^3*x7^3*x9*y15-2*x2*x3*x4*x5*x6*x7^2*x8*x9*y15+2*x1*x4^2*x5*x6*x7^2*x8*x9*y15-2*x2*x3^2*x6^2*x7^2*x8*x9*y15+2*x1*x3*x4*x6^2*x7^2*x8*x9*y15-x2^2*x3^2*x6*x7*x8^2*x9*y15+2*x1*x2*x3*x4*x6*x7*x8^2*x9*y15-x1^2*x4^2*x6*x7*x8^2*x9*y15+x2*x3*x4*x5^2*x7^2*x9^2*y15-x1*x4^2*x5^2*x7^2*x9^2*y15+x2*x3^2*x5*x6*x7^2*x9^2*y15-x1*x3*x4*x5*x6*x7^2*x9^2*y15+x2^2*x3^2*x5*x7*x8*x9^2*y15-2*x1*x2*x3*x4*x5*x7*x8*x9^2*y15+x1^2*x4^2*x5*x7*x8*x9^2*y15+x2*x3*x4*x5*x6*x7*x9^3*y15-x1*x4^2*x5*x6*x7*x9^3*y15+x2*x3^2*x6^2*x7*x9^3*y15-x1*x3*x4*x6^2*x7*x9^3*y15+x2^2*x3^2*x6*x8*x9^3*y15-2*x1*x2*x3*x4*x6*x8*x9^3*y15+x1^2*x4^2*x6*x8*x9^3*y15+x2*x3*x4*x5^2*x7^3*x9*y16-x1*x4^2*x5^2*x7^3*x9*y16+x2*x3^2*x5*x6*x7^3*x9*y16-x1*x3*x4*x5*x6*x7^3*x9*y16+x2^2*x3^2*x5*x7^2*x8*x9*y16-2*x1*x2*x3*x4*x5*x7^2*x8*x9*y16+x1^2*x4^2*x5*x7^2*x8*x9*y16+x2*x3*x4*x5*x6*x7^2*x9^2*y16-x1*x4^2*x5*x6*x7^2*x9^2*y16+x2*x3^2*x6^2*x7^2*x9^2*y16-x1*x3*x4*x6^2*x7^2*x9^2*y16+x2^2*x3^2*x6*x7*x8*x9^2*y16-2*x1*x2*x3*x4*x6*x7*x8*x9^2*y16+x1^2*x4^2*x6*x7*x8*x9^2*y16-x2^2*x3^2*x5*x7*x9^3*y16+2*x1*x2*x3*x4*x5*x7*x9^3*y16-x1^2*x4^2*x5*x7*x9^3*y16-x2^2*x3^2*x6*x9^4*y16+2*x1*x2*x3*x4*x6*x9^4*y16-x1^2*x4^2*x6*x9^4*y16-2*x2*x3^2*x5*x7^3*x9^2*y19+2*x1*x3*x4*x5*x7^3*x9^2*y19-2*x2*x3*x4*x5*x7^2*x9^3*y19+2*x1*x4^2*x5*x7^2*x9^3*y19-2*x2*x3^2*x6*x7^2*x9^3*y19+2*x1*x3*x4*x6*x7^2*x9^3*y19-2*x2*x3*x4*x6*x7*x9^4*y19+2*x1*x4^2*x6*x7*x9^4*y19+x2*x4^2*x5^2*x7^2*y11+2*x2*x3*x4*x5*x6*x7^2*y11+x2*x3^2*x6^2*x7^2*y11+2*x2^2*x3*x4*x5*x7*x8*y11-2*x1*x2*x4^2*x5*x7*x8*y11+2*x2^2*x3^2*x6*x7*x8*y11-2*x1*x2*x3*x4*x6*x7*x8*y11+x2^3*x3^2*x8^2*y11-2*x1*x2^2*x3*x4*x8^2*y11+x1^2*x2*x4^2*x8^2*y11+x1*x2*x3*x4*x5*x7*x9*y11-x1^2*x4^2*x5*x7*x9*y11+x1*x2*x3^2*x6*x7*x9*y11-x1^2*x3*x4*x6*x7*x9*y11+x1*x4*x5*x7^3*x9*y11+x1*x3*x6*x7^3*x9*y11+x1*x2^2*x3^2*x8*x9*y11-2*x1^2*x2*x3*x4*x8*x9*y11+x1^3*x4^2*x8*x9*y11+x1*x2*x3*x7^2*x8*x9*y11-x1^2*x4*x7^2*x8*x9*y11+x2*x4*x5*x7^2*x9^2*y11+x2*x3*x6*x7^2*x9^2*y11+x2^2*x3*x7*x8*x9^2*y11-x1*x2*x4*x7*x8*x9^2*y11-x1*x2*x3*x7*x9^3*y11+x1^2*x4*x7*x9^3*y11-x2^2*x3*x9^4*y11+x1*x2*x4*x9^4*y11-x1*x4*x5*x7^4*y12-x1*x3*x6*x7^4*y12-x1*x2*x3*x7^3*x8*y12+x1^2*x4*x7^3*x8*y12-x2^2*x3*x4*x5*x7*x9*y12+x1*x2*x4^2*x5*x7*x9*y12-x2^2*x3^2*x6*x7*x9*y12+x1*x2*x3*x4*x6*x7*x9*y12-x2*x4*x5*x7^3*x9*y12-x2*x3*x6*x7^3*x9*y12-x2^3*x3^2*x8*x9*y12+2*x1*x2^2*x3*x4*x8*x9*y12-x1^2*x2*x4^2*x8*x9*y12-x2^2*x3*x7^2*x8*x9*y12+x1*x2*x4*x7^2*x8*x9*y12-x1*x2^2*x3^2*x9^2*y12+2*x1^2*x2*x3*x4*x9^2*y12-x1^3*x4^2*x9^2*y12+x1*x2*x3*x7^2*x9^2*y12-x1^2*x4*x7^2*x9^2*y12+x2^2*x3*x7*x9^3*y12-x1*x2*x4*x7*x9^3*y12+x4^3*x5^2*x7^2*y13+2*x3*x4^2*x5*x6*x7^2*y13+x3^2*x4*x6^2*x7^2*y13+2*x2*x3*x4^2*x5*x7*x8*y13-2*x1*x4^3*x5*x7*x8*y13+2*x2*x3^2*x4*x6*x7*x8*y13-2*x1*x3*x4^2*x6*x7*x8*y13+x2^2*x3^2*x4*x8^2*y13-2*x1*x2*x3*x4^2*x8^2*y13+x1^2*x4^3*x8^2*y13+x2*x3^2*x4*x5*x7*x9*y13-x1*x3*x4^2*x5*x7*x9*y13+x2*x3^3*x6*x7*x9*y13-x1*x3^2*x4*x6*x7*x9*y13+x3*x4*x5*x7^3*x9*y13+x3^2*x6*x7^3*x9*y13+x2^2*x3^3*x8*x9*y13-2*x1*x2*x3^2*x4*x8*x9*y13+x1^2*x3*x4^2*x8*x9*y13+x2*x3^2*x7^2*x8*x9*y13-x1*x3*x4*x7^2*x8*x9*y13+x4^2*x5*x7^2*x9^2*y13+x3*x4*x6*x7^2*x9^2*y13+x2*x3*x4*x7*x8*x9^2*y13-x1*x4^2*x7*x8*x9^2*y13-x2*x3^2*x7*x9^3*y13+x1*x3*x4*x7*x9^3*y13-x2*x3*x4*x9^4*y13+x1*x4^2*x9^4*y13-x3*x4*x5*x7^4*y14-x3^2*x6*x7^4*y14-x2*x3^2*x7^3*x8*y14+x1*x3*x4*x7^3*x8*y14-x2*x3*x4^2*x5*x7*x9*y14+x1*x4^3*x5*x7*x9*y14-x2*x3^2*x4*x6*x7*x9*y14+x1*x3*x4^2*x6*x7*x9*y14-x4^2*x5*x7^3*x9*y14-x3*x4*x6*x7^3*x9*y14-x2^2*x3^2*x4*x8*x9*y14+2*x1*x2*x3*x4^2*x8*x9*y14-x1^2*x4^3*x8*x9*y14-x2*x3*x4*x7^2*x8*x9*y14+x1*x4^2*x7^2*x8*x9*y14-x2^2*x3^3*x9^2*y14+2*x1*x2*x3^2*x4*x9^2*y14-x1^2*x3*x4^2*x9^2*y14+x2*x3^2*x7^2*x9^2*y14-x1*x3*x4*x7^2*x9^2*y14+x2*x3*x4*x7*x9^3*y14-x1*x4^2*x7*x9^3*y14+x4^2*x5^2*x6*x7^2*y15+2*x3*x4*x5*x6^2*x7^2*y15+x3^2*x6^3*x7^2*y15+2*x2*x3*x4*x5*x6*x7*x8*y15-2*x1*x4^2*x5*x6*x7*x8*y15+2*x2*x3^2*x6^2*x7*x8*y15-2*x1*x3*x4*x6^2*x7*x8*y15+x2^2*x3^2*x6*x8^2*y15-2*x1*x2*x3*x4*x6*x8^2*y15+x1^2*x4^2*x6*x8^2*y15+x2*x3*x4*x5^2*x7*x9*y15-x1*x4^2*x5^2*x7*x9*y15+x2*x3^2*x5*x6*x7*x9*y15-x1*x3*x4*x5*x6*x7*x9*y15+x4*x5^2*x7^3*x9*y15+x3*x5*x6*x7^3*x9*y15+x2^2*x3^2*x5*x8*x9*y15-2*x1*x2*x3*x4*x5*x8*x9*y15+x1^2*x4^2*x5*x8*x9*y15+x2*x3*x5*x7^2*x8*x9*y15-x1*x4*x5*x7^2*x8*x9*y15+x4*x5*x6*x7^2*x9^2*y15+x3*x6^2*x7^2*x9^2*y15+x2*x3*x6*x7*x8*x9^2*y15-x1*x4*x6*x7*x8*x9^2*y15-x2*x3*x5*x7*x9^3*y15+x1*x4*x5*x7*x9^3*y15-x2*x3*x6*x9^4*y15+x1*x4*x6*x9^4*y15-x4*x5^2*x7^4*y16-x3*x5*x6*x7^4*y16-x2*x3*x5*x7^3*x8*y16+x1*x4*x5*x7^3*x8*y16-x2*x3*x4*x5*x6*x7*x9*y16+x1*x4^2*x5*x6*x7*x9*y16-x2*x3^2*x6^2*x7*x9*y16+x1*x3*x4*x6^2*x7*x9*y16-x4*x5*x6*x7^3*x9*y16-x3*x6^2*x7^3*x9*y16-x2^2*x3^2*x6*x8*x9*y16+2*x1*x2*x3*x4*x6*x8*x9*y16-x1^2*x4^2*x6*x8*x9*y16-x2*x3*x6*x7^2*x8*x9*y16+x1*x4*x6*x7^2*x8*x9*y16-x2^2*x3^2*x5*x9^2*y16+2*x1*x2*x3*x4*x5*x9^2*y16-x1^2*x4^2*x5*x9^2*y16+x2*x3*x5*x7^2*x9^2*y16-x1*x4*x5*x7^2*x9^2*y16+x2*x3*x6*x7*x9^3*y16-x1*x4*x6*x7*x9^3*y16-2*x2*x3^2*x5*x7^2*x9*y19+2*x1*x3*x4*x5*x7^2*x9*y19+2*x3*x5*x7^4*x9*y19+2*x4*x5*x7^3*x9^2*y19+2*x3*x6*x7^3*x9^2*y19+2*x2*x3*x4*x6*x9^3*y19-2*x1*x4^2*x6*x9^3*y19+2*x4*x6*x7^2*x9^3*y19-x1*x4*x5*x7^2*y11-x1*x3*x6*x7^2*y11-x1*x2*x3*x7*x8*y11+x1^2*x4*x7*x8*y11-2*x2*x4*x5*x7*x9*y11-2*x2*x3*x6*x7*x9*y11-2*x2^2*x3*x8*x9*y11+2*x1*x2*x4*x8*x9*y11-x1*x2*x3*x9^2*y11+x1^2*x4*x9^2*y11+x2*x4*x5*x7^2*y12+x2*x3*x6*x7^2*y12+x2^2*x3*x7*x8*y12-x1*x2*x4*x7*x8*y12+2*x1*x2*x3*x7*x9*y12-2*x1^2*x4*x7*x9*y12+x2^2*x3*x9^2*y12-x1*x2*x4*x9^2*y12-x3*x4*x5*x7^2*y13-x3^2*x6*x7^2*y13-x2*x3^2*x7*x8*y13+x1*x3*x4*x7*x8*y13-2*x4^2*x5*x7*x9*y13-2*x3*x4*x6*x7*x9*y13-2*x2*x3*x4*x8*x9*y13+2*x1*x4^2*x8*x9*y13-x2*x3^2*x9^2*y13+x1*x3*x4*x9^2*y13+x4^2*x5*x7^2*y14+x3*x4*x6*x7^2*y14+x2*x3*x4*x7*x8*y14-x1*x4^2*x7*x8*y14+2*x2*x3^2*x7*x9*y14-2*x1*x3*x4*x7*x9*y14+x2*x3*x4*x9^2*y14-x1*x4^2*x9^2*y14-x4*x5^2*x7^2*y15-x3*x5*x6*x7^2*y15-x2*x3*x5*x7*x8*y15+x1*x4*x5*x7*x8*y15-2*x4*x5*x6*x7*x9*y15-2*x3*x6^2*x7*x9*y15-2*x2*x3*x6*x8*x9*y15+2*x1*x4*x6*x8*x9*y15-x2*x3*x5*x9^2*y15+x1*x4*x5*x9^2*y15+x4*x5*x6*x7^2*y16+x3*x6^2*x7^2*y16+x2*x3*x6*x7*x8*y16-x1*x4*x6*x7*x8*y16+2*x2*x3*x5*x7*x9*y16-2*x1*x4*x5*x7*x9*y16+x2*x3*x6*x9^2*y16-x1*x4*x6*x9^2*y16+x2*x3*x4*x5*x7*y17-x1*x4^2*x5*x7*y17+x2*x3^2*x6*x7*y17-x1*x3*x4*x6*x7*y17+x2^2*x3^2*x8*y17-2*x1*x2*x3*x4*x8*y17+x1^2*x4^2*x8*y17+x4^2*x5^2*x7*y18-x3^2*x6^2*x7*y18+x2*x3*x4*x5*x8*y18-x1*x4^2*x5*x8*y18-x2*x3^2*x6*x8*y18+x1*x3*x4*x6*x8*y18+2*x3*x5*x7^3*y19+2*x2*x3*x4*x5*x9*y19-2*x1*x4^2*x5*x9*y19-2*x4*x6*x7*x9^2*y19+2*x1*x7*x9*y11+2*x2*x9^2*y11-2*x1*x7^2*y12-2*x2*x7*x9*y12+2*x3*x7*x9*y13+2*x4*x9^2*y13-2*x3*x7^2*y14-2*x4*x7*x9*y14+2*x5*x7*x9*y15+2*x6*x9^2*y15-2*x5*x7^2*y16-2*x6*x7*x9*y16-2*x2*x3*x9*y17+2*x1*x4*x9*y17-2*x4*x5*x9*y18+2*x3*x6*x9*y18-2*x4*x5*x7*y19-2*x3*x6*x7*y19-2*x2*x3*x8*y19+2*x1*x4*x8*y19+x1*y11+x2*y12+x3*y13+x4*y14+x5*y15+x6*y16+x7*y17+x8*y18+x9*y19+y10

interfaces/msolve-to-maple-file-interface.mpl

@@ -105,7 +105,7 @@ local i, fd, F2, str;
    if evalb(GetSystem() = "macOS") then
      str := cat("sed -i '' -e ':a' -e 'N' -e '$!ba' -e 's/\\\\\\n//g' ", fname):
    elif evalb(GetSystem() = "Linux") then
-     str := cat("sed -i -e ':a' -e 'N' -e '$!ba' -e 's/\\\n//g' ", fname):
+     str := cat("sed -i -e ':a' -e 'N' -e '$!ba' -e 's/\\\\\\n//g' ", fname):
    fi:
    system(str):
 end proc: