Starting with polynomial:
P : -t+1
Extension levels are: 1 5 11
-------------------------------------------------
Trying to find an order 5 Kronrod extension for:
P1 : -t+1
Solvable: 1
-------------------------------------------------
Trying to find an order 11 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^17 + 58423429173440226695398189515982387159558813423/280436820240886920209072657566002247223649200*t^16 - 18204600497606748285144086175427506172350299780461/961497669397326583573963397369150561909654400*t^15 + 267071469789932366144939730116252237324645828518895/269219347431251443400709751263362157334703232*t^14 - 31447830824764829079757621393672367790191780329606915/942267716009380051902484129421767550671461312*t^13 + 716428187311277216447842662656875687401229932658644725/942267716009380051902484129421767550671461312*t^12 - 946905485741472269802536682128396506355392679681482619/78522309667448337658540344118480629222621776*t^11 + 10592125788652708101235837078974467195568382555458283859/78522309667448337658540344118480629222621776*t^10 - 41893312810342529559163435397117619969859542189667483595/39261154833724168829270172059240314611310888*t^9 + 232970485929566761654929745725711323131231958279098397865/39261154833724168829270172059240314611310888*t^8 - 112243424125393141296514154279340166499376023875062742905/4907644354215521103658771507405039326413861*t^7 + 41834829853309125203273386239052245771668245799543590851/701092050602217300522681643915005618059123*t^6 - 71297034475672206909486386589163650176690018729988263946/701092050602217300522681643915005618059123*t^5 + 75356892466979800665440998317881552560232580779599776150/701092050602217300522681643915005618059123*t^4 - 45884273060359952348503554184621975493143156907002165800/701092050602217300522681643915005618059123*t^3 + 14637982058298333920926562101079668537543723387294885800/701092050602217300522681643915005618059123*t^2 - 2242332266564858564316548910535998660639868061380513680/701092050602217300522681643915005618059123*t + 129989543144939569014010670989080565797048821621308080/701092050602217300522681643915005618059123
-------------------------------------------------
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:   16 out of 17
Indefinite weights: 0 out of 17
Negative weights:   1 out of 17
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
Starting with polynomial:
P : -t+1
Extension levels are: 1 5 11
-------------------------------------------------
Trying to find an order 5 Kronrod extension for:
P1 : -t+1
Solvable: 1
-------------------------------------------------
Trying to find an order 11 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^17 + 58423429173440226695398189515982387159558813423/280436820240886920209072657566002247223649200*t^16 - 18204600497606748285144086175427506172350299780461/961497669397326583573963397369150561909654400*t^15 + 267071469789932366144939730116252237324645828518895/269219347431251443400709751263362157334703232*t^14 - 31447830824764829079757621393672367790191780329606915/942267716009380051902484129421767550671461312*t^13 + 716428187311277216447842662656875687401229932658644725/942267716009380051902484129421767550671461312*t^12 - 946905485741472269802536682128396506355392679681482619/78522309667448337658540344118480629222621776*t^11 + 10592125788652708101235837078974467195568382555458283859/78522309667448337658540344118480629222621776*t^10 - 41893312810342529559163435397117619969859542189667483595/39261154833724168829270172059240314611310888*t^9 + 232970485929566761654929745725711323131231958279098397865/39261154833724168829270172059240314611310888*t^8 - 112243424125393141296514154279340166499376023875062742905/4907644354215521103658771507405039326413861*t^7 + 41834829853309125203273386239052245771668245799543590851/701092050602217300522681643915005618059123*t^6 - 71297034475672206909486386589163650176690018729988263946/701092050602217300522681643915005618059123*t^5 + 75356892466979800665440998317881552560232580779599776150/701092050602217300522681643915005618059123*t^4 - 45884273060359952348503554184621975493143156907002165800/701092050602217300522681643915005618059123*t^3 + 14637982058298333920926562101079668537543723387294885800/701092050602217300522681643915005618059123*t^2 - 2242332266564858564316548910535998660639868061380513680/701092050602217300522681643915005618059123*t + 129989543144939569014010670989080565797048821621308080/701092050602217300522681643915005618059123
-------------------------------------------------
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:   16 out of 17
Indefinite weights: 0 out of 17
Negative weights:   1 out of 17
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
