Advertisement
Guest User

Untitled

a guest
Jul 19th, 2018
64
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 21.53 KB | None | 0 0
  1. thread 'main' panicked at 'Ran out of primes for gcd images.
  2. gcd((-128)*x1^12*x2^19*x3+(896)*x1^14*x2^18*x3+(-768)*x1^16*x2^17*x3+(-4096)*x1^18*x2^16*x3+(4096)*x1^20*x2^15*x3,(-1797)*x1^4*x2^10+(-7188)*x1^4*x2^10*x3+(-24534)*x1^4*x2^11+(-98136)*x1^4*x2^11*x3+(-141084)*x1^4*x2^12+(-564336)*x1^4*x2^12*x3+(-360696)*x1^4*x2^13+(-1442784)*x1^4*x2^13*x3+(-428400)*x1^4*x2^14+(-1713600
  3. )*x1^4*x2^14*x3+(-524412)*x1^4*x2^15+(-2097648)*x1^4*x2^15*x3+(-24192)*x1^4*x2^16+(-96768)*x1^4*x2^16*x3+(-146880)*x1^4*x2^17+(-587520)*x1^4*x2^17*x3+(-5976)*x1^4*x2^18+(-23904)*x1^4*x2^18*x3+(-4161)*x1^4*x2^19+(-16644)*x1^4*x2^19*x3+(50316)*x1^6*x2^9+(208452)*x1^6*x2^9*x3+(646062)*x1^6*x2^10+(2693288)*x1^6*x2^10*x3+(
  4. 3519262)*x1^6*x2^11+(14782468)*x1^6*x2^11*x3+(8639528)*x1^6*x2^12+(36619232)*x1^6*x2^12*x3+(10091200)*x1^6*x2^13+(43220800)*x1^6*x2^13*x3+(12644156)*x1^6*x2^14+(54771920)*x1^6*x2^14*x3+(637056)*x1^6*x2^15+(2790144)*x1^6*x2^15*x3+(4683840)*x1^6*x2^16+(20693760)*x1^6*x2^16*x3+(273568)*x1^6*x2^17+(1213792)*x1^6*x2^17*x3+
  5. (386973)*x1^6*x2^18+(1714332)*x1^6*x2^18*x3+(4810)*x1^6*x2^19+(21164)*x1^6*x2^19*x3+(-612777)*x1^8*x2^8+(-2652372)*x1^8*x2^8*x3+(-7332940)*x1^8*x2^9+(-32221320)*x1^8*x2^9*x3+(-37536182)*x1^8*x2^10+(-167936988)*x1^8*x2^10*x3+(-87906768)*x1^8*x2^11+(-401610876)*x1^8*x2^11*x3+(-6576)*x1^8*x2^11*x3^2+(-100306800)*x1^8*x2^
  6. 12+(-469019370)*x1^8*x2^12*x3+(-256680)*x1^8*x2^12*x3^2+(-126907704)*x1^8*x2^13+(-607909224)*x1^8*x2^13*x3+(-1162080)*x1^8*x2^13*x3^2+(-6725376)*x1^8*x2^14+(-33221328)*x1^8*x2^14*x3+(-1087296)*x1^8*x2^14*x3^2+(-54541440)*x1^8*x2^15+(-273656916)*x1^8*x2^15*x3+(-2623824)*x1^8*x2^15*x3^2+(-3742968)*x1^8*x2^16+(-19445352)
  7. *x1^8*x2^16*x3+(-1320480)*x1^8*x2^16*x3^2+(-6998802)*x1^8*x2^17+(-36778260)*x1^8*x2^17*x3+(-1511328)*x1^8*x2^17*x3^2+(-156806)*x1^8*x2^18+(-972492)*x1^8*x2^18*x3+(-588384)*x1^8*x2^18*x3^2+(-57440)*x1^8*x2^19+(-307878)*x1^8*x2^19*x3+(-25272)*x1^8*x2^19*x3^2+(-2660)*x1^8*x2^20*x3+(-10640)*x1^8*x2^20*x3^2+(4244514)*x1^10
  8. *x2^7+(19429164)*x1^10*x2^7*x3+(46739996)*x1^10*x2^8+(220010008)*x1^10*x2^8*x3+(222583524)*x1^10*x2^9+(1082647264)*x1^10*x2^9*x3+(494530570)*x1^10*x2^10+(2494308756)*x1^10*x2^10*x3+(197280)*x1^10*x2^10*x3^2+(550342750)*x1^10*x2^11+(2882778510)*x1^10*x2^11*x3+(7329640)*x1^10*x2^11*x3^2+(700649281)*x1^10*x2^12+(38089872
  9. 46)*x1^10*x2^12*x3+(31892640)*x1^10*x2^12*x3^2+(38289552)*x1^10*x2^13+(222085648)*x1^10*x2^13*x3+(29149888)*x1^10*x2^13*x3^2+(331271610)*x1^10*x2^14+(1940901508)*x1^10*x2^14*x3+(70551712)*x1^10*x2^14*x3^2+(24595112)*x1^10*x2^15+(157477528)*x1^10*x2^15*x3+(37120160)*x1^10*x2^15*x3^2+(52730256)*x1^10*x2^16+(343632616)*x
  10. 1^10*x2^16*x3+(47354944)*x1^10*x2^16*x3^2+(1215156)*x1^10*x2^17+(13905064)*x1^10*x2^17*x3+(22685472)*x1^10*x2^17*x3^2+(788365)*x1^10*x2^18+(6044714)*x1^10*x2^18*x3+(1409616)*x1^10*x2^18*x3^2+(48972)*x1^10*x2^19+(718956)*x1^10*x2^19*x3+(1202320)*x1^10*x2^19*x3^2+(-933)*x1^10*x2^20+(16794)*x1^10*x2^20*x3+(89568)*x1^10*x
  11. 2^20*x3^2+(-18343776)*x1^12*x2^6+(-90353160)*x1^12*x2^6*x3+(-182391208)*x1^12*x2^7+(-942280064)*x1^12*x2^7*x3+(-797908400)*x1^12*x2^8+(-4350748392)*x1^12*x2^8*x3+(-1679171448)*x1^12*x2^9+(-9670942804)*x1^12*x2^9*x3+(-2617248)*x1^12*x2^9*x3^2+(-1836415275)*x1^12*x2^10+(-11134371790)*x1^12*x2^10*x3+(-92148120)*x1^12*x2^
  12. 10*x3^2+(-2366395139)*x1^12*x2^11+(-15049381838)*x1^12*x2^11*x3+(-384228840)*x1^12*x2^11*x3^2+(-129278436)*x1^12*x2^12+(-939627840)*x1^12*x2^12*x3+(-342459408)*x1^12*x2^12*x3^2+(-1182248580)*x1^12*x2^13+(-8413088292)*x1^12*x2^13*x3+(-828628608)*x1^12*x2^13*x3^2+(-85421484)*x1^12*x2^14+(-750597912)*x1^12*x2^14*x3+(-450
  13. 283680)*x1^12*x2^14*x3^2+(-197491050)*x1^12*x2^15+(-1752052500)*x1^12*x2^15*x3+(-617377488)*x1^12*x2^15*x3^2+(599936)*x1^12*x2^16+(-93695632)*x1^12*x2^16*x3+(-333711792)*x1^12*x2^16*x3^2+(-3588120)*x1^12*x2^17+(-44188234)*x1^12*x2^17*x3+(-25052976)*x1^12*x2^17*x3^2+(235746)*x1^12*x2^18+(-8318156)*x1^12*x2^18*x3+(-2922
  14. 8080)*x1^12*x2^18*x3^2+(96099)*x1^12*x2^19+(-375066)*x1^12*x2^19*x3+(-4052952)*x1^12*x2^19*x3^2+(26690)*x1^12*x2^20+(-106760)*x1^12*x2^20*x3+(-1131656)*x1^12*x2^20*x3^2+(51006048)*x1^14*x2^5+(277399296)*x1^14*x2^5*x3+(444010880)*x1^14*x2^6+(2616916384)*x1^14*x2^6*x3+(1757216896)*x1^14*x2^7+(11269350992)*x1^14*x2^7*x3+
  15. (3540311634)*x1^14*x2^8+(24379409660)*x1^14*x2^8*x3+(20201472)*x1^14*x2^8*x3^2+(3892285685)*x1^14*x2^9+(28376628170)*x1^14*x2^9*x3+(670248520)*x1^14*x2^9*x3^2+(5110313148)*x1^14*x2^10+(39456481728)*x1^14*x2^10*x3+(2670588960)*x1^14*x2^10*x3^2+(247157404)*x1^14*x2^11+(2624585232)*x1^14*x2^11*x3+(2321027472)*x1^14*x2^11
  16. *x3^2+(2514541038)*x1^14*x2^12+(23452336892)*x1^14*x2^12*x3+(5616524336)*x1^14*x2^12*x3^2+(128129652)*x1^14*x2^13+(2204529448)*x1^14*x2^13*x3+(3137313760)*x1^14*x2^13*x3^2+(346534668)*x1^14*x2^14+(5303719384)*x1^14*x2^14*x3+(4544203456)*x1^14*x2^14*x3^2+(-61135376)*x1^14*x2^15+(289277080)*x1^14*x2^15*x3+(2670250032)*x
  17. 1^14*x2^15*x3^2+(1198525)*x1^14*x2^16+(147634646)*x1^14*x2^16*x3+(225954144)*x1^14*x2^16*x3^2+(-9360638)*x1^14*x2^17+(24728900)*x1^14*x2^17*x3+(313762960)*x1^14*x2^17*x3^2+(-1873464)*x1^14*x2^18+(-350808)*x1^14*x2^18*x3+(57174240)*x1^14*x2^18*x3^2+(-955502)*x1^14*x2^19+(-725968)*x1^14*x2^19*x3+(27266504)*x1^14*x2^19*x
  18. 3^2+(-139840)*x1^14*x2^20+(-174800)*x1^14*x2^20*x3+(3705760)*x1^14*x2^20*x3^2+(-90626304)*x1^16*x2^4+(-566529408)*x1^16*x2^4*x3+(-651971968)*x1^16*x2^5+(-4693430528)*x1^16*x2^5*x3+(-2299481088)*x1^16*x2^6+(-18780098816)*x1^16*x2^6*x3+(-4643273284)*x1^16*x2^7+(-40456448336)*x1^16*x2^7*x3+(-100435248)*x1^16*x2^7*x3^2+(-
  19. 5308220380)*x1^16*x2^8+(-48627106080)*x1^16*x2^8*x3+(-3117121920)*x1^16*x2^8*x3^2+(-6926076926)*x1^16*x2^9+(-69447775160)*x1^16*x2^9*x3+(-11839755240)*x1^16*x2^9*x3^2+(-129367496)*x1^16*x2^10+(-4676818912)*x1^16*x2^10*x3+(-10061397088)*x1^16*x2^10*x3^2+(-2891188548)*x1^16*x2^11+(-42326421768)*x1^16*x2^11*x3+(-24458037
  20. 888)*x1^16*x2^11*x3^2+(149367504)*x1^16*x2^12+(-3732615104)*x1^16*x2^12*x3+(-14044960640)*x1^16*x2^12*x3^2+(87763804)*x1^16*x2^13+(-9128184176)*x1^16*x2^13*x3+(-21286227248)*x1^16*x2^13*x3^2+(428618808)*x1^16*x2^14+(107540032)*x1^16*x2^14*x3+(-13294405728)*x1^16*x2^14*x3^2+(46432046)*x1^16*x2^15+(-156826680)*x1^16*x2^
  21. 15*x3+(-1218540024)*x1^16*x2^15*x3^2+(68923624)*x1^16*x2^16+(112458752)*x1^16*x2^16*x3+(-1886174080)*x1^16*x2^16*x3^2+(14761926)*x1^16*x2^17+(40029432)*x1^16*x2^17*x3+(-403018680)*x1^16*x2^17*x3^2+(9298796)*x1^16*x2^18+(31558256)*x1^16*x2^18*x3+(-248494576)*x1^16*x2^18*x3^2+(2097600)*x1^16*x2^19+(9054640)*x1^16*x2^19*
  22. x3+(-55027040)*x1^16*x2^19*x3^2+(63904)*x1^16*x2^20+(383424)*x1^16*x2^20*x3+(-1533696)*x1^16*x2^20*x3^2+(98446848)*x1^18*x2^3+(756292608)*x1^18*x2^3*x3+(509434880)*x1^18*x2^4+(5195537920)*x1^18*x2^4*x3+(1617261568)*x1^18*x2^5+(19416168192)*x1^18*x2^5*x3+(3758786752)*x1^18*x2^6+(43749737744)*x1^18*x2^6*x3+(336441312)*x
  23. 1^18*x2^6*x3^2+(4359961460)*x1^18*x2^7+(55062587920)*x1^18*x2^7*x3+(9667766640)*x1^18*x2^7*x3^2+(4871947004)*x1^18*x2^8+(79010770048)*x1^18*x2^8*x3+(34954398000)*x1^18*x2^8*x3^2+(-621308864)*x1^18*x2^9+(4145863920)*x1^18*x2^9*x3+(29250359328)*x1^18*x2^9*x3^2+(948045952)*x1^18*x2^10+(47489560896)*x1^18*x2^10*x3+(720487
  24. 07712)*x1^18*x2^10*x3^2+(-1202448016)*x1^18*x2^11+(1649103936)*x1^18*x2^11*x3+(42624214080)*x1^18*x2^11*x3^2+(-2173042776)*x1^18*x2^12+(4360928768)*x1^18*x2^12*x3+(67093823264)*x1^18*x2^12*x3^2+(-1572965088)*x1^18*x2^13+(-4454472944)*x1^18*x2^13*x3+(43826566752)*x1^18*x2^13*x3^2+(-185222880)*x1^18*x2^14+(-548429336)*x
  25. 1^18*x2^14*x3+(4245769008)*x1^18*x2^14*x3^2+(-255751384)*x1^18*x2^15+(-1145033568)*x1^18*x2^15*x3+(7056086240)*x1^18*x2^15*x3^2+(-59081292)*x1^18*x2^16+(-311159232)*x1^18*x2^16*x3+(1654455312)*x1^18*x2^16*x3^2+(-40910432)*x1^18*x2^17+(-264529928)*x1^18*x2^17*x3+(1160395792)*x1^18*x2^17*x3^2+(-11047360)*x1^18*x2^18+(-8
  26. 9707360)*x1^18*x2^18*x3+(322051520)*x1^18*x2^18*x3^2+(-447328)*x1^18*x2^19+(-4984512)*x1^18*x2^19*x3+(15336960)*x1^18*x2^19*x3^2+(-128)*x1^18*x2^20*x3+(256)*x1^18*x2^20*x3^2+(-58884096)*x1^20*x2^2+(-629323776)*x1^20*x2^2*x3+(-114448384)*x1^20*x2^3+(-3092897792)*x1^20*x2^3*x3+(-465514496)*x1^20*x2^4+(-11260635136)*x1^2
  27. 0*x2^4*x3+(-1726696640)*x1^20*x2^5+(-29159561344)*x1^20*x2^5*x3+(-772075008)*x1^20*x2^5*x3^2+(-1100723040)*x1^20*x2^6+(-36697595280)*x1^20*x2^6*x3+(-20221250400)*x1^20*x2^6*x3^2+(233220928)*x1^20*x2^7+(-49672794784)*x1^20*x2^7*x3+(-69624861120)*x1^20*x2^7*x3^2+(1827206848)*x1^20*x2^8+(2274294240)*x1^20*x2^8*x3+(-58154
  28. 958528)*x1^20*x2^8*x3^2+(2205726816)*x1^20*x2^9+(-26595449280)*x1^20*x2^9*x3+(-146868173568)*x1^20*x2^9*x3^2+(3057189376)*x1^20*x2^10+(8920243264)*x1^20*x2^10*x3+(-89632924800)*x1^20*x2^10*x3^2+(5996967552)*x1^20*x2^11+(19794057536)*x1^20*x2^11*x3+(-145623217792)*x1^20*x2^11*x3^2+(3477598528)*x1^20*x2^12+(18125557536)
  29. *x1^20*x2^12*x3+(-98535622464)*x1^20*x2^12*x3^2+(360686560)*x1^20*x2^13+(2633469376)*x1^20*x2^13*x3+(-9932682240)*x1^20*x2^13*x3^2+(563536960)*x1^20*x2^14+(4221351904)*x1^20*x2^14*x3+(-17170874560)*x1^20*x2^14*x3^2+(131784384)*x1^20*x2^15+(1171101600)*x1^20*x2^15*x3+(-4168673856)*x1^20*x2^15*x3^2+(88738912)*x1^20*x2^1
  30. 6+(1031173488)*x1^20*x2^16*x3+(-3043172448)*x1^20*x2^16*x3^2+(19997120)*x1^20*x2^17+(361066880)*x1^20*x2^17*x3+(-908400640)*x1^20*x2^17*x3^2+(383424)*x1^20*x2^18+(22749824)*x1^20*x2^18*x3+(-50100736)*x1^20*x2^18*x3^2+(896)*x1^20*x2^19*x3+(-1792)*x1^20*x2^19*x3^2+(14721024)*x1^22*x2+(294420480)*x1^22*x2*x3+(-89325568)*
  31. x1^22*x2^2+(457793536)*x1^22*x2^2*x3+(2520199168)*x1^22*x2^3*x3+(-41455104)*x1^22*x2^4+(8954175232)*x1^22*x2^4*x3+(1210194432)*x1^22*x2^4*x3^2+(-1812302400)*x1^22*x2^5+(5688936320)*x1^22*x2^5*x3+(28112962560)*x1^22*x2^5*x3^2+(-2804113088)*x1^22*x2^6+(3487447040)*x1^22*x2^6*x3+(92548051200)*x1^22*x2^6*x3^2+(-2462594944
  32. )*x1^22*x2^7+(-12258782208)*x1^22*x2^7*x3+(78940174848)*x1^22*x2^7*x3^2+(-5027927744)*x1^22*x2^8+(-8056603008)*x1^22*x2^8*x3+(206899267584)*x1^22*x2^8*x3^2+(-4530872832)*x1^22*x2^9+(-26335790848)*x1^22*x2^9*x3+(130246110720)*x1^22*x2^9*x3^2+(-8331005184)*x1^22*x2^10+(-57522233856)*x1^22*x2^10*x3+(218425758720)*x1^22*x
  33. 2^10*x3^2+(-4729825536)*x1^22*x2^11+(-38991169280)*x1^22*x2^11*x3+(153141972480)*x1^22*x2^11*x3^2+(-460512000)*x1^22*x2^12+(-5273057408)*x1^22*x2^12*x3+(15831099648)*x1^22*x2^12*x3^2+(-756461440)*x1^22*x2^13+(-8876598528)*x1^22*x2^13*x3+(27215928320)*x1^22*x2^13*x3^2+(-153041856)*x1^22*x2^14+(-2507665152)*x1^22*x2^14*
  34. x3+(6292928256)*x1^22*x2^14*x3^2+(-51415616)*x1^22*x2^15+(-2064140544)*x1^22*x2^15*x3+(4154928384)*x1^22*x2^15*x3^2+(15941760)*x1^22*x2^16+(-638229760)*x1^22*x2^16*x3+(1031459840)*x1^22*x2^16*x3^2+(2044928)*x1^22*x2^17+(-33996928)*x1^22*x2^17*x3+(43454720)*x1^22*x2^17*x3^2+(-768)*x1^22*x2^18*x3+(1536)*x1^22*x2^18*x3^2
  35. +(-58884096)*x1^24*x3+(44662784)*x1^24*x2+(446627840)*x1^24*x2*x3+(513671168)*x1^24*x2^2*x3+(678208512)*x1^24*x2^3+(2734718976)*x1^24*x2^3*x3+(-1267642368)*x1^24*x2^3*x3^2+(1864232960)*x1^24*x2^4+(13402891520)*x1^24*x2^4*x3+(-24679610880)*x1^24*x2^4*x3^2+(1464529408)*x1^24*x2^5+(19770394112)*x1^24*x2^5*x3+(-7855041024
  36. 0)*x1^24*x2^5*x3^2+(1917324800)*x1^24*x2^6+(17225530368)*x1^24*x2^6*x3+(-70958800896)*x1^24*x2^6*x3^2+(5631512576)*x1^24*x2^7+(32180901888)*x1^24*x2^7*x3+(-194440851456)*x1^24*x2^7*x3^2+(3858623488)*x1^24*x2^8+(37543026176)*x1^24*x2^8*x3+(-126908943360)*x1^24*x2^8*x3^2+(6361320448)*x1^24*x2^9+(77851691008)*x1^24*x2^9*
  37. x3+(-225046814720)*x1^24*x2^9*x3^2+(4106658816)*x1^24*x2^10+(50525704192)*x1^24*x2^10*x3+(-166542483456)*x1^24*x2^10*x3^2+(423221760)*x1^24*x2^11+(6285014016)*x1^24*x2^11*x3+(-17214971904)*x1^24*x2^11*x3^2+(553620480)*x1^24*x2^12+(11687656960)*x1^24*x2^12*x3+(-26570378240)*x1^24*x2^12*x3^2+(-11942400)*x1^24*x2^13+(292
  38. 4932608)*x1^24*x2^13*x3+(-4422509568)*x1^24*x2^13*x3^2+(-182431488)*x1^24*x2^14+(1663064576)*x1^24*x2^14*x3+(-710594560)*x1^24*x2^14*x3^2+(-85022720)*x1^24*x2^15+(102922240)*x1^24*x2^15*x3+(814428160)*x1^24*x2^15*x3^2+(-2044928)*x1^24*x2^16+(-41409792)*x1^24*x2^16*x3+(107358720)*x1^24*x2^16*x3^2+(-4096)*x1^24*x2^17*x3
  39. +(8192)*x1^24*x2^17*x3^2+(-178651136)*x1^26*x3+(-256835584)*x1^26*x2*x3+(-308346880)*x1^26*x2^2+(-3878883328)*x1^26*x2^2*x3+(845094912)*x1^26*x2^2*x3^2+(-489313280)*x1^26*x2^3+(-11901460480)*x1^26*x2^3*x3+(11784007680)*x1^26*x2^3*x3^2+(-103177216)*x1^26*x2^4+(-13783580672)*x1^26*x2^4*x3+(37533634560)*x1^26*x2^4*x3^2+(
  40. -813862912)*x1^26*x2^5+(-12837586944)*x1^26*x2^5*x3+(38083940352)*x1^26*x2^5*x3^2+(-2692966400)*x1^26*x2^6+(-33446274048)*x1^26*x2^6*x3+(107551795200)*x1^26*x2^6*x3^2+(-1433247744)*x1^26*x2^7+(-29665079296)*x1^26*x2^7*x3+(76349399040)*x1^26*x2^7*x3^2+(-3021504512)*x1^26*x2^8+(-57846724608)*x1^26*x2^8*x3+(160535851008)
  41. *x1^26*x2^8*x3^2+(-3115035648)*x1^26*x2^9+(-42350000128)*x1^26*x2^9*x3+(133086707712)*x1^26*x2^9*x3^2+(-289336320)*x1^26*x2^10+(-5289283584)*x1^26*x2^10*x3+(12877443072)*x1^26*x2^10*x3^2+(145725440)*x1^26*x2^11+(-9133035520)*x1^26*x2^11*x3+(11745198080)*x1^26*x2^11*x3^2+(308591616)*x1^26*x2^12+(-1003161600)*x1^26*x2^1
  42. 2*x3+(-2384658432)*x1^26*x2^12*x3^2+(341632000)*x1^26*x2^13+(1549642752)*x1^26*x2^13*x3+(-7198869504)*x1^26*x2^13*x3^2+(58173440)*x1^26*x2^14+(1651230720)*x1^26*x2^14*x3+(-4000542720)*x1^26*x2^14*x3^2+(163594240)*x1^26*x2^15*x3+(-327188480)*x1^26*x2^15*x3^2+(4096)*x1^26*x2^16*x3+(-8192)*x1^26*x2^16*x3^2+(6733824)*x1^2
  43. 8*x2+(1246855168)*x1^28*x2*x3+(-323223552)*x1^28*x2*x3^2+(-87613440)*x1^28*x2^2+(3257405440)*x1^28*x2^2*x3+(-1197383680)*x1^28*x2^2*x3^2+(-132218880)*x1^28*x2^3+(2445811712)*x1^28*x2^3*x3+(-5487083520)*x1^28*x2^3*x3^2+(4622114816)*x1^28*x2^4*x3+(-6985203712)*x1^28*x2^4*x3^2+(-597065728)*x1^28*x2^5+(14454161408)*x1^28*
  44. x2^5*x3+(-14670757888)*x1^28*x2^5*x3^2+(-134144000)*x1^28*x2^6+(9920643072)*x1^28*x2^6*x3+(-21141094400)*x1^28*x2^6*x3^2+(2137161728)*x1^28*x2^7+(24341626880)*x1^28*x2^7*x3+(-88065802240)*x1^28*x2^7*x3^2+(2635960320)*x1^28*x2^8+(28510212096)*x1^28*x2^8*x3+(-89856958464)*x1^28*x2^8*x3^2+(66134016)*x1^28*x2^9+(363737088
  45. 0)*x1^28*x2^9*x3+(-6826180608)*x1^28*x2^9*x3^2+(-768122880)*x1^28*x2^10+(2571304960)*x1^28*x2^10*x3+(5905285120)*x1^28*x2^10*x3^2+(-336297984)*x1^28*x2^11+(-2315870208)*x1^28*x2^11*x3+(8667316224)*x1^28*x2^11*x3^2+(-163983360)*x1^28*x2^12+(-5225603072)*x1^28*x2^12*x3+(12419006464)*x1^28*x2^12*x3^2+(-2470133760)*x1^28*
  46. x2^13*x3+(4940267520)*x1^28*x2^13*x3^2+(-106336256)*x1^28*x2^14*x3+(212672512)*x1^28*x2^14*x3^2+(-26935296)*x1^30*x3+(53870592)*x1^30*x3^2+(58408960)*x1^30*x2+(350453760)*x1^30*x2*x3+(-1401815040)*x1^30*x2*x3^2+(66109440)*x1^30*x2^2+(1057751040)*x1^30*x2^2*x3+(-2908815360)*x1^30*x2^2*x3^2+(238583808)*x1^30*x2^3+(47716
  47. 7616)*x1^30*x2^3*x3+(-5089787904)*x1^30*x2^3*x3^2+(1151483904)*x1^30*x2^4+(4350050304)*x1^30*x2^4*x3+(-24564989952)*x1^30*x2^4*x3^2+(85852160)*x1^30*x2^5+(2253619200)*x1^30*x2^5*x3+(-3477012480)*x1^30*x2^5*x3^2+(-1842380800)*x1^30*x2^6+(-10722656256)*x1^30*x2^6*x3+(47091253248)*x1^30*x2^6*x3^2+(-1305427968)*x1^30*x2^7
  48. +(-21188100096)*x1^30*x2^7*x3+(56434655232)*x1^30*x2^7*x3^2+(86261760)*x1^30*x2^8+(-1949515776)*x1^30*x2^8*x3+(2587852800)*x1^30*x2^8*x3^2+(544768000)*x1^30*x2^9+(3159654400)*x1^30*x2^9*x3+(-12856524800)*x1^30*x2^9*x3^2+(107003904)*x1^30*x2^10+(3714564096)*x1^30*x2^10*x3+(-8713175040)*x1^30*x2^10*x3^2+(4504076288)*x1^
  49. 30*x2^11*x3+(-9008152576)*x1^30*x2^11*x3^2+(1073971200)*x1^30*x2^12*x3+(-2147942400)*x1^30*x2^12*x3^2+(-233635840)*x1^32*x3+(467271680)*x1^32*x3^2+(-528875520)*x1^32*x2*x3+(1057751040)*x1^32*x2*x3^2+(-106037248)*x1^32*x2^2+(-1272446976)*x1^32*x2^2*x3+(3817340928)*x1^32*x2^2*x3^2+(-341180416)*x1^32*x2^3+(-6823608320)*x
  50. 1^32*x2^3*x3+(17741381632)*x1^32*x2^3*x3^2+(85852160)*x1^32*x2^4+(-2489712640)*x1^32*x2^4*x3+(3949199360)*x1^32*x2^4*x3^2+(589561856)*x1^32*x2^5+(7959085056)*x1^32*x2^5*x3+(-22992912384)*x1^32*x2^5*x3^2+(133890048)*x1^32*x2^6+(12183994368)*x1^32*x2^6*x3+(-25974669312)*x1^32*x2^6*x3^2+(-46006272)*x1^32*x2^7+(460062720)
  51. *x1^32*x2^7*x3+(-368050176)*x1^32*x2^7*x3^2+(-87162880)*x1^32*x2^8+(-3660840960)*x1^32*x2^8*x3+(8367636480)*x1^32*x2^8*x3^2+(-1956642816)*x1^32*x2^9*x3+(3913285632)*x1^32*x2^9*x3^2+(-1224409088)*x1^32*x2^10*x3+(2448818176)*x1^32*x2^10*x3^2+(424148992)*x1^34*x2*x3+(-848297984)*x1^34*x2*x3^2+(2047082496)*x1^34*x2^2*x3+(
  52. -4094164992)*x1^34*x2^2*x3^2+(343408640)*x1^34*x2^3*x3+(-686817280)*x1^34*x2^3*x3^2+(-2947809280)*x1^34*x2^4*x3+(5895618560)*x1^34*x2^4*x3^2+(-2677800960)*x1^34*x2^5*x3+(5355601920)*x1^34*x2^5*x3^2+(92012544)*x1^34*x2^6*x3+(-184025088)*x1^34*x2^6*x3^2+(1045954560)*x1^34*x2^7*x3+(-2091909120)*x1^34*x2^7*x3^2+(244580352
  53. )*x1^34*x2^8*x3+(-489160704)*x1^34*x2^8*x3^2)
  54. Attempt: (-256)*x1^4*x2^3*x3+(2304)*x1^6*x2^2*x3+(-6144)*x1^8*x2*x3+(4096)*x1^10*x3', src/poly/raw/gcd.rs:1429:21
  55. stack backtrace:
  56. 0: std::sys::unix::backtrace::tracing::imp::unwind_backtrace
  57. at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49
  58. 1: std::sys_common::backtrace::print
  59. at libstd/sys_common/backtrace.rs:71
  60. at libstd/sys_common/backtrace.rs:59
  61. 2: std::panicking::default_hook::{{closure}}
  62. at libstd/panicking.rs:211
  63. 3: std::panicking::default_hook
  64. at libstd/panicking.rs:227
  65. 4: std::panicking::rust_panic_with_hook
  66. at libstd/panicking.rs:463
  67. 5: std::panicking::begin_panic
  68. at /checkout/src/libstd/panicking.rs:397
  69. 6: <reform::poly::raw::multivar::MultivariatePolynomial<reform::number::Number, E> as reform::poly::raw::gcd::PolynomialGCD>::gcd
  70. at src/poly/raw/gcd.rs:1429
  71. at src/poly/raw/gcd.rs:1509
  72. 7: reform::poly::raw::gcd::<impl reform::poly::raw::multivar::MultivariatePolynomial<R, E>>::gcd
  73. at src/poly/raw/gcd.rs:1240
  74. 8: reform::poly::raw::gcd::<impl reform::poly::raw::multivar::MultivariatePolynomial<R, E>>::gcd
  75. at src/poly/raw/gcd.rs:1196
  76. 9: reform::poly::raw::gcd::<impl reform::poly::raw::multivar::MultivariatePolynomial<R, E>>::gcd_multiple
  77. at src/poly/raw/gcd.rs:1000
  78. 10: reform::poly::raw::gcd::<impl reform::poly::raw::multivar::MultivariatePolynomial<R, E>>::univariate_content_gcd
  79. at src/poly/raw/gcd.rs:1043
  80. 11: reform::poly::raw::gcd::<impl reform::poly::raw::multivar::MultivariatePolynomial<R, E>>::gcd
  81. at src/poly/raw/gcd.rs:1186
  82. 12: reform::poly::polynomial::Polynomial::gcd
  83. at src/poly/polynomial.rs:300
  84. 13: reform::normalize::merge_terms
  85. at src/normalize.rs:817
  86. 14: reform::sort::split_merge_rec
  87. at src/sort.rs:52
  88. at src/sort.rs:130
  89. 15: reform::sort::split_merge_rec
  90. at src/sort.rs:90
  91. 16: reform::sort::split_merge_rec
  92. at src/sort.rs:97
  93. 17: reform::sort::split_merge_rec
  94. at src/sort.rs:97
  95. 18: reform::sort::split_merge_rec
  96. at src/sort.rs:97
  97. 19: reform::sort::split_merge_rec
  98. at src/sort.rs:97
  99. 20: reform::sort::split_merge_rec
  100. at src/sort.rs:90
  101. 21: reform::sort::split_merge_rec
  102. at src/sort.rs:97
  103. 22: reform::sort::split_merge
  104. at src/sort.rs:23
  105. 23: reform::normalize::<impl reform::structure::Element>::normalize_inplace
  106. at src/normalize.rs:447
  107. 24: reform::normalize::<impl reform::structure::Element>::normalize_inplace
  108. at src/normalize.rs:424
  109. 25: reform::normalize::<impl reform::structure::Element>::normalize_inplace
  110. at src/normalize.rs:160
  111. 26: reform::normalize::<impl reform::structure::Element>::normalize_inplace
  112. at src/normalize.rs:424
  113. 27: reform::normalize::<impl reform::structure::Element>::normalize_inplace
  114. at src/normalize.rs:424
  115. 28: reform::normalize::<impl reform::structure::Element>::normalize_inplace
  116. at src/normalize.rs:160
  117. 29: reform::normalize::<impl reform::structure::Element>::normalize_inplace
  118. at src/normalize.rs:424
  119. 30: reform::module::<impl reform::structure::Program>::do_program
  120. at src/module.rs:1276
  121. 31: reform::main
  122. at src/main.rs:60
  123. 32: std::rt::lang_start::{{closure}}
  124. at /checkout/src/libstd/rt.rs:74
  125. 33: std::panicking::try::do_call
  126. at libstd/rt.rs:59
  127. at libstd/panicking.rs:310
  128. 34: __rust_maybe_catch_panic
  129. at libpanic_unwind/lib.rs:105
  130. 35: std::rt::lang_start_internal
  131. at libstd/panicking.rs:289
  132. at libstd/panic.rs:374
  133. at libstd/rt.rs:58
  134. 36: main
  135. 37: __libc_start_main
  136. 38: _start
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement