File: cyclic5-qq.ms

package info (click to toggle)
msolve 0.7.5-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 4,908 kB
  • sloc: ansic: 41,717; sh: 1,768; makefile: 202
file content (7 lines) | stat: -rw-r--r-- 188 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
 
x1,x2,x3,x4,x5
0
x1+x2+x3+x4+x5,
x1*x2+x1*x5+x2*x3+x3*x4+x4*x5,
x1*x2*x3+x1*x2*x5+x1*x4*x5+x2*x3*x4+x3*x4*x5,
x1*x2*x3*x4+x1*x2*x3*x5+x1*x2*x4*x5+x1*x3*x4*x5+x2*x3*x4*x5,
x1*x2*x3*x4*x5-1