File: in1_dos.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 (6 lines) | stat: -rw-r--r-- 76 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
x0, x1, x2, x3
0
x0^2+x2^2-1,
x1^2+x3^2-1,
x0*x1+x2*x3,
x0*x3+x1*x2-1