Starting with polynomial:
P : -t+1
Extension levels are: 1 6 13
-------------------------------------------------
Trying to find an order 6 Kronrod extension for:
P1 : -t+1
Solvable: 1
-------------------------------------------------
Trying to find an order 13 Kronrod extension for:
P2 : -t^7 + 8861/185*t^6 - 155826/185*t^5 + 253590/37*t^4 - 989880/37*t^3 + 1737720/37*t^2 - 1129104/37*t + 157104/37
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : -t^20 + 752089194571788570728414557926772001746048837156649676706031401266347/2333310645066918726436524545009735180978277299888392238579524071870*t^19 - 107844328782198048824368161679444262398750316964847618844738507353676477/2333310645066918726436524545009735180978277299888392238579524071870*t^18 + 1520131042152057404868840991849318697225507361965014721640716332975918464/388885107511153121072754090834955863496379549981398706429920678645*t^17 - 84763172684997279516578363312705666288506410225123787398420372779565550302/388885107511153121072754090834955863496379549981398706429920678645*t^16 + 3300182128809861302713121735694070169765613299936805822408967894735264408713/388885107511153121072754090834955863496379549981398706429920678645*t^15 - 129780991387449968578272808511997998641357845164927959496442646709922641515905/544439150515614369501855727168938208894931369973958189001888950103*t^14 + 2680444556662456457279528491011567303133192074893174782964959734411412791080130/544439150515614369501855727168938208894931369973958189001888950103*t^13 - 41117542246699048880174370215367459395687427279068637491637481739628759665853810/544439150515614369501855727168938208894931369973958189001888950103*t^12 + 470117745529470572691295780368195987569789259177498147011379808162577863270811880/544439150515614369501855727168938208894931369973958189001888950103*t^11 - 3998667381403374589877639591301211996874888072856135946518764106675436018077112920/544439150515614369501855727168938208894931369973958189001888950103*t^10 + 25124412913097791024871142032812736605029310730431003278939350176341702256934877840/544439150515614369501855727168938208894931369973958189001888950103*t^9 - 115169090157624001824858068699302854663880719088794001367260002876393145623471429840/544439150515614369501855727168938208894931369973958189001888950103*t^8 + 377972226875210251018101657950080440308214465966813825807811851323041834577312407680/544439150515614369501855727168938208894931369973958189001888950103*t^7 - 123494339879588589635495419084583782188113004329874995721697897553344532595345582720/77777021502230624214550818166991172699275909996279741285984135729*t^6 + 189425501053401159379011196341484987637514681725881448219142238390594561565701658880/77777021502230624214550818166991172699275909996279741285984135729*t^5 - 184401682208484970620402997013929802404006243473466369600553408650427512784802105600/77777021502230624214550818166991172699275909996279741285984135729*t^4 + 105080697977725623610771262279956759893656991883141997799225150784501201446841113600/77777021502230624214550818166991172699275909996279741285984135729*t^3 - 31192300739491601760709310705052054508076655737612272836748598038016328445112755200/77777021502230624214550818166991172699275909996279741285984135729*t^2 + 4142959589770734624731926358629427584718905710536096355997334965738652933373081600/77777021502230624214550818166991172699275909996279741285984135729*t - 183755453306419234861395875138105296115918587523622626068679487349624426986854400/77777021502230624214550818166991172699275909996279741285984135729
-------------------------------------------------
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:   19 out of 20
Indefinite weights: 0 out of 20
Negative weights:   1 out of 20
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
Starting with polynomial:
P : -t+1
Extension levels are: 1 6 13
-------------------------------------------------
Trying to find an order 6 Kronrod extension for:
P1 : -t+1
Solvable: 1
-------------------------------------------------
Trying to find an order 13 Kronrod extension for:
P2 : -t^7 + 8861/185*t^6 - 155826/185*t^5 + 253590/37*t^4 - 989880/37*t^3 + 1737720/37*t^2 - 1129104/37*t + 157104/37
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : -t^20 + 752089194571788570728414557926772001746048837156649676706031401266347/2333310645066918726436524545009735180978277299888392238579524071870*t^19 - 107844328782198048824368161679444262398750316964847618844738507353676477/2333310645066918726436524545009735180978277299888392238579524071870*t^18 + 1520131042152057404868840991849318697225507361965014721640716332975918464/388885107511153121072754090834955863496379549981398706429920678645*t^17 - 84763172684997279516578363312705666288506410225123787398420372779565550302/388885107511153121072754090834955863496379549981398706429920678645*t^16 + 3300182128809861302713121735694070169765613299936805822408967894735264408713/388885107511153121072754090834955863496379549981398706429920678645*t^15 - 129780991387449968578272808511997998641357845164927959496442646709922641515905/544439150515614369501855727168938208894931369973958189001888950103*t^14 + 2680444556662456457279528491011567303133192074893174782964959734411412791080130/544439150515614369501855727168938208894931369973958189001888950103*t^13 - 41117542246699048880174370215367459395687427279068637491637481739628759665853810/544439150515614369501855727168938208894931369973958189001888950103*t^12 + 470117745529470572691295780368195987569789259177498147011379808162577863270811880/544439150515614369501855727168938208894931369973958189001888950103*t^11 - 3998667381403374589877639591301211996874888072856135946518764106675436018077112920/544439150515614369501855727168938208894931369973958189001888950103*t^10 + 25124412913097791024871142032812736605029310730431003278939350176341702256934877840/544439150515614369501855727168938208894931369973958189001888950103*t^9 - 115169090157624001824858068699302854663880719088794001367260002876393145623471429840/544439150515614369501855727168938208894931369973958189001888950103*t^8 + 377972226875210251018101657950080440308214465966813825807811851323041834577312407680/544439150515614369501855727168938208894931369973958189001888950103*t^7 - 123494339879588589635495419084583782188113004329874995721697897553344532595345582720/77777021502230624214550818166991172699275909996279741285984135729*t^6 + 189425501053401159379011196341484987637514681725881448219142238390594561565701658880/77777021502230624214550818166991172699275909996279741285984135729*t^5 - 184401682208484970620402997013929802404006243473466369600553408650427512784802105600/77777021502230624214550818166991172699275909996279741285984135729*t^4 + 105080697977725623610771262279956759893656991883141997799225150784501201446841113600/77777021502230624214550818166991172699275909996279741285984135729*t^3 - 31192300739491601760709310705052054508076655737612272836748598038016328445112755200/77777021502230624214550818166991172699275909996279741285984135729*t^2 + 4142959589770734624731926358629427584718905710536096355997334965738652933373081600/77777021502230624214550818166991172699275909996279741285984135729*t - 183755453306419234861395875138105296115918587523622626068679487349624426986854400/77777021502230624214550818166991172699275909996279741285984135729
-------------------------------------------------
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:   19 out of 20
Indefinite weights: 0 out of 20
Negative weights:   1 out of 20
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
