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 14
-------------------------------------------------
Trying to find an order 14 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^20 - 1248200932605445697389168613/2801768277162142048455216000*t^19 + 180110040817296246590331445783/2801768277162142048455216000*t^18 - 161520545177251925729022296291/29185086220438979671408500*t^17 + 37112913218106893840690789438377/116740344881755918685634000*t^16 - 2009428005079893302232613639433059/155653793175674558247512000*t^15 + 2384932953270236628488159793031769/6226151727026982329900480*t^14 - 26354840649308347268596588773106887/3113075863513491164950240*t^13 + 438267170837918872691796366848300719/3113075863513491164950240*t^12 - 1375550888638304507085520928705403153/778268965878372791237560*t^11 + 13006840056232957821411581792224976487/778268965878372791237560*t^10 - 45959114290536922421519208077232417627/389134482939186395618780*t^9 + 239504253352572850465877858788931274327/389134482939186395618780*t^8 - 225546102742847460782168399406692350626/97283620734796598904695*t^7 + 597009656187141848784946143307604105478/97283620734796598904695*t^6 - 1067196402796560224013589948017406985412/97283620734796598904695*t^5 + 243407637536440330559263432931579611188/19456724146959319780939*t^4 - 162591625880239764328999540342904150928/19456724146959319780939*t^3 + 55379924793668198280713463433808778096/19456724146959319780939*t^2 - 7433590732731799520489217996941926368/19456724146959319780939*t + 209255692919127561731700741553199712/19456724146959319780939
-------------------------------------------------
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:   19 out of 20
Indefinite weights: 0 out of 20
Negative weights:   1 out of 20
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 14
-------------------------------------------------
Trying to find an order 14 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^20 - 1248200932605445697389168613/2801768277162142048455216000*t^19 + 180110040817296246590331445783/2801768277162142048455216000*t^18 - 161520545177251925729022296291/29185086220438979671408500*t^17 + 37112913218106893840690789438377/116740344881755918685634000*t^16 - 2009428005079893302232613639433059/155653793175674558247512000*t^15 + 2384932953270236628488159793031769/6226151727026982329900480*t^14 - 26354840649308347268596588773106887/3113075863513491164950240*t^13 + 438267170837918872691796366848300719/3113075863513491164950240*t^12 - 1375550888638304507085520928705403153/778268965878372791237560*t^11 + 13006840056232957821411581792224976487/778268965878372791237560*t^10 - 45959114290536922421519208077232417627/389134482939186395618780*t^9 + 239504253352572850465877858788931274327/389134482939186395618780*t^8 - 225546102742847460782168399406692350626/97283620734796598904695*t^7 + 597009656187141848784946143307604105478/97283620734796598904695*t^6 - 1067196402796560224013589948017406985412/97283620734796598904695*t^5 + 243407637536440330559263432931579611188/19456724146959319780939*t^4 - 162591625880239764328999540342904150928/19456724146959319780939*t^3 + 55379924793668198280713463433808778096/19456724146959319780939*t^2 - 7433590732731799520489217996941926368/19456724146959319780939*t + 209255692919127561731700741553199712/19456724146959319780939
-------------------------------------------------
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:   19 out of 20
Indefinite weights: 0 out of 20
Negative weights:   1 out of 20
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
