Starting with polynomial:
P : -t+1
Extension levels are: 1 5 15
-------------------------------------------------
Trying to find an order 5 Kronrod extension for:
P1 : -t+1
Solvable: 1
-------------------------------------------------
Trying to find an order 15 Kronrod extension for:
P2 : -t^6 + 1831/56*t^5 - 20575/56*t^4 + 12175/7*t^3 - 23925/7*t^2 + 16365/7*t - 2265/7
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : -t^21 + 697026191409100249318812493140155286527947294343593310805825526866255557/1996999397132061986747965243088500322568312833822850400820269907538382*t^20 - 3513591961292729558176458440250420152686129677248834634866880288191027793925/63903980708225983575934887778832010322186010682331212826248637041228224*t^19 + 3645669426452611804376725511602258756538578953749275368535712518963774007859475/702943787790485819335283765567152113544046117505643341088735007453510464*t^18 - 115195287887531992506203862853282398078526063210914182092900725756129298643540175/351471893895242909667641882783576056772023058752821670544367503726755232*t^17 + 470044768568960717788611570268179199655168986991121025698422252749524566593923915/31951990354112991787967443889416005161093005341165606413124318520614112*t^16 - 85251755033704115283478747264448495109182383347534124352560081965779274180987735795/175735946947621454833820941391788028386011529376410835272183751863377616*t^15 + 2107476209778434536628104896923861655561290779040013242958100213740655868404134217875/175735946947621454833820941391788028386011529376410835272183751863377616*t^14 - 2821452390844557339165197542340360550215708380386467499243056345055311625701777581125/12552567639115818202415781527984859170429394955457916805155982275955544*t^13 + 40290969687792981376607479385830704051780962158663612903811064946889970213613428387375/12552567639115818202415781527984859170429394955457916805155982275955544*t^12 - 109546222965332825939965550862418739609826656191263575167886104903282940597653062029175/3138141909778954550603945381996214792607348738864479201288995568988886*t^11 + 82050989462102731274040280293883537601986923993920949181973512182870345217894119658425/285285628161723140963995034726928617509758976260407200117181415362626*t^10 - 253487392161764256879290532841500982917236983442404777487857404431903787943627177666875/142642814080861570481997517363464308754879488130203600058590707681313*t^9 + 1156488572425111611349053176193788833344538803735361196330287373825828761138306794568125/142642814080861570481997517363464308754879488130203600058590707681313*t^8 - 3811382783821634929462231296783824811910897328740287618954219520460729400118991777265000/142642814080861570481997517363464308754879488130203600058590707681313*t^7 + 8803770218010165990255524171449214930628054882988348920375499280602101869206525876569000/142642814080861570481997517363464308754879488130203600058590707681313*t^6 - 13671237906604273385162691309003684048638342279972952253995296369586691183362865703514000/142642814080861570481997517363464308754879488130203600058590707681313*t^5 + 13455883962716039218009336910258064472604469138095013340714341543021368573219117819550000/142642814080861570481997517363464308754879488130203600058590707681313*t^4 - 7692572055446178270739150402575459370578375132142950857197282098625381254271401066600000/142642814080861570481997517363464308754879488130203600058590707681313*t^3 + 2222602712839011382969119197114074155827380222718594237250588490943256057789064278600000/142642814080861570481997517363464308754879488130203600058590707681313*t^2 - 252951057118923929788156972950064394881455364778330110173984421716875859626420686320000/142642814080861570481997517363464308754879488130203600058590707681313*t + 6412174764914859865757574588281865585119927793995538558085117506800302565006991120000/142642814080861570481997517363464308754879488130203600058590707681313
-------------------------------------------------
Computing nodes and weights
  current precision for roots: 53
  current precision for roots: 106
 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: 1
  current precision for roots: 212
  current precision for roots: 424
 current precision for weights: 212
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   20 out of 21
Indefinite weights: 0 out of 21
Negative weights:   1 out of 21
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
Starting with polynomial:
P : -t+1
Extension levels are: 1 5 15
-------------------------------------------------
Trying to find an order 5 Kronrod extension for:
P1 : -t+1
Solvable: 1
-------------------------------------------------
Trying to find an order 15 Kronrod extension for:
P2 : -t^6 + 1831/56*t^5 - 20575/56*t^4 + 12175/7*t^3 - 23925/7*t^2 + 16365/7*t - 2265/7
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : -t^21 + 697026191409100249318812493140155286527947294343593310805825526866255557/1996999397132061986747965243088500322568312833822850400820269907538382*t^20 - 3513591961292729558176458440250420152686129677248834634866880288191027793925/63903980708225983575934887778832010322186010682331212826248637041228224*t^19 + 3645669426452611804376725511602258756538578953749275368535712518963774007859475/702943787790485819335283765567152113544046117505643341088735007453510464*t^18 - 115195287887531992506203862853282398078526063210914182092900725756129298643540175/351471893895242909667641882783576056772023058752821670544367503726755232*t^17 + 470044768568960717788611570268179199655168986991121025698422252749524566593923915/31951990354112991787967443889416005161093005341165606413124318520614112*t^16 - 85251755033704115283478747264448495109182383347534124352560081965779274180987735795/175735946947621454833820941391788028386011529376410835272183751863377616*t^15 + 2107476209778434536628104896923861655561290779040013242958100213740655868404134217875/175735946947621454833820941391788028386011529376410835272183751863377616*t^14 - 2821452390844557339165197542340360550215708380386467499243056345055311625701777581125/12552567639115818202415781527984859170429394955457916805155982275955544*t^13 + 40290969687792981376607479385830704051780962158663612903811064946889970213613428387375/12552567639115818202415781527984859170429394955457916805155982275955544*t^12 - 109546222965332825939965550862418739609826656191263575167886104903282940597653062029175/3138141909778954550603945381996214792607348738864479201288995568988886*t^11 + 82050989462102731274040280293883537601986923993920949181973512182870345217894119658425/285285628161723140963995034726928617509758976260407200117181415362626*t^10 - 253487392161764256879290532841500982917236983442404777487857404431903787943627177666875/142642814080861570481997517363464308754879488130203600058590707681313*t^9 + 1156488572425111611349053176193788833344538803735361196330287373825828761138306794568125/142642814080861570481997517363464308754879488130203600058590707681313*t^8 - 3811382783821634929462231296783824811910897328740287618954219520460729400118991777265000/142642814080861570481997517363464308754879488130203600058590707681313*t^7 + 8803770218010165990255524171449214930628054882988348920375499280602101869206525876569000/142642814080861570481997517363464308754879488130203600058590707681313*t^6 - 13671237906604273385162691309003684048638342279972952253995296369586691183362865703514000/142642814080861570481997517363464308754879488130203600058590707681313*t^5 + 13455883962716039218009336910258064472604469138095013340714341543021368573219117819550000/142642814080861570481997517363464308754879488130203600058590707681313*t^4 - 7692572055446178270739150402575459370578375132142950857197282098625381254271401066600000/142642814080861570481997517363464308754879488130203600058590707681313*t^3 + 2222602712839011382969119197114074155827380222718594237250588490943256057789064278600000/142642814080861570481997517363464308754879488130203600058590707681313*t^2 - 252951057118923929788156972950064394881455364778330110173984421716875859626420686320000/142642814080861570481997517363464308754879488130203600058590707681313*t + 6412174764914859865757574588281865585119927793995538558085117506800302565006991120000/142642814080861570481997517363464308754879488130203600058590707681313
-------------------------------------------------
Computing nodes and weights
  current precision for roots: 53
  current precision for roots: 106
 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: 1
  current precision for roots: 212
  current precision for roots: 424
 current precision for weights: 212
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   20 out of 21
Indefinite weights: 0 out of 21
Negative weights:   1 out of 21
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
