File: bug10.multi

package info (click to toggle)
frobby 0.9.7-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 11,616 kB
  • sloc: cpp: 30,134; sh: 1,184; makefile: 312; ansic: 102; lisp: 10
file content (24 lines) | stat: -rw-r--r-- 314 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
 
R = QQ[x1, x2, x3, x4];
p =
 -x2^5*x3*x4 +
 x2^5*x3 +
 x2^5*x4 +
 -x2^5 +
 -x2^3*x3*x4^5 +
 x2^3*x3*x4 +
 x2^3*x4^5 +
 -x2^3*x4 +
 -x2^2*x3^3*x4^4 +
 x2^2*x3^3 +
 x2^2*x3*x4^4 +
 -x2^2*x3 +
 -x2*x3^2*x4^5 +
 x2*x3^2*x4^4 +
 x2*x3*x4^5 +
 -x2*x3*x4^4 +
 x3^3*x4^4 +
 -x3^3 +
 x3^2*x4^5 +
 -x3^2*x4^4 +
 -x4^5 +
 1;