Starting with polynomial:
P : -t+1
Extension levels are: 1 3 5
-------------------------------------------------
Trying to find an order 3 Kronrod extension for:
P1 : -t+1
Solvable: 1
-------------------------------------------------
Trying to find an order 5 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^9 + 8913807221/174577516*t^8 - 346896933499/349155032*t^7 + 3329250396937/349155032*t^6 - 8538378231899/174577516*t^5 + 23551735187795/174577516*t^4 - 8100489458905/43644379*t^3 + 4370729197935/43644379*t^2 - 409117906830/43644379*t + 10559938470/43644379
-------------------------------------------------
Computing nodes and weights
  current precision for roots: 53
  current precision for roots: 106
 current precision for weights: 53
Linear system for weights solvable: 1
  current precision for roots: 106
  current precision for roots: 212
 current precision for weights: 106
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   7 out of 9
Indefinite weights: 0 out of 9
Negative weights:   2 out of 9
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
Starting with polynomial:
P : -t+1
Extension levels are: 1 3 5
-------------------------------------------------
Trying to find an order 3 Kronrod extension for:
P1 : -t+1
Solvable: 1
-------------------------------------------------
Trying to find an order 5 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^9 + 8913807221/174577516*t^8 - 346896933499/349155032*t^7 + 3329250396937/349155032*t^6 - 8538378231899/174577516*t^5 + 23551735187795/174577516*t^4 - 8100489458905/43644379*t^3 + 4370729197935/43644379*t^2 - 409117906830/43644379*t + 10559938470/43644379
-------------------------------------------------
Computing nodes and weights
  current precision for roots: 53
  current precision for roots: 106
 current precision for weights: 53
Linear system for weights solvable: 1
  current precision for roots: 106
  current precision for roots: 212
 current precision for weights: 106
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   7 out of 9
Indefinite weights: 0 out of 9
Negative weights:   2 out of 9
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
