Advertisement
JoelSjogren

Untitled

Aug 13th, 2020
258
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 7.88 KB | None | 0 0
  1. P(A,B,C,D,E,F) = r0 + r1*F + ... + r32*F^32
  2. where
  3. r0 = A^16 - 32*A^14*B + 448*A^12*B^2 - 3584*A^10*B^3 - 256*A^12*D + 17920*A^8*B^4 + 6144*A^10*B*D - 4096*A^11*E - 57344*A^6*B^5 - 61440*A^8*B^2*D + 81920*A^9*B*E + 114688*A^4*B^6 + 327680*A^6*B^3*D + 24576*A^8*D^2 - 655360*A^7*B^2*E - 32768*A^8*C*E - 131072*A^2*B^7 - 983040*A^4*B^4*D - 393216*A^6*B*D^2 + 2621440*A^5*B^3*E + 524288*A^6*B*C*E + 524288*A^7*D*E + 65536*B^8 + 1572864*A^2*B^5*D + 2359296*A^4*B^2*D^2 - 5242880*A^3*B^4*E - 3145728*A^4*B^2*C*E - 6291456*A^5*B*D*E + 4194304*A^6*E^2 - 1048576*B^6*D - 6291456*A^2*B^3*D^2 - 1048576*A^4*D^3 + 4194304*A*B^5*E + 8388608*A^2*B^3*C*E + 25165824*A^3*B^2*D*E + 4194304*A^4*C*D*E - 33554432*A^4*B*E^2 + 6291456*B^4*D^2 + 8388608*A^2*B*D^3 - 8388608*B^4*C*E - 33554432*A*B^3*D*E - 33554432*A^2*B*C*D*E - 16777216*A^3*D^2*E + 67108864*A^2*B^2*E^2 + 67108864*A^3*C*E^2 - 16777216*B^2*D^3 + 67108864*B^2*C*D*E + 67108864*A*B*D^2*E - 268435456*A*B*C*E^2 + 16777216*D^4 - 134217728*C*D^2*E + 268435456*C^2*E^2
  4. r1 = 0
  5. r2 = -16*A^15 + 448*A^13*B - 5376*A^11*B^2 - 256*A^12*C + 35840*A^9*B^3 + 6144*A^10*B*C - 1024*A^11*D - 143360*A^7*B^4 - 61440*A^8*B^2*C + 20480*A^9*B*D - 86016*A^10*E + 344064*A^5*B^5 + 327680*A^6*B^3*C - 163840*A^7*B^2*D + 16384*A^8*C*D + 1294336*A^8*B*E - 458752*A^3*B^6 - 983040*A^4*B^4*C + 655360*A^5*B^3*D - 262144*A^6*B*C*D + 327680*A^7*D^2 - 6946816*A^6*B^2*E - 2359296*A^7*C*E + 262144*A*B^7 + 1572864*A^2*B^5*C - 1310720*A^3*B^4*D + 1572864*A^4*B^2*C*D - 3932160*A^5*B*D^2 + 14155776*A^4*B^3*E + 28311552*A^5*B*C*E - 3670016*A^6*D*E - 1048576*B^6*C + 1048576*A*B^5*D - 4194304*A^2*B^3*C*D + 15728640*A^3*B^2*D^2 + 1048576*A^4*C*D^2 - 1048576*A^2*B^4*E - 113246208*A^3*B^2*C*E - 12582912*A^4*C^2*E + 39845888*A^4*B*D*E - 33554432*A^5*E^2 + 4194304*B^4*C*D - 20971520*A*B^3*D^2 - 8388608*A^2*B*C*D^2 - 12582912*A^3*D^3 - 20971520*B^5*E + 150994944*A*B^3*C*E + 100663296*A^2*B*C^2*E - 142606336*A^2*B^2*D*E + 16777216*A^3*C*D*E + 201326592*A^3*B*E^2 + 16777216*B^2*C*D^2 + 50331648*A*B*D^3 - 201326592*B^2*C^2*E + 167772160*B^3*D*E - 67108864*A*B*C*D*E + 50331648*A^2*D^2*E - 268435456*A*B^2*E^2 - 201326592*A^2*C*E^2 - 67108864*C*D^3 + 268435456*C^2*D*E - 335544320*B*D^2*E + 268435456*B*C*E^2 + 536870912*A*D*E^2 - 1073741824*E^3
  6. r3 = 0
  7. r4 = 120*A^14 - 2912*A^12*B + 29568*A^10*B^2 + 3072*A^11*C - 161280*A^8*B^3 - 61440*A^9*B*C + 19968*A^10*D + 501760*A^6*B^4 + 491520*A^7*B^2*C + 24576*A^8*C^2 - 329728*A^8*B*D + 528384*A^9*E - 860160*A^4*B^5 - 1966080*A^5*B^3*C - 393216*A^6*B*C^2 + 2080768*A^6*B^2*D + 393216*A^7*C*D - 7536640*A^7*B*E + 688128*A^2*B^6 + 3932160*A^3*B^4*C + 2359296*A^4*B^2*C^2 - 6094848*A^4*B^3*D - 4718592*A^5*B*C*D + 2260992*A^6*D^2 + 39714816*A^5*B^2*E + 2752512*A^6*C*E - 131072*B^7 - 3145728*A*B^5*C - 6291456*A^2*B^3*C^2 + 7733248*A^2*B^4*D + 18874368*A^3*B^2*C*D + 1048576*A^4*C^2*D - 16384000*A^4*B*D^2 - 91226112*A^3*B^3*E - 31981568*A^4*B*C*E - 9961472*A^5*D*E + 6291456*B^4*C^2 - 2621440*B^5*D - 25165824*A*B^3*C*D - 8388608*A^2*B*C^2*D + 22544384*A^2*B^2*D^2 + 29360128*A^3*C*D^2 + 76546048*A*B^4*E + 123731968*A^2*B^2*C*E - 33554432*A^3*C^2*E + 71303168*A^3*B*D*E + 155189248*A^4*E^2 + 16777216*B^2*C^2*D + 27262976*B^3*D^2 - 117440512*A*B*C*D^2 + 10485760*A^2*D^3 - 159383552*B^3*C*E + 134217728*A*B*C^2*E - 125829120*A*B^2*D*E - 75497472*A^2*C*D*E - 805306368*A^2*B*E^2 + 100663296*C^2*D^2 - 58720256*B*D^3 - 134217728*C^3*E + 100663296*B*C*D*E + 352321536*A*D^2*E + 1006632960*B^2*E^2 + 201326592*A*C*E^2 - 1610612736*D*E^2
  8. r5 = 0
  9. r6 = -560*A^13 + 11648*A^11*B - 98560*A^9*B^2 - 16896*A^10*C + 430080*A^7*B^3 + 276480*A^8*B*C - 87040*A^9*D - 1003520*A^5*B^4 - 1720320*A^6*B^2*C - 196608*A^7*C^2 + 1163264*A^7*B*D - 765952*A^8*E + 1146880*A^3*B^5 + 4915200*A^4*B^3*C + 2359296*A^5*B*C^2 - 5603328*A^5*B^2*D - 2162688*A^6*C*D + 12255232*A^6*B*E - 458752*A*B^6 - 5898240*A^2*B^4*C - 9437184*A^3*B^2*C^2 - 1048576*A^4*C^3 + 11272192*A^3*B^3*D + 19136512*A^4*B*C*D - 5046272*A^5*D^2 - 66191360*A^4*B^2*E + 5505024*A^5*C*E + 1572864*B^5*C + 12582912*A*B^3*C^2 + 8388608*A^2*B*C^3 - 7602176*A*B^4*D - 49283072*A^2*B^2*C*D - 20971520*A^3*C^2*D + 45613056*A^3*B*D^2 + 137363456*A^2*B^3*E + 2097152*A^3*B*C*E - 26738688*A^4*D*E - 16777216*B^2*C^3 + 29360128*B^3*C*D + 83886080*A*B*C^2*D - 101711872*A*B^2*D^2 - 27262976*A^2*C*D^2 - 78643200*B^4*E - 96468992*A*B^2*C*E + 41943040*A^2*C^2*E + 113246208*A^2*B*D*E - 167772160*A^3*E^2 - 67108864*C^3*D + 125829120*B*C*D^2 + 20971520*A*D^3 + 33554432*B*C^2*E + 41943040*B^2*D*E - 184549376*A*C*D*E + 335544320*A*B*E^2 - 520093696*D^2*E + 469762048*C*E^2
  10. r7 = 0
  11. r8 = 1820*A^12 - 32032*A^10*B + 221760*A^8*B^2 + 56320*A^9*C - 752640*A^6*B^3 - 737280*A^7*B*C + 180480*A^8*D + 1254400*A^4*B^4 + 3440640*A^5*B^2*C + 688128*A^6*C^2 - 1921024*A^6*B*D - 1220608*A^7*E - 860160*A^2*B^5 - 6553600*A^3*B^3*C - 5898240*A^4*B*C^2 + 6840320*A^4*B^2*D + 3801088*A^5*C*D + 1933312*A^5*B*E + 114688*B^6 + 3932160*A*B^4*C + 14155776*A^2*B^2*C^2 + 4194304*A^3*C^3 - 8716288*A^2*B^3*D - 24117248*A^3*B*C*D - 5095424*A^4*D^2 + 29491200*A^3*B^2*E - 13303808*A^4*C*E - 6291456*B^3*C^2 - 16777216*A*B*C^3 + 2162688*B^4*D + 35651584*A*B^2*C*D + 23068672*A^2*C^2*D + 6684672*A^2*B*D^2 - 70778880*A*B^3*E - 4718592*A^2*B*C*E + 60293120*A^3*D*E + 16777216*C^4 - 75497472*B*C^2*D + 61079552*B^2*D^2 - 37748736*A*C*D^2 + 156237824*B^2*C*E - 67108864*A*C^2*E - 299892736*A*B*D*E + 381681664*A^2*E^2 - 17825792*D^3 + 507510784*C*D*E - 771751936*B*E^2
  12. r9 = 0
  13. r10 = -4368*A^11 + 64064*A^9*B - 354816*A^7*B^2 - 126720*A^8*C + 903168*A^5*B^3 + 1290240*A^6*B*C - 165888*A^7*D - 1003520*A^3*B^4 - 4300800*A^4*B^2*C - 1376256*A^5*C^2 + 1433600*A^5*B*D + 5562368*A^6*E + 344064*A*B^5 + 4915200*A^2*B^3*C + 7864320*A^3*B*C^2 - 3768320*A^3*B^2*D - 1474560*A^4*C*D - 30638080*A^4*B*E - 983040*B^4*C - 9437184*A*B^2*C^2 - 6291456*A^2*C^3 + 2752512*A*B^3*D + 8650752*A^2*B*C*D + 12779520*A^3*D^2 + 29491200*A^2*B^2*E + 27525120*A^3*C*E + 8388608*B*C^3 - 6815744*B^2*C*D + 12582912*A*C^2*D - 62652416*A*B*D^2 + 7864320*B^3*E - 13631488*A*B*C*E - 11010048*A^2*D*E + 34603008*C*D^2 - 62914560*C^2*E + 81788928*B*D*E - 201326592*A*E^2
  14. r11 = 0
  15. r12 = 8008*A^10 - 96096*A^8*B + 413952*A^6*B^2 + 202752*A^7*C - 752640*A^4*B^3 - 1548288*A^5*B*C - 64512*A^6*D + 501760*A^2*B^4 + 3440640*A^3*B^2*C + 1720320*A^4*C^2 + 143360*A^4*B*D - 7856128*A^5*E - 57344*B^5 - 1966080*A*B^3*C - 5898240*A^2*B*C^2 + 245760*A^2*B^2*D - 3538944*A^3*C*D + 42532864*A^3*B*E + 2359296*B^2*C^2 + 4194304*A*C^3 - 196608*B^3*D + 3670016*A*B*C*D + 1212416*A^2*D^2 - 34996224*A*B^2*E - 48627712*A^2*C*E - 15728640*C^2*D + 31064064*B*D^2 + 19398656*B*C*E + 16252928*A*D*E + 130023424*E^2
  16. r13 = 0
  17. r14 = -11440*A^9 + 109824*A^7*B - 354816*A^5*B^2 - 236544*A^6*C + 430080*A^3*B^3 + 1290240*A^4*B*C + 374784*A^5*D - 143360*A*B^4 - 1720320*A^2*B^2*C - 1376256*A^3*C^2 - 1196032*A^3*B*D + 5021696*A^4*E + 327680*B^3*C + 2359296*A*B*C^2 + 622592*A*B^2*D + 5177344*A^2*C*D - 27852800*A^2*B*E - 1048576*C^3 - 2359296*B*C*D - 11206656*A*D^2 + 10092544*B^2*E + 40632320*A*C*E - 25690112*D*E
  18. r15 = 0
  19. r16 = 12870*A^8 - 96096*A^6*B + 221760*A^4*B^2 + 202752*A^5*C - 161280*A^2*B^3 - 737280*A^3*B*C - 495360*A^4*D + 17920*B^4 + 491520*A*B^2*C + 688128*A^2*C^2 + 997376*A^2*B*D - 544768*A^3*E - 393216*B*C^2 - 192512*B^2*D - 2752512*A*C*D + 9125888*A*B*E + 4743168*D^2 - 12091392*C*E
  20. r17 = 0
  21. r18 = -11440*A^7 + 64064*A^5*B - 98560*A^3*B^2 - 126720*A^4*C + 35840*A*B^3 + 276480*A^2*B*C + 363520*A^3*D - 61440*B^2*C - 196608*A*C^2 - 372736*A*B*D - 1216512*A^2*E + 540672*C*D - 1196032*B*E
  22. r19 = 0
  23. r20 = 8008*A^6 - 32032*A^4*B + 29568*A^2*B^2 + 56320*A^3*C - 3584*B^3 - 61440*A*B*C - 160256*A^2*D + 24576*C^2 + 55296*B*D + 708608*A*E
  24. r21 = 0
  25. r22 = -4368*A^5 + 11648*A^3*B - 5376*A*B^2 - 16896*A^2*C + 6144*B*C + 39936*A*D - 126976*E
  26. r23 = 0
  27. r24 = 1820*A^4 - 2912*A^2*B + 448*B^2 + 3072*A*C - 4352*D
  28. r25 = 0
  29. r26 = -560*A^3 + 448*A*B - 256*C
  30. r27 = 0
  31. r28 = 120*A^2 - 32*B
  32. r29 = 0
  33. r30 = -16*A
  34. r31 = 0
  35. r32 = 1
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement