Starting with polynomial:
P : -1/6*t^3 + 3/2*t^2 - 3*t + 1
Extension levels are: 3 15
-------------------------------------------------
Trying to find an order 15 Kronrod extension for:
P1 : -1/6*t^3 + 3/2*t^2 - 3*t + 1
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : -1/6*t^18 + 7680232233180119033093847/163258920614834456671948*t^17 - 961082676968379370456500069/163258920614834456671948*t^16 + 141149586961944740492705545171/326517841229668913343896*t^15 - 6786837655976248015447863580275/326517841229668913343896*t^14 + 112914064652952197427172957974915/163258920614834456671948*t^13 - 206172443257750810359478864840845/12558378508833419743996*t^12 + 887108639224000314463510601991285/3139594627208354935999*t^11 - 11147697411809896414815140405547945/3139594627208354935999*t^10 + 102274568420145730000184907766401750/3139594627208354935999*t^9 - 680891586174905234307307310260129050/3139594627208354935999*t^8 + 3250133833241778853761393237120085200/3139594627208354935999*t^7 - 10917098865285820125429030710534744400/3139594627208354935999*t^6 + 25100596446793797842105211883217152800/3139594627208354935999*t^5 - 37894004174840920697182174222465980000/3139594627208354935999*t^4 + 35153031770852452099134652443607632000/3139594627208354935999*t^3 - 17858498989302897488528946759990288000/3139594627208354935999*t^2 + 3963441778166922108693303634043616000/3139594627208354935999*t - 216803075457957591128838492593952000/3139594627208354935999
-------------------------------------------------
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:   17 out of 18
Indefinite weights: 0 out of 18
Negative weights:   1 out of 18
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
Starting with polynomial:
P : -1/6*t^3 + 3/2*t^2 - 3*t + 1
Extension levels are: 3 15
-------------------------------------------------
Trying to find an order 15 Kronrod extension for:
P1 : -1/6*t^3 + 3/2*t^2 - 3*t + 1
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : -1/6*t^18 + 7680232233180119033093847/163258920614834456671948*t^17 - 961082676968379370456500069/163258920614834456671948*t^16 + 141149586961944740492705545171/326517841229668913343896*t^15 - 6786837655976248015447863580275/326517841229668913343896*t^14 + 112914064652952197427172957974915/163258920614834456671948*t^13 - 206172443257750810359478864840845/12558378508833419743996*t^12 + 887108639224000314463510601991285/3139594627208354935999*t^11 - 11147697411809896414815140405547945/3139594627208354935999*t^10 + 102274568420145730000184907766401750/3139594627208354935999*t^9 - 680891586174905234307307310260129050/3139594627208354935999*t^8 + 3250133833241778853761393237120085200/3139594627208354935999*t^7 - 10917098865285820125429030710534744400/3139594627208354935999*t^6 + 25100596446793797842105211883217152800/3139594627208354935999*t^5 - 37894004174840920697182174222465980000/3139594627208354935999*t^4 + 35153031770852452099134652443607632000/3139594627208354935999*t^3 - 17858498989302897488528946759990288000/3139594627208354935999*t^2 + 3963441778166922108693303634043616000/3139594627208354935999*t - 216803075457957591128838492593952000/3139594627208354935999
-------------------------------------------------
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:   17 out of 18
Indefinite weights: 0 out of 18
Negative weights:   1 out of 18
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
