Contents - Student subdomain for University of Bath

268 INDEX
The total-degree Gröbner base from page 89.
{42 c 4 +555+293 a 3 +1153 a 2 b−3054 ab 2 +323 b 3 +2035 a 2 c+1642 abc−1211 b 2 c+
2253 ac 2 −1252 bc 2 −31 c 3 +1347 a 2 −3495 ab+1544 b 2 −1100 ac+2574 bc−368 c 2 +
2849 a + 281 b + 4799 c, 21 bc 3 − 57 − 10 a 3 − 41 a 2 b + 183 ab 2 − 25 b 3 − 104 a 2 c −
65 abc+91 b 2 c−129 ac 2 +59 bc 2 −16 c 3 −33 a 2 +225 ab−142 b 2 +67 ac−174 bc−
5 c 2 −154 a−46 b−310 c, 21 ac 3 −75−29 a 3 −121 a 2 b+369 ab 2 −41 b 3 −226 a 2 c−
178 abc + 161 b 2 c − 267 ac 2 + 148 bc 2 + 4 c 3 − 123 a 2 + 411 ab − 206 b 2 + 146 ac −
324 bc + 38 c 2 − 329 a − 62 b − 584 c, 14 b 2 c 2 + 5 + a 3 + 9 a 2 b + 2 ab 2 − b 3 + 23 a 2 c +
10 abc−21 b 2 c+15 ac 2 −8 bc 2 +3 c 3 −3 a 2 −19 ab−4 b 2 −6 ac−26 bc−10 c 2 +7 a−b+
3 c, 21 abc 2 +30−a 3 −2 a 2 b−51 ab 2 +8 b 3 +40 a 2 c+25 abc−56 b 2 c+69 ac 2 −13 bc 2 +
11 c 3 −18 a 2 −72 ab+53 b 2 −8 ac+54 bc+10 c 2 +56 a+29 b+116 c, 14 a 2 c 2 +11+
5 a 3 +31 a 2 b−74 ab 2 +9 b 3 +45 a 2 c+22 abc−35 b 2 c+61 ac 2 −40 bc 2 +c 3 +13 a 2 −
95 ab + 50 b 2 − 44 ac + 66 bc + 6 c 2 + 63 a + 23 b + 127 c, 21 b 3 c − 6 − 4 a 3 + 13 a 2 b +
48 ab 2 −10 b 3 −8 a 2 c−5 abc−14 b 2 c+3 ac 2 −10 bc 2 +2 c 3 −30 a 2 +27 ab−40 b 2 +
10 ac−57 bc−2 c 2 −7 a−10 b−40 c, 6 ab 2 c−3−a 3 −5 a 2 b+12 ab 2 −b 3 −11 a 2 c−
2 abc + 7 b 2 c − 9 ac 2 + 2 bc 2 − c 3 − 3 a 2 + 15 ab − 4 b 2 + 4 ac − 6 bc − 2 c 2 − 13 a − b −
19 c, 14 a 2 bc−13+3 a 3 +13 a 2 b+6 ab 2 −3 b 3 −a 2 c+2 abc+21 b 2 c−25 ac 2 +4 bc 2 −
5 c 3 + 19 a 2 + 27 ab − 26 b 2 + 10 ac − 8 bc − 2 c 2 − 7 a − 17 b − 33 c, 7 a 3 c + 3 − 5 a 3 −
24 a 2 b + 25 ab 2 − 2 b 3 − 17 a 2 c − 8 abc + 7 b 2 c − 19 ac 2 + 12 bc 2 − c 3 − 6 a 2 + 32 ab −
8 b 2 +23 ac−17 bc−6 c 2 −21 a−2 b−36 c, 42 b 4 −3−121 a 3 −557 a 2 b+570 ab 2 +
275 b 3 −515 a 2 c−608 abc−77 b 2 c−555 ac 2 +2 bc 2 −55 c 3 −645 a 2 +633 ab−160 b 2 +
82 ac−690 bc−302 c 2 −679 a+65 b−1147 c, 42 ab 3 +15−11 a 3 −85 a 2 b+6 ab 2 +
25 b 3 −43 a 2 c−40 abc−49 b 2 c−39 ac 2 +4 bc 2 −5 c 3 −51 a 2 −15 ab+58 b 2 −4 ac+
6 bc − 16 c 2 − 35 a + 25 b − 5 c, 21 a 2 b 2 + 3 + 2 a 3 + 25 a 2 b − 45 ab 2 + 5 b 3 + 25 a 2 c −
29 abc−14 b 2 c+9 ac 2 −16 bc 2 −c 3 −6 a 2 −45 ab+20 b 2 −47 ac+18 bc+c 2 +14 a+
5 b+41 c, 21 a 3 b+18−16 a 3 −74 a 2 b+24 ab 2 +2 b 3 −53 a 2 c+abc−35 b 2 c+12 ac 2 +
23 bc 2 +8 c 3 −36 a 2 +24 ab+29 b 2 +40 ac+3 bc−8 c 2 −28 a+23 b−13 c, 42 a 4 −57+
431 a 3 + 757 a 2 b − 804 ab 2 + 59 b 3 + 799 a 2 c − 2 abc − 119 b 2 c + 417 ac 2 − 340 bc 2 +
5 c 3 + 303 a 2 − 1203 ab + 194 b 2 − 752 ac + 246 bc + 184 c 2 + 581 a − 67 b + 1013 c}.
The equivalent lexicographic base.
{1 − 6 c − 41 c 2 + 71 c 3 − 41 c 18 + 197 c 14 + 106 c 16 − 6 c 19 + 106 c 4 + 71 c 17 +
c 20 + 92 c 5 + 197 c 6 + 145 c 7 + 257 c 8 + 278 c 9 + 201 c 10 + 278 c 11 + 257 c 12 +
145 c 13 +92 c 15 , 9741532+39671190 c−96977172 c 2 −140671876 c 3 +7007106 c 18 −
120781728 c 14 −79900378 c 16 −1184459 c 19 −131742078 c 4 +49142070 c 17 −253979379 c 5 −
204237390 c 6 − 337505020 c 7 − 356354619 c 8 − 271667666 c 9 − 358660781 c 10 −
323810244 c 11 −193381378 c 12 −244307826 c 13 −131861787 c 15 +1645371 b, −487915 c 18 +
705159 a + 4406102 c + 16292173 c 14 + 17206178 c 2 + 3830961 c 16 + 91729 c 19 −
377534 + 21640797 c 3 + 26686318 c 4 − 4114333 c 17 + 34893715 c 5 + 37340389 c 6 +
47961810 c 7 +46227230 c 8 +42839310 c 9 +46349985 c 10 +37678046 c 11 +28185846 c 12 +
26536060 c 13 + 13243117 c 15 }.