Starting with polynomial:
P : 1/24*t^4 - 2/3*t^3 + 3*t^2 - 4*t + 1
Extension levels are: 4 29
-------------------------------------------------
Trying to find an order 29 Kronrod extension for:
P1 : 1/24*t^4 - 2/3*t^3 + 3*t^2 - 4*t + 1
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 1/24*t^33 - 19335459599911172593474862174595657937007617632242836624700765178820200434108701037/479385063157316929011704804771140993134339632724068002556276961576818365485098136*t^32 + 57016265639847695406144006869624802082382200803713775748958502641888814316119260616373/3116002910522560038576081231012416455373207612706442016615800250249319375653137884*t^31 - 16128788815152266770006104913121211636872787428163257320784696449707584579072546530994045/3116002910522560038576081231012416455373207612706442016615800250249319375653137884*t^30 + 26611665876052810885157148985665113048198085885700217174958942204892217824998000314152241831/25966690921021333654800676925103470461443396772553683471798335418744328130442815700*t^29 - 3924274082724048008472085659710773940302405023648936786210310693969477031442103222918261053371/25966690921021333654800676925103470461443396772553683471798335418744328130442815700*t^28 + 111953417627633920085593153562193826689377925842952980311644089927684389914846852334410393418108/6491672730255333413700169231275867615360849193138420867949583854686082032610703925*t^27 - 10140681139332072626933436949776265470418148682209281897369840791949447773249948077991351534078744/6491672730255333413700169231275867615360849193138420867949583854686082032610703925*t^26 + 57084522538959907036743956433132284912655761443226778519445012869702245065761411780214300986218922/499359440788871801053859171636605201181603784087570835996121834975852464046977225*t^25 - 136709030528946696497531976831664485571673685457265762002770471720643147455045470746265395541369610/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^24 + 6756870576682271821783464925438320766004705237082890427832850403577420600581623618736689450184862560/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^23 - 277444157090466887378070543714096811149721908198416330063251460210029759368864428028584445996522436320/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^22 + 9504729390734363487632301165701244832524812234001268114131321403261114706664269515062506747960439267360/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^21 - 272367786356573374610187973487514930791503597820153036798918342517529702001685678021043223692006081940640/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^20 + 6536008233389062625443496282206656312746831005667750459337845236026120778812883910990269135590251945625600/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^19 - 131321845397412071391286559795868306255113088600620713318212515868525766482601996417255845491392165876185600/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^18 + 2206120642453167469418624308408420119897828991209186139778877077850156135952795949398750793632350780288211200/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^17 - 30908278976214442832893934143337691569041207502339945144059052701125113201719265403264837358414597402335033600/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^16 + 359776544436352229458498447373067854735465545618679004349117148078939493355111172218124091843976798401178214400/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^15 - 3461799727363420405498316610573202096730006425316657879144902996933424928957649696544121026543401121025033216000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^14 + 27356445457441966039462067293777890319078404378341351838072434561652017428613473079017048247323901140555600896000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^13 - 176104321346341545687879817321714968498009792045830624736310087488881305024225595108736388591890278390135964672000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^12 + 914217142255106993065203239247188588628951377430343741614195505227676218119090371825467346704055241384863973376000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^11 - 3779869930226032558011023740073642363339678160370525143441965066480808951015527174550028917454368150760621277184000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^10 + 12255436251539230381579920676743630654202734160160890116834436343127890001150295894156564413751330269666018385920000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^9 - 30563855260116112699466222337197814571316245374566695837081532613610260092373649864268556740550852726281262981120000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^8 + 57217636182972255608749264872178546719780787292622748536009791098141696481640729050044888331857073146800228925440000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^7 - 77948704319591338237806038254916382504080786510745549260476589536191910425302154881446799190774641111682729246720000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^6 + 74247184138812894631809463796228916810531238100870810797766941523558343145238061119969923480020454180690233262080000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^5 - 46939210974348653258135848590743485247237163953910461426987884156881338874969338590383388723913598652576139182080000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^4 + 18381777482523654646437267949092326524981131341465225102461964847433498061981842386684450165175195313816500961280000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^3 - 4042869208272845584637562769426071796253012111903818050479583904570908950562021446637428136896539075711346933760000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^2 + 419035119354752922308885053818276382626544006581425717694730560136414043064783295060113937022556684932669767680000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t - 12385475433653792916757978653410396173877451596301438443663184269777854119390024226527730396977709694629969920000/19974377631554872042154366865464208047264151363502833439844873399034098561879089
-------------------------------------------------
Computing nodes and weights
  current precision for roots: 53
  current precision for roots: 106
  current precision for roots: 212
 current precision for weights: 53
Linear system for weights solvable: 0
  current precision for roots: 106
  current precision for roots: 212
 current precision for weights: 106
Linear system for weights solvable: 0
  current precision for roots: 212
  current precision for roots: 424
 current precision for weights: 212
Linear system for weights solvable: 1
  current precision for roots: 424
  current precision for roots: 848
 current precision for weights: 424
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   32 out of 33
Indefinite weights: 0 out of 33
Negative weights:   1 out of 33
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
Starting with polynomial:
P : 1/24*t^4 - 2/3*t^3 + 3*t^2 - 4*t + 1
Extension levels are: 4 29
-------------------------------------------------
Trying to find an order 29 Kronrod extension for:
P1 : 1/24*t^4 - 2/3*t^3 + 3*t^2 - 4*t + 1
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 1/24*t^33 - 19335459599911172593474862174595657937007617632242836624700765178820200434108701037/479385063157316929011704804771140993134339632724068002556276961576818365485098136*t^32 + 57016265639847695406144006869624802082382200803713775748958502641888814316119260616373/3116002910522560038576081231012416455373207612706442016615800250249319375653137884*t^31 - 16128788815152266770006104913121211636872787428163257320784696449707584579072546530994045/3116002910522560038576081231012416455373207612706442016615800250249319375653137884*t^30 + 26611665876052810885157148985665113048198085885700217174958942204892217824998000314152241831/25966690921021333654800676925103470461443396772553683471798335418744328130442815700*t^29 - 3924274082724048008472085659710773940302405023648936786210310693969477031442103222918261053371/25966690921021333654800676925103470461443396772553683471798335418744328130442815700*t^28 + 111953417627633920085593153562193826689377925842952980311644089927684389914846852334410393418108/6491672730255333413700169231275867615360849193138420867949583854686082032610703925*t^27 - 10140681139332072626933436949776265470418148682209281897369840791949447773249948077991351534078744/6491672730255333413700169231275867615360849193138420867949583854686082032610703925*t^26 + 57084522538959907036743956433132284912655761443226778519445012869702245065761411780214300986218922/499359440788871801053859171636605201181603784087570835996121834975852464046977225*t^25 - 136709030528946696497531976831664485571673685457265762002770471720643147455045470746265395541369610/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^24 + 6756870576682271821783464925438320766004705237082890427832850403577420600581623618736689450184862560/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^23 - 277444157090466887378070543714096811149721908198416330063251460210029759368864428028584445996522436320/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^22 + 9504729390734363487632301165701244832524812234001268114131321403261114706664269515062506747960439267360/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^21 - 272367786356573374610187973487514930791503597820153036798918342517529702001685678021043223692006081940640/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^20 + 6536008233389062625443496282206656312746831005667750459337845236026120778812883910990269135590251945625600/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^19 - 131321845397412071391286559795868306255113088600620713318212515868525766482601996417255845491392165876185600/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^18 + 2206120642453167469418624308408420119897828991209186139778877077850156135952795949398750793632350780288211200/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^17 - 30908278976214442832893934143337691569041207502339945144059052701125113201719265403264837358414597402335033600/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^16 + 359776544436352229458498447373067854735465545618679004349117148078939493355111172218124091843976798401178214400/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^15 - 3461799727363420405498316610573202096730006425316657879144902996933424928957649696544121026543401121025033216000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^14 + 27356445457441966039462067293777890319078404378341351838072434561652017428613473079017048247323901140555600896000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^13 - 176104321346341545687879817321714968498009792045830624736310087488881305024225595108736388591890278390135964672000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^12 + 914217142255106993065203239247188588628951377430343741614195505227676218119090371825467346704055241384863973376000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^11 - 3779869930226032558011023740073642363339678160370525143441965066480808951015527174550028917454368150760621277184000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^10 + 12255436251539230381579920676743630654202734160160890116834436343127890001150295894156564413751330269666018385920000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^9 - 30563855260116112699466222337197814571316245374566695837081532613610260092373649864268556740550852726281262981120000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^8 + 57217636182972255608749264872178546719780787292622748536009791098141696481640729050044888331857073146800228925440000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^7 - 77948704319591338237806038254916382504080786510745549260476589536191910425302154881446799190774641111682729246720000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^6 + 74247184138812894631809463796228916810531238100870810797766941523558343145238061119969923480020454180690233262080000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^5 - 46939210974348653258135848590743485247237163953910461426987884156881338874969338590383388723913598652576139182080000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^4 + 18381777482523654646437267949092326524981131341465225102461964847433498061981842386684450165175195313816500961280000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^3 - 4042869208272845584637562769426071796253012111903818050479583904570908950562021446637428136896539075711346933760000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t^2 + 419035119354752922308885053818276382626544006581425717694730560136414043064783295060113937022556684932669767680000/19974377631554872042154366865464208047264151363502833439844873399034098561879089*t - 12385475433653792916757978653410396173877451596301438443663184269777854119390024226527730396977709694629969920000/19974377631554872042154366865464208047264151363502833439844873399034098561879089
-------------------------------------------------
Computing nodes and weights
  current precision for roots: 53
  current precision for roots: 106
  current precision for roots: 212
 current precision for weights: 53
Linear system for weights solvable: 0
  current precision for roots: 106
  current precision for roots: 212
 current precision for weights: 106
Linear system for weights solvable: 0
  current precision for roots: 212
  current precision for roots: 424
 current precision for weights: 212
Linear system for weights solvable: 1
  current precision for roots: 424
  current precision for roots: 848
 current precision for weights: 424
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   32 out of 33
Indefinite weights: 0 out of 33
Negative weights:   1 out of 33
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
