Starting with polynomial:
P : -t+1
Extension levels are: 1 3 17
-------------------------------------------------
Trying to find an order 3 Kronrod extension for:
P1 : -t+1
Solvable: 1
-------------------------------------------------
Trying to find an order 17 Kronrod extension for:
P2 : -t^4 + 49/4*t^3 - 153/4*t^2 + 57/2*t - 3/2
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : -t^21 + 118598016084408082273745249997188934753383442440971385141/325498276712413426474784314644834355978935029562200524*t^20 - 38865830351651008033689632994111865288354079350603658780095/650996553424826852949568629289668711957870059124401048*t^19 + 26579465113459963700591128086939260336170280007986307985307147/4556975873973787970646980405027680983705090413870807336*t^18 - 123641499061281825103632383495534755431161740251260672428471683/325498276712413426474784314644834355978935029562200524*t^17 + 39801748491000007311595005038345473493495357940690699157599441741/2278487936986893985323490202513840491852545206935403668*t^16 - 334012620748743931743007934385204068984439596908670087974586886960/569621984246723496330872550628460122963136301733850917*t^15 + 8345634722174601136589935511694750744554102818118945589420807061200/569621984246723496330872550628460122963136301733850917*t^14 - 22417131927469040629058557644148407484587517613989858382655919476960/81374569178103356618696078661208588994733757390550131*t^13 + 318707192502775162079599622312073442991520239830695611752819081947360/81374569178103356618696078661208588994733757390550131*t^12 - 3425631873459681319798823034223915450160949765045805719503087011210560/81374569178103356618696078661208588994733757390550131*t^11 + 27713056762838116403633195456783068089898319125063642307446443699633600/81374569178103356618696078661208588994733757390550131*t^10 - 167264836203569908428152005239840763922297094871581072546713403651600000/81374569178103356618696078661208588994733757390550131*t^9 + 742980855315723522150737872711592308296655387225512916017577348613750400/81374569178103356618696078661208588994733757390550131*t^8 - 2381348972305491048628885551582319931943276108388463762858013758327654400/81374569178103356618696078661208588994733757390550131*t^7 + 5353671128242924000000616227374594217676291350697750058433970601589094400/81374569178103356618696078661208588994733757390550131*t^6 - 8102159369976957610286260952073060063647925432259800778240250720146944000/81374569178103356618696078661208588994733757390550131*t^5 + 7763380913737484393006090879323508168510029670242887145391211757079040000/81374569178103356618696078661208588994733757390550131*t^4 - 4288998429784542667353219722035217116370752907749510483464764187234816000/81374569178103356618696078661208588994733757390550131*t^3 + 1182747513308372842391723358688122050559742500553419995429858901136896000/81374569178103356618696078661208588994733757390550131*t^2 - 131987812283596794807744269778893725750327069115501869167317002515456000/81374569178103356618696078661208588994733757390550131*t + 4394149091206022497738614096725379870733883705253691427709152302080000/81374569178103356618696078661208588994733757390550131
-------------------------------------------------
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 3 17
-------------------------------------------------
Trying to find an order 3 Kronrod extension for:
P1 : -t+1
Solvable: 1
-------------------------------------------------
Trying to find an order 17 Kronrod extension for:
P2 : -t^4 + 49/4*t^3 - 153/4*t^2 + 57/2*t - 3/2
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : -t^21 + 118598016084408082273745249997188934753383442440971385141/325498276712413426474784314644834355978935029562200524*t^20 - 38865830351651008033689632994111865288354079350603658780095/650996553424826852949568629289668711957870059124401048*t^19 + 26579465113459963700591128086939260336170280007986307985307147/4556975873973787970646980405027680983705090413870807336*t^18 - 123641499061281825103632383495534755431161740251260672428471683/325498276712413426474784314644834355978935029562200524*t^17 + 39801748491000007311595005038345473493495357940690699157599441741/2278487936986893985323490202513840491852545206935403668*t^16 - 334012620748743931743007934385204068984439596908670087974586886960/569621984246723496330872550628460122963136301733850917*t^15 + 8345634722174601136589935511694750744554102818118945589420807061200/569621984246723496330872550628460122963136301733850917*t^14 - 22417131927469040629058557644148407484587517613989858382655919476960/81374569178103356618696078661208588994733757390550131*t^13 + 318707192502775162079599622312073442991520239830695611752819081947360/81374569178103356618696078661208588994733757390550131*t^12 - 3425631873459681319798823034223915450160949765045805719503087011210560/81374569178103356618696078661208588994733757390550131*t^11 + 27713056762838116403633195456783068089898319125063642307446443699633600/81374569178103356618696078661208588994733757390550131*t^10 - 167264836203569908428152005239840763922297094871581072546713403651600000/81374569178103356618696078661208588994733757390550131*t^9 + 742980855315723522150737872711592308296655387225512916017577348613750400/81374569178103356618696078661208588994733757390550131*t^8 - 2381348972305491048628885551582319931943276108388463762858013758327654400/81374569178103356618696078661208588994733757390550131*t^7 + 5353671128242924000000616227374594217676291350697750058433970601589094400/81374569178103356618696078661208588994733757390550131*t^6 - 8102159369976957610286260952073060063647925432259800778240250720146944000/81374569178103356618696078661208588994733757390550131*t^5 + 7763380913737484393006090879323508168510029670242887145391211757079040000/81374569178103356618696078661208588994733757390550131*t^4 - 4288998429784542667353219722035217116370752907749510483464764187234816000/81374569178103356618696078661208588994733757390550131*t^3 + 1182747513308372842391723358688122050559742500553419995429858901136896000/81374569178103356618696078661208588994733757390550131*t^2 - 131987812283596794807744269778893725750327069115501869167317002515456000/81374569178103356618696078661208588994733757390550131*t + 4394149091206022497738614096725379870733883705253691427709152302080000/81374569178103356618696078661208588994733757390550131
-------------------------------------------------
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 ***
**************************************
