link to my thesis

256 APPENDIX B. POLYNOMIAL TEST SET
# Polynomial
15 (5x 8 +5y 8 )+5z 8 +1.6yz 6 − 9.4xy 2 z 4 − 0.5x 2 yz 4 − 9.9x 3 z 4 − 4.9x 2 z 4 − 3.6z 4 − 4.5x 2 y 2 z 3 +
−0.4xy 2 z 3 − 2.5y 2 z 3 − 7.5xyz 3 +6.6y 3 z 2 +3.6x 3 yz 2 − 9.0yz 2 +7.4x 2 z 2 +7.7xz 2 − 6.9z 2 +
−8.9x 2 y 4 z +7.8y 4 z − 4.1y 3 z − 5.4x 4 y 2 z +9.1x 3 y 2 z +10.0x 6 z +9.5xz +8.6y 6 +4.2x 4 y 3 +6.8x 3 y 3 +
2.7x 3 y 2 +2.5xy 2 +5.4x 6 y − 5.4y +7.9x 4
16 (5x 8 +5y 8 )+5.0z 8 − 3.4xyz 5 − 1.4yz 5 − 5.9xz 5 +2.1y 3 z 4 − 1.1xy 3 z 3 − 3.4x 2 y 2 z 3 − 9.5xy 2 z 3 +
5.2y 2 z 3 +8.4xyz 3 +1.2x 4 z 3 − 1.1z 3 +8.6y 4 z 2 +9.7x 2 y 3 z 2 − 9.4xy 2 z 2 +1.3x 2 yz 2 − 8.4xyz 2 − 6.8y 6 z+
2.8xy 4 z +6.2x 3 y 3 z − 0.6y 3 z − 5.2x 3 y 2 z +3.8x 5 yz − 1.3x 4 yz +5.3x 6 z − 2.3x 3 z − 6.9xz +1.3z − 7.4y 6 +
5.7xy 5 +2.1x 3 y 4 +2.8x 2 y 4 +8.1y 4 − 8.2x 3 y 3 +1.4x 2 y 3 +9.4x 3 y 2 − 10.0xy 2 − 4.6x 3 y − 2.7x 6 +7.7x 2
17 (5x 24 +5y 24 ) − 0.7xy 22 +1.2y 22 +8.2xy 20 +8.5x 2 y 19 +6.4y 19 − 2.1xy 17 − 3.9x 5 y 16 +
−4.2x 4 y 16 − 9.5x 2 y 16 +7.9x 6 y 15 − 5.1x 5 y 15 − 4.0x 3 y 15 − 10.0x 2 y 15 − 4.6x 4 y 14 − 4.1y 14 +
−6.2x 10 y 13 +1.8x 8 y 13 +5.7x 5 y 13 +7.8x 10 y 12 +2.4x 8 y 12 +8.3x 7 y 12 +4.6x 4 y 12 +
−0.6y 12 − 7.4x 11 y 11 − 0.6x 9 y 11 +0.9x 4 y 11 +4.1x 9 y 10 +1.6x 5 y 10 +8.8x 3 y 10 +0.7x 11 y 9 +
−4.4x 9 y 9 +9.1x 8 y 9 − 3.1x 15 y 8 +8.6x 13 y 8 +6.3x 9 y 8 +9.7x 4 y 8 − 3.5x 16 y 7 +0.8x 8 y 7 +8.2x 5 y 7 +
9.9x 2 y 7 +7.0x 17 y 6 +4.2x 7 y 6 +9.6x 16 y 5 +3.8x 9 y 5 +4.2x 12 y 4 − 7.1x 11 y 4 +9.3x 5 y 4 +6.7x 4 y 4 +
2.5x 19 y 3 − 2.2x 16 y 3 +7.1x 14 y 3 − 6.9x 12 y 3 +0.6x 11 y 3 − 5.2x 10 y 3 − 4.7xy 3 − 2.8x 18 y 2 +
8.4x 16 y 2 +5.3x 10 y 2 +2.6x 5 y 2 − 4.7x 4 y 2 − 2.1y 2 − 1.5x 21 y − 2.3x 20 y +2.8x 15 y − 5.1x 14 y+
6.6x 8 y +1.6x 7 y − 9.0x 21 +5.4x 17 +8.4x 16 +4.8x 12 +0.3x 9 +9.1x 7 +8.4x 5 +1.9x 2 +1.5x
18 (5x 24 +5y 24 )+2.2y 21 − 4.3xy 20 +5.1y 20 − 8.4y 18 +6.2x 6 y 17 − 1.6x 3 y 17 − 8.1x 4 y 16 +
8.6xy 16 +6.9x 4 y 15 − 6.7x 3 y 15 +5.8x 2 y 15 − 3.6x 7 y 14 − 8.1x 6 y 14 +5.8x 5 y 13 − 2.7xy 13 +
−7.2y 13 +2.6x 10 y 12 +8.9x 5 y 12 − 9.4x 11 y 11 +0.1x 10 y 11 +2.1x 4 y 11 +4.5x 2 y 11 +
6.7y 11 +8.3x 11 y 10 +9.7x 10 y 10 +8.6x 8 y 10 +8.9x 4 y 10 − 2.4x 3 y 10 − 3.5x 12 y 9 +2.2xy 9 +
6.7x 15 y 8 +5.6x 13 y 8 +3.2x 10 y 8 +5.2x 8 y 8 − 9.1x 5 y 8 +5.4y 8 − 3.1x 7 y 7 +4.8x 6 y 7 +3.3xy 7 +
−2.2x 17 y 6 − 1.4x 16 y 6 − 0.5x 13 y 6 +3.7x 12 y 6 +6.7x 10 y 6 − 3.6x 9 y 6 +3.9x 6 y 6 − 6.9y 6 +
−9.3x 11 y 5 +7.7x 6 y 5 − 0.4x 2 y 5 − 4.1x 17 y 4 − 2.7x 15 y 4 − 8.7x 13 y 4 − 6.0x 11 y 4 +3.2x 10 y 4 +
−8.5x 9 y 4 +4.1x 8 y 4 − 0.5x 6 y 4 +7.7x 18 y 3 +7.1x 16 y 3 − 8.1x 15 y 3 − 5.4x 13 y 3 − 4.6x 12 y 3 +
8.1x 11 y 3 +6.6x 10 y 3 +0.2x 8 y 3 +2.4x 7 y 3 +5.8x 5 y 3 − 7.4x 4 y 3 +9.0x 2 y 3 +6.0y 3 − 10.0x 18 y 2 +
8.7x 14 y 2 +9.3x 12 y 2 − 6.4x 11 y 2 +8.7x 7 y 2 − 3.3xy 2 − 7.7y 2 +9.6x 20 y − 0.3x 10 y − 8.6x 4 y − 6.0x 2 y+
4.8x 20 − 2.0x 13 +8.1x 10 +1.6x 4
19 (5x 10 +5y 10 +5z 10 )+7.6xyz 7 +2.3y 3 z 6 +8.3xy 2 z 6 − 8.1x 3 z 6 +0.0x 2 z 6 +9.4xz 6 +9.0z 6 +
8.6x 2 y 2 z 5 − 7.2yz 5 +6.5x 3 z 5 +1.3x 2 z 5 − 8.6xy 3 z 4 +5.7x 4 yz 4 − 7.8x 2 yz 4 − 1.3y 5 z 3 − 9.0x 2 y 4 z 3 +
1.5y 4 z 3 − 3.9y 3 z 3 +6.8xy 2 z 3 + x 3 z 3 +9.8z 3 +1.8x 2 y 5 z 2 +6.5y 4 z 2 +9.2x 5 y 2 z 2 +0.1x 4 yz 2 +
−7.3xyz 2 +9.9x 7 z 2 − 6.9x 5 z 2 − 1.9x 4 z 2 − 5.8x 3 z 2 +7.2x 2 z 2 +6.3xy 7 z +3.9y 7 z − 3.8x 2 y 6 z+
−2.3x 4 y 4 z − 5.0y 3 z − 5.8x 5 y 2 z − 3.9x 4 y 2 z +9.7x 2 y 2 z +6.4x 3 yz +3.1yz − 7.9x 6 z − 1.5x 5 z +4.6x 4 z+
−0.7y 7 − 2.7x 3 y 6 +6.6x 4 y 5 − 0.5xy 5 − 4.6y 5 − 9.6x 5 y 4 − 6.4x 4 y 4 − 1.9x 3 y 2 − 5.8x 3 y − 5.8x 3
20 (5x 10 +5y 10 +5z 10 ) − 9.8z 6 − 6.6x 2 yz 5 +8.6x 2 z 5 +3.8xz 5 − 6.7z 5 +6.1y 4 z 4 +6.3x 2 y 3 z 4 +
8.6xy 3 z 4 +3.5y 2 z 4 +9.3x 4 yz 4 +7.7xyz 4 − 0.7yz 4 +4.0x 3 z 4 − 1.4xz 4 +2.0y 6 z 3 − 6.1xy 5 z 3 − 9.9y 5 z 3 +
8.6x 2 y 4 z 3 − 2.7x 2 y 3 z 3 +0.7x 4 y 2 z 3 +2.0x 2 y 2 z 3 +7.1xy 2 z 3 +7.1x 5 yz 3 +9.4x 2 yz 3 − 3.1yz 3 +7.0x 3 z 3 +
−2.7xz 3 +2.5y 7 z 2 − 1.8xy 6 z 2 +2.8xy 5 z 2 − 2.2xy 4 z 2 +9.1y 4 z 2 − 5.9x 2 y 3 z 2 +0.9y 3 z 2 +9.5x 3 y 2 z 2 +
−2.5x 2 y 2 z 2 +6.9y 2 z 2 − 9.9x 5 yz 2 +4.7x 3 yz 2 +8.0x 2 yz 2 +1.5x 5 z 2 +5.2x 4 z 2 − 6.1x 3 z 2 − 7.7xz 2 +
6.9y 7 z − 2.2x 2 y 6 z +3.9y 5 z − 8.7xy 4 z +8.2x 4 y 3 z − 9.2x 2 y 3 z +2.1x 5 y 2 z +3.3xy 2 z − 1.9x 6 yz+
−9.6x 5 yz − 1.4x 3 yz − 4.1x 2 yz − 3.1yz +2.3x 5 z − 5.0x 2 z +7.1xz − 5.4xy 8 − 0.1x 2 y 6 − 2.8xy 5 − 5.1y 5 +
−9.4xy 4 +0.7x 3 y 2 + xy − 1.8x 8 − 4.3x 4
21 (5x 12 +5y 12 +5z 12 )+7.6yz 10 +8.4y 2 z 9 +4.1x 2 z 9 − 6.8x 2 yz 8 − 4.8x 3 z 8 +6.8xz 8 − 2.1y 4 z 7 +
−6.8y 3 z 7 +1.7x 3 yz 7 +4.9x 2 yz 7 − 0.3yz 7 − 0.4x 3 z 7 − 7.1y 5 z 6 +4.1y 4 z 6 − 1.3x 2 y 3 z 6 − 3.1x 3 y 2 z 6 +
−8.8x 2 y 2 z 6 − 6.8x 4 yz 6 +5.9yz 6 − 2.5x 4 z 6 +2.2y 6 z 5 +5.2x 2 y 4 z 5 +4.1x 3 y 3 z 5 +10.0xy 3 z 5 +
−0.7x 3 y 2 z 5 +9.3x 2 y 2 z 5 − 2.5xyz 5 − 6.7x 6 z 5 +4.7x 5 z 5 +4.3xy 3 z 4 +3.3y 3 z 4 − 9.1x 2 y 2 z 4 +7.3y 2 z 4 +
−5.2x 6 yz 4 − 0.3x 4 yz 4 − 9.3x 6 z 4 +0.0x 2 z 4 − 1.9x 2 y 6 z 3 − 6.9xy 6 z 3 − 2.8xy 5 z 3 − 5.0x 4 y 4 z 3 +
−0.5x 3 y 4 z 3 − 5.5x 5 y 3 z 3 +6.9xy 3 z 3 − 1.2x 4 y 2 z 3 +7.5x 7 yz 3 − 0.9x 6 yz 3 +3.1x 2 yz 3 +8.7x 3 z 3 +
5.0z 3 − 2.0y 8 z 2 +3.2y 7 z 2 +8.8x 2 y 6 z 2 − 0.1y 6 z 2 − 1.9x 3 y 5 z 2 − 7.4y 5 z 2 +1.2x 3 y 4 z 2 +8.1y 4 z 2 +
−6.7x 6 y 3 z 2 +8.1x 5 y 3 z 2 +6.9x 2 y 3 z 2 +4.7x 6 y 2 z 2 +8.2x 5 y 2 z 2 − 0.9xyz 2 +4.4yz 2 +9.6x 9 z 2 +
8.6x 6 z 2 + xy 9 z − 4.5y 8 z − 2.1x 3 y 7 z − 5.1x 2 y 7 z − 6.9x 4 y 6 z − 1.9x 3 y 6 z +5.1xy 6 z +0.0x 3 y 5 z+
+2.2x 2 y 5 z +6.8xy 5 z +1.2y 5 z +9.5x 4 y 4 z +1.1x 6 y 3 z +3.3x 3 y 3 z +6.1x 2 y 3 z +9.9x 8 y 2 z +6.9x 6 y 2 z+
−2.1y 2 z +6.4x 7 yz +8.4x 2 yz +8.7x 5 z +9.8x 4 z − 1.1x 2 z − 4.6xy 9 +7.6y 9 − 4.6xy 8 − 5.5x 4 y 7 +
1.9x 2 y 7 +6.5y 7 − 1.6x 5 y 6 − 0.8xy 6 − 3.8x 5 y 5 +9.7x 2 y 5 − 8.0y 5 +3.8x 3 y 4 +1.7x 4 y 2 +
8.4x 2 y 2 − 2.2y 2 +3.6x 10 y − 3.3x 5 y − 6.8xy +2.6y − 8.9x 10 +8.4x 9 − 9.8x 4
22 (5x 12 +5y 12 +5z 12 )+8.3z 10 +0.1y 2 z 9 − 5.7xyz 9 − 0.4xz 9 +1.9z 9 +7.5x 2 yz 8 − 2.2xz 8 +
2.5y 4 z 7 − 6.7y 3 z 7 − 0.1x 3 yz 7 +1.9z 7 − 3.3y 5 z 6 +1.1xy 3 z 6 − 0.7x 3 y 2 z 6 +4.4y 2 z 6 +7.0x 4 yz 6 +
−3.8x 5 z 6 +4.0x 2 z 6 +4.9xz 6 +2.0xy 4 z 5 − 2.0y 4 z 5 +5.5x 4 yz 5 +8.4xyz 5 − 8.8yz 5 +9.9y 5 z 4 +
6.6x 2 y 4 z 4 − 7.2xy 4 z 4 +6.5x 3 y 3 z 4 +6.1xy 3 z 4 +5.4x 2 y 2 z 4 +3.6xy 2 z 4 +9.4y 2 z 4 − 0.4x 4 yz 4 +
6.8x 3 yz 4 − 4.9xyz 4 − 6.2yz 4 +2.2x 6 z 4 − 4.9x 5 z 4 − 9.7x 4 z 4 +6.8z 4 +3.7x 3 y 4 z 3 − 7.3xy 4 z 3 +
−1.8y 4 z 3 6.2x 3 y 2 z 3 − 6.2x 4 yz 3 +0.3yz 3 +6.7x 8 z 3 − 6.4x 4 z 3 +4.0x 3 z 3 − 5.1z 3 +9.4xy 7 z 2 +9.2y 6 z 2 +
−7.6x 3 y 5 z 2 − 9.0x 5 y 4 z 2 +7.4x 4 y 4 z 2 − 7.1xy 4 z 2 − 7.5x 6 y 3 z 2 − 9.2x 5 y 3 z 2 +1.4xy 3 z 2 +0.8y 3 z 2 +
0.6x 3 y 2 z 2 − 7.1xy 2 z 2 − 4.3y 2 z 2 +8.2x 7 yz 2 +6.1xyz 2 +7.0yz 2 +8.7x 9 z 2 +9.9x 8 z 2 +5.7x 6 z 2 +
−3.3x 4 y 6 z − 2.3x 3 y 6 z +5.5y 6 z +4.2x 4 y 5 z +2.4xy 5 z +1.1x 5 y 4 z − 6.7x 7 y 3 z +3.0x 6 y 3 z +6.7x 4 y 3 z+
−5.4y 3 z − 6.3x 5 y 2 z − 1.9xy 2 z − 0.3x 8 yz − 8.9x 5 yz +3.8x 5 z +1.1x 4 z +5.0z +3.2x 2 y 8 − 3.3xy 7 +
7.7xy 6 +9.4x 6 y 5 +1.4x 5 y 5 − 4.5x 2 y 5 − 5.2x 7 y 4 +3.9x 6 y 4 − 6.4x 5 y 4 +7.0x 8 y 3 − 5.6x 7 y 3 − 6.0x 5 y 3 +
−2.1x 2 y 3 +9.5x 9 y 2 +9.3x 2 y 2 − 0.3xy 2 +5.3x 10 y − 9.9x 9 y +2.7x 7 y +1.7x 3 y − 2.9y +2.7x 7 − 4.0x 5