Starting with polynomial:
P : 1/2*t^2 - 2*t + 1
Extension levels are: 2 4 8
-------------------------------------------------
Trying to find an order 4 Kronrod extension for:
P1 : 1/2*t^2 - 2*t + 1
Solvable: 1
-------------------------------------------------
Trying to find an order 8 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^14 - 68468140728749609702307901414/964619745804684818260447607*t^13 + 20600186767010387827980038245807/4823098729023424091302238035*t^12 - 62848627435315304476222236435824/438463520820311281027476185*t^11 + 14332341208124551894228202778540628/4823098729023424091302238035*t^10 - 38445113137551123601775416867675024/964619745804684818260447607*t^9 + 1699500902117619342758314009148737464/4823098729023424091302238035*t^8 - 583344540317292221581923707434664448/283711689942554358311896355*t^7 + 37701118805892846728289810019171156032/4823098729023424091302238035*t^6 - 90929997175525446695981720898071303424/4823098729023424091302238035*t^5 + 26698671745265902487418309812405304960/964619745804684818260447607*t^4 - 22505109416438400686866500273739216896/964619745804684818260447607*t^3 + 10012609720901492737315377563765205504/964619745804684818260447607*t^2 - 1990224198838589536387090808487733248/964619745804684818260447607*t + 102334989400884431273257113370070016/964619745804684818260447607
-------------------------------------------------
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
  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:   13 out of 14
Indefinite weights: 0 out of 14
Negative weights:   1 out of 14
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 8
-------------------------------------------------
Trying to find an order 4 Kronrod extension for:
P1 : 1/2*t^2 - 2*t + 1
Solvable: 1
-------------------------------------------------
Trying to find an order 8 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^14 - 68468140728749609702307901414/964619745804684818260447607*t^13 + 20600186767010387827980038245807/4823098729023424091302238035*t^12 - 62848627435315304476222236435824/438463520820311281027476185*t^11 + 14332341208124551894228202778540628/4823098729023424091302238035*t^10 - 38445113137551123601775416867675024/964619745804684818260447607*t^9 + 1699500902117619342758314009148737464/4823098729023424091302238035*t^8 - 583344540317292221581923707434664448/283711689942554358311896355*t^7 + 37701118805892846728289810019171156032/4823098729023424091302238035*t^6 - 90929997175525446695981720898071303424/4823098729023424091302238035*t^5 + 26698671745265902487418309812405304960/964619745804684818260447607*t^4 - 22505109416438400686866500273739216896/964619745804684818260447607*t^3 + 10012609720901492737315377563765205504/964619745804684818260447607*t^2 - 1990224198838589536387090808487733248/964619745804684818260447607*t + 102334989400884431273257113370070016/964619745804684818260447607
-------------------------------------------------
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
  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:   13 out of 14
Indefinite weights: 0 out of 14
Negative weights:   1 out of 14
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
