File: eco6-qq.ms

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