1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
|
--- testsuite/0008PolynomialSetUnion/output.orig 2013-09-23 12:03:23 UTC
+++ testsuite/0008PolynomialSetUnion/output
@@ -1,62 +1,62 @@
-{
+Q[a,b,c]
+a*b-c^6,
+a*b^2-c^3,
+a*b^4-b,
+a*c-b^6,
+a*c^2-b,
+a*c^6-c,
+a-b^11,
+a-b^2*c,
+a-c^9,
a^11-c,
a^15-a,
+a^2*b-c,
a^2*b^3-a,
+a^2*c-b^3,
a^2-b^8,
-a^2*b-c,
a^2-c^4,
-a^2*c-b^3,
-a^3-b^5,
-a^3-b*c^2,
a^3*c^2-c}
-a^4-b^2,
+a^3-b*c^2,
+a^3-b^5,
a^4*c-a,
+a^4-b^2,
a^5-c^3,
a^6*b-a,
a^6-b*c,
a^8-c^2,
a^9-b,
-a-b^11,
-a-b^2*c,
-a*b^2-c^3,
-a*b^4-b,
-a*b-c^6,
-a*c^2-b,
-a*c^6-c,
-a-c^9,
-a*c-b^6,
+b*c-a^6,
+b*c^2-a^3,
+b*c^4-c,
+b-a*c^2,
+b-a^9,
+b-c^11,
b^11-a,
b^15-b,
-b^2-a^4,
+b^2*c-a,
b^2*c^3-b,
+b^2-a^4,
b^2-c^8,
-b^2*c-a,
b^3-a^2*c,
b^3-c^5,
b^4-c^2,
b^5-a^3,
-b^6-a*c,
b^6*c-b,
+b^6-a*c,
b^8-a^2,
b^9-c,
-b-a^9,
-b-a*c^2,
-b-c^11,
-b*c^2-a^3,
-b*c^4-c,
-b*c-a^6,
+c-a^11,
+c-a^2*b,
+c-b^9,
c^11-b,
c^15-c,
c^2-a^8,
c^2-b^4,
-c^3-a^5,
c^3-a*b^2,
+c^3-a^5,
c^4-a^2,
c^5-b^3,
c^6-a*b,
c^8-b^2,
c^9-a,
-c-a^11,
-c-a^2*b,
-c-b^9,
-Q[a,b,c]
+{
|