File: groebner-g2.ms

package info (click to toggle)
msolve 0.9.5-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 8,320 kB
  • sloc: ansic: 41,925; sh: 1,373; makefile: 205
file content (5 lines) | stat: -rw-r--r-- 10,358 bytes parent folder | download
1
2
3
4
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