Starting with polynomial:
P : -1/6*t^3 + 3/2*t^2 - 3*t + 1
Extension levels are: 3 16
-------------------------------------------------
Trying to find an order 16 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^19 + 8165670912386045101475485777/149166955307993520144634422*t^18 - 199672327930814047843076894427/24861159217998920024105737*t^17 + 225353475959261194672383152406197/323195069833985960313374581*t^16 - 12930034434595590654694957904689472/323195069833985960313374581*t^15 + 518762056015408536566011806272239680/323195069833985960313374581*t^14 - 306565860784591992990453473249627520/6595817751713999190068869*t^13 + 501689829431928819481773932868723840/507370596285692245389913*t^12 - 55371886714878847281450148346317244160/3551594173999845717729391*t^11 + 648409432506571179468208803075909154560/3551594173999845717729391*t^10 - 5619662878951476413630567879758568179200/3551594173999845717729391*t^9 + 35737421231067109365186944346540547699200/3551594173999845717729391*t^8 - 164430104238931030121587378501658586931200/3551594173999845717729391*t^7 + 10944063073965780253531465112067016089600/72481513755098892198559*t^6 - 24568909397604794277794721499157086617600/72481513755098892198559*t^5 + 254588914346254014212236692718283925504000/507370596285692245389913*t^4 - 232365481723348633700351975145584830464000/507370596285692245389913*t^3 + 116552993198005116116010420461270820864000/507370596285692245389913*t^2 - 25664483060394284817539570117013884928000/507370596285692245389913*t + 1402671911392083932326512858295922688000/507370596285692245389913
-------------------------------------------------
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/6*t^3 + 3/2*t^2 - 3*t + 1
Extension levels are: 3 16
-------------------------------------------------
Trying to find an order 16 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^19 + 8165670912386045101475485777/149166955307993520144634422*t^18 - 199672327930814047843076894427/24861159217998920024105737*t^17 + 225353475959261194672383152406197/323195069833985960313374581*t^16 - 12930034434595590654694957904689472/323195069833985960313374581*t^15 + 518762056015408536566011806272239680/323195069833985960313374581*t^14 - 306565860784591992990453473249627520/6595817751713999190068869*t^13 + 501689829431928819481773932868723840/507370596285692245389913*t^12 - 55371886714878847281450148346317244160/3551594173999845717729391*t^11 + 648409432506571179468208803075909154560/3551594173999845717729391*t^10 - 5619662878951476413630567879758568179200/3551594173999845717729391*t^9 + 35737421231067109365186944346540547699200/3551594173999845717729391*t^8 - 164430104238931030121587378501658586931200/3551594173999845717729391*t^7 + 10944063073965780253531465112067016089600/72481513755098892198559*t^6 - 24568909397604794277794721499157086617600/72481513755098892198559*t^5 + 254588914346254014212236692718283925504000/507370596285692245389913*t^4 - 232365481723348633700351975145584830464000/507370596285692245389913*t^3 + 116552993198005116116010420461270820864000/507370596285692245389913*t^2 - 25664483060394284817539570117013884928000/507370596285692245389913*t + 1402671911392083932326512858295922688000/507370596285692245389913
-------------------------------------------------
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 ***
**************************************
