Starting with polynomial:
P : 1/2*t^2 - 2*t + 1
Extension levels are: 2 4 13
-------------------------------------------------
Trying to find an order 4 Kronrod extension for:
P1 : 1/2*t^2 - 2*t + 1
Solvable: 1
-------------------------------------------------
Trying to find an order 13 Kronrod extension for:
P2 : 1/2*t^6 - 162/13*t^5 + 101*t^4 - 4208/13*t^3 + 5436/13*t^2 - 2928/13*t + 552/13
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 1/2*t^19 - 488132017610946779655512843637863877634608436433372467/3639551744602370430279472853435622423570522511302114*t^18 + 3725425161723309062821218095941844734805551051823062504/233304599012972463479453388040745027151956571237315*t^17 - 10169750149426695543528558803114262347614080529647720462844/9098879361505926075698682133589056058926306278255285*t^16 + 93469318948927074934105706351534949862656861655389727469023/1819775872301185215139736426717811211785261255651057*t^15 - 4972122391574003335796850410804353494952857811561394850085763/3032959787168642025232894044529685352975435426085095*t^14 + 341221610296520551791817075985320668672967926406462441573396006/9098879361505926075698682133589056058926306278255285*t^13 - 437901091302216067838693436423725320909842169260573783551053102/699913797038917390438360164122235081455869713711945*t^12 + 119366623035996436566801234778993126290348734331416756177082120/15553639934198164231963559202716335143463771415821*t^11 - 16165760094040146393647897629726136333708595560105966775690018632/233304599012972463479453388040745027151956571237315*t^10 + 21379378761575587281332229740012389447290459623828367288134848336/46660919802594492695890677608149005430391314247463*t^9 - 34148028257382841119162307668800838697428429749098966757126092848/15553639934198164231963559202716335143463771415821*t^8 + 116649871865136548633560899084688966854634953226274136132165852288/15553639934198164231963559202716335143463771415821*t^7 - 277822244203379574783223127581945353325695009323710231021351536000/15553639934198164231963559202716335143463771415821*t^6 + 448267318594284994956613736772827967049538130142886621501566143744/15553639934198164231963559202716335143463771415821*t^5 - 472130810165583540840702263465594620270183988866779308728341515520/15553639934198164231963559202716335143463771415821*t^4 + 308154924929168106472162980201735758778828840069397615308552238080/15553639934198164231963559202716335143463771415821*t^3 - 114528458019448719348960748534755163783815553203295453205309230080/15553639934198164231963559202716335143463771415821*t^2 + 20505423577114190971352187927222289643149809758901658449450547200/15553639934198164231963559202716335143463771415821*t - 1095897585961766239846695291589092570872922426047343752202147840/15553639934198164231963559202716335143463771415821
-------------------------------------------------
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/2*t^2 - 2*t + 1
Extension levels are: 2 4 13
-------------------------------------------------
Trying to find an order 4 Kronrod extension for:
P1 : 1/2*t^2 - 2*t + 1
Solvable: 1
-------------------------------------------------
Trying to find an order 13 Kronrod extension for:
P2 : 1/2*t^6 - 162/13*t^5 + 101*t^4 - 4208/13*t^3 + 5436/13*t^2 - 2928/13*t + 552/13
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 1/2*t^19 - 488132017610946779655512843637863877634608436433372467/3639551744602370430279472853435622423570522511302114*t^18 + 3725425161723309062821218095941844734805551051823062504/233304599012972463479453388040745027151956571237315*t^17 - 10169750149426695543528558803114262347614080529647720462844/9098879361505926075698682133589056058926306278255285*t^16 + 93469318948927074934105706351534949862656861655389727469023/1819775872301185215139736426717811211785261255651057*t^15 - 4972122391574003335796850410804353494952857811561394850085763/3032959787168642025232894044529685352975435426085095*t^14 + 341221610296520551791817075985320668672967926406462441573396006/9098879361505926075698682133589056058926306278255285*t^13 - 437901091302216067838693436423725320909842169260573783551053102/699913797038917390438360164122235081455869713711945*t^12 + 119366623035996436566801234778993126290348734331416756177082120/15553639934198164231963559202716335143463771415821*t^11 - 16165760094040146393647897629726136333708595560105966775690018632/233304599012972463479453388040745027151956571237315*t^10 + 21379378761575587281332229740012389447290459623828367288134848336/46660919802594492695890677608149005430391314247463*t^9 - 34148028257382841119162307668800838697428429749098966757126092848/15553639934198164231963559202716335143463771415821*t^8 + 116649871865136548633560899084688966854634953226274136132165852288/15553639934198164231963559202716335143463771415821*t^7 - 277822244203379574783223127581945353325695009323710231021351536000/15553639934198164231963559202716335143463771415821*t^6 + 448267318594284994956613736772827967049538130142886621501566143744/15553639934198164231963559202716335143463771415821*t^5 - 472130810165583540840702263465594620270183988866779308728341515520/15553639934198164231963559202716335143463771415821*t^4 + 308154924929168106472162980201735758778828840069397615308552238080/15553639934198164231963559202716335143463771415821*t^3 - 114528458019448719348960748534755163783815553203295453205309230080/15553639934198164231963559202716335143463771415821*t^2 + 20505423577114190971352187927222289643149809758901658449450547200/15553639934198164231963559202716335143463771415821*t - 1095897585961766239846695291589092570872922426047343752202147840/15553639934198164231963559202716335143463771415821
-------------------------------------------------
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 ***
**************************************
