Starting with polynomial:
P : 1/2*t^2 - 2*t + 1
Extension levels are: 2 4 10
-------------------------------------------------
Trying to find an order 4 Kronrod extension for:
P1 : 1/2*t^2 - 2*t + 1
Solvable: 1
-------------------------------------------------
Trying to find an order 10 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^16 - 292173063381769188885659143176073462259/3233736358401636464284029595530107466*t^15 + 8866894761251573693934378407659476061234/1257564139378414180554900398261708459*t^14 - 3550220871252920459520106539306074017801921/11318077254405727624994103584355376131*t^13 + 100166363188257100477947302941243354556549182/11318077254405727624994103584355376131*t^12 - 209766727991552871863682238835156525876481164/1257564139378414180554900398261708459*t^11 + 8137008982201049549362926677975977100014487648/3772692418135242541664701194785125377*t^10 - 73051081580364610933615910473842399932391551960/3772692418135242541664701194785125377*t^9 + 152069324525843486802280375149415709416440936720/1257564139378414180554900398261708459*t^8 - 656334955729348503046908570854592834628400379840/1257564139378414180554900398261708459*t^7 + 275502609574692963704057818176693334896222754560/179652019911202025793557199751672637*t^6 - 41331785206859293652485295067938984078733425280/13819386147015540445658246134744049*t^5 + 668922240324468528432584568967005648143178105600/179652019911202025793557199751672637*t^4 - 38584414923100472377180413606184989424955251200/13819386147015540445658246134744049*t^3 + 207266831782331883505437263205993622296083251200/179652019911202025793557199751672637*t^2 - 39870930308786943679627682387490513007745817600/179652019911202025793557199751672637*t + 94293679777327017406001399042331467007436800/7810957387443566338850313032681419
-------------------------------------------------
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:   15 out of 16
Indefinite weights: 0 out of 16
Negative weights:   1 out of 16
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 10
-------------------------------------------------
Trying to find an order 4 Kronrod extension for:
P1 : 1/2*t^2 - 2*t + 1
Solvable: 1
-------------------------------------------------
Trying to find an order 10 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^16 - 292173063381769188885659143176073462259/3233736358401636464284029595530107466*t^15 + 8866894761251573693934378407659476061234/1257564139378414180554900398261708459*t^14 - 3550220871252920459520106539306074017801921/11318077254405727624994103584355376131*t^13 + 100166363188257100477947302941243354556549182/11318077254405727624994103584355376131*t^12 - 209766727991552871863682238835156525876481164/1257564139378414180554900398261708459*t^11 + 8137008982201049549362926677975977100014487648/3772692418135242541664701194785125377*t^10 - 73051081580364610933615910473842399932391551960/3772692418135242541664701194785125377*t^9 + 152069324525843486802280375149415709416440936720/1257564139378414180554900398261708459*t^8 - 656334955729348503046908570854592834628400379840/1257564139378414180554900398261708459*t^7 + 275502609574692963704057818176693334896222754560/179652019911202025793557199751672637*t^6 - 41331785206859293652485295067938984078733425280/13819386147015540445658246134744049*t^5 + 668922240324468528432584568967005648143178105600/179652019911202025793557199751672637*t^4 - 38584414923100472377180413606184989424955251200/13819386147015540445658246134744049*t^3 + 207266831782331883505437263205993622296083251200/179652019911202025793557199751672637*t^2 - 39870930308786943679627682387490513007745817600/179652019911202025793557199751672637*t + 94293679777327017406001399042331467007436800/7810957387443566338850313032681419
-------------------------------------------------
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:   15 out of 16
Indefinite weights: 0 out of 16
Negative weights:   1 out of 16
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
