Starting with polynomial:
P : 1/720*t^6 - 1/20*t^5 + 5/8*t^4 - 10/3*t^3 + 15/2*t^2 - 6*t + 1
Extension levels are: 6 13
-------------------------------------------------
Trying to find an order 13 Kronrod extension for:
P1 : 1/720*t^6 - 1/20*t^5 + 5/8*t^4 - 10/3*t^3 + 15/2*t^2 - 6*t + 1
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 1/720*t^19 - 2286434967412543381698203/5970348408543309061223760*t^18 + 5849456343990687065595562/124382258511318938775495*t^17 - 847908484302821798965262207/248764517022637877550990*t^16 + 162123688827942683723157278557/995058068090551510203960*t^15 - 360730221080970330739301101145/66337204539370100680264*t^14 + 30386896982390070590041693094345/232180215887795352380924*t^13 - 537150388482224193924400441358265/232180215887795352380924*t^12 + 1759454773523524147009310038307055/58045053971948838095231*t^11 - 17121436174804205008441650192135345/58045053971948838095231*t^10 + 123223916236206782073010427174456490/58045053971948838095231*t^9 - 649055722482856851386633505068891490/58045053971948838095231*t^8 + 2458445161056951321303508038521994480/58045053971948838095231*t^7 - 931691972026284024742062346042063920/8292150567421262585033*t^6 + 1666024496708391612853058902519867680/8292150567421262585033*t^5 - 1898921466748823942188900403746221600/8292150567421262585033*t^4 + 1267712742786099581424861774066729600/8292150567421262585033*t^3 - 432369923760559889325890275599907200/8292150567421262585033*t^2 + 58790981144542395208371623357817600/8292150567421262585033*t - 1786486736609286078350328915398400/8292150567421262585033
-------------------------------------------------
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:   18 out of 19
Indefinite weights: 0 out of 19
Negative weights:   1 out of 19
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
Starting with polynomial:
P : 1/720*t^6 - 1/20*t^5 + 5/8*t^4 - 10/3*t^3 + 15/2*t^2 - 6*t + 1
Extension levels are: 6 13
-------------------------------------------------
Trying to find an order 13 Kronrod extension for:
P1 : 1/720*t^6 - 1/20*t^5 + 5/8*t^4 - 10/3*t^3 + 15/2*t^2 - 6*t + 1
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 1/720*t^19 - 2286434967412543381698203/5970348408543309061223760*t^18 + 5849456343990687065595562/124382258511318938775495*t^17 - 847908484302821798965262207/248764517022637877550990*t^16 + 162123688827942683723157278557/995058068090551510203960*t^15 - 360730221080970330739301101145/66337204539370100680264*t^14 + 30386896982390070590041693094345/232180215887795352380924*t^13 - 537150388482224193924400441358265/232180215887795352380924*t^12 + 1759454773523524147009310038307055/58045053971948838095231*t^11 - 17121436174804205008441650192135345/58045053971948838095231*t^10 + 123223916236206782073010427174456490/58045053971948838095231*t^9 - 649055722482856851386633505068891490/58045053971948838095231*t^8 + 2458445161056951321303508038521994480/58045053971948838095231*t^7 - 931691972026284024742062346042063920/8292150567421262585033*t^6 + 1666024496708391612853058902519867680/8292150567421262585033*t^5 - 1898921466748823942188900403746221600/8292150567421262585033*t^4 + 1267712742786099581424861774066729600/8292150567421262585033*t^3 - 432369923760559889325890275599907200/8292150567421262585033*t^2 + 58790981144542395208371623357817600/8292150567421262585033*t - 1786486736609286078350328915398400/8292150567421262585033
-------------------------------------------------
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:   18 out of 19
Indefinite weights: 0 out of 19
Negative weights:   1 out of 19
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
