Starting with polynomial:
P : 1/2*t^2 - 2*t + 1
Extension levels are: 2 15
-------------------------------------------------
Trying to find an order 15 Kronrod extension for:
P1 : 1/2*t^2 - 2*t + 1
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 1/2*t^17 - 1411157388693450989/11009257146336682*t^16 + 88917068714412518615863/6154174744802205238*t^15 - 5824906634678829632613975/6154174744802205238*t^14 + 123509754122466086117737575/3077087372401102619*t^13 - 275037720051216936613107945/236699028646238663*t^12 + 5586807135058962857243542980/236699028646238663*t^11 - 80632917209495643147053638740/236699028646238663*t^10 + 828553232860248165773546043000/236699028646238663*t^9 - 6021672318449082612930529917000/236699028646238663*t^8 + 30497810266808366188476038068800/236699028646238663*t^7 - 105136130586245211867290127451200/236699028646238663*t^6 + 238557447052062127998984761385600/236699028646238663*t^5 - 340401561870734978813068549680000/236699028646238663*t^4 + 287390081584386414402863814720000/236699028646238663*t^3 - 131628754149102879178690458432000/236699028646238663*t^2 + 27750582362407840699255164288000/236699028646238663*t - 1625805512532607345539836544000/236699028646238663
-------------------------------------------------
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 : 1/2*t^2 - 2*t + 1
Extension levels are: 2 15
-------------------------------------------------
Trying to find an order 15 Kronrod extension for:
P1 : 1/2*t^2 - 2*t + 1
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : 1/2*t^17 - 1411157388693450989/11009257146336682*t^16 + 88917068714412518615863/6154174744802205238*t^15 - 5824906634678829632613975/6154174744802205238*t^14 + 123509754122466086117737575/3077087372401102619*t^13 - 275037720051216936613107945/236699028646238663*t^12 + 5586807135058962857243542980/236699028646238663*t^11 - 80632917209495643147053638740/236699028646238663*t^10 + 828553232860248165773546043000/236699028646238663*t^9 - 6021672318449082612930529917000/236699028646238663*t^8 + 30497810266808366188476038068800/236699028646238663*t^7 - 105136130586245211867290127451200/236699028646238663*t^6 + 238557447052062127998984761385600/236699028646238663*t^5 - 340401561870734978813068549680000/236699028646238663*t^4 + 287390081584386414402863814720000/236699028646238663*t^3 - 131628754149102879178690458432000/236699028646238663*t^2 + 27750582362407840699255164288000/236699028646238663*t - 1625805512532607345539836544000/236699028646238663
-------------------------------------------------
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 ***
**************************************
