File: maxbitsize-bug.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-- 70 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
x1,x2,x3,x4,x5
0
x1^3*x3-x1^3,
x1^4,
x1^2*x2*x4-x1^2*x2,
x2^2,
x4^3-1