Starting with polynomial:
P : -t+1
Extension levels are: 1 3 5 10
-------------------------------------------------
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
-------------------------------------------------
Trying to find an order 10 Kronrod extension for:
P3 : -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
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : -t^19 + 18129172915950827165815236145092047161539964468819835661256358260696483175670916877073522991134290693411754663454038819213725526741598700707/41215952919744209465658590159694245027925619332151827895933540367845641862942892753425174265977540018762638603103430627032395762558490772*t^18 - 5711825463077453217827706135839497937973882798879925678428761820128683870162800944959715514431407957153890159386430624711681501888589633774433/82431905839488418931317180319388490055851238664303655791867080735691283725885785506850348531955080037525277206206861254064791525116981544*t^17 + 478960735212300518133264323675330236949664430616275404671634275423515980667240364771952228685299309004308929741419854877106620787929043665819379/82431905839488418931317180319388490055851238664303655791867080735691283725885785506850348531955080037525277206206861254064791525116981544*t^16 - 24879895140204732759119770568161906703251536111297508063072403766106244903258514941739949962243264276930055497781948686781972058848423744709741441/82431905839488418931317180319388490055851238664303655791867080735691283725885785506850348531955080037525277206206861254064791525116981544*t^15 + 863735497147065110675009460058612348581514158791145997924520768072162541035965723898299048433262199490803747463809694044971290453458623110755964525/82431905839488418931317180319388490055851238664303655791867080735691283725885785506850348531955080037525277206206861254064791525116981544*t^14 - 10454392033744418245454140937428775322021147722675136733212548687837833961472002310454741362209033013371812463453486513283982349764103008158786753575/41215952919744209465658590159694245027925619332151827895933540367845641862942892753425174265977540018762638603103430627032395762558490772*t^13 + 180816329452723407354909029090561182799257259289567697607866278123838951293171919065825010403235492541408397153111708686352029265558112664729165322025/41215952919744209465658590159694245027925619332151827895933540367845641862942892753425174265977540018762638603103430627032395762558490772*t^12 - 565899978639549161381520933137352505593155370383681801756810084951824763701475620120333085236148644127943659526703596548152421653472453337994824474675/10303988229936052366414647539923561256981404833037956973983385091961410465735723188356293566494385004690659650775857656758098940639622693*t^11 + 5152177764321200883509281825104046837592829502928798561695519998806941567715579613274264342991634680103780910205414566352483474929364036810957572653075/10303988229936052366414647539923561256981404833037956973983385091961410465735723188356293566494385004690659650775857656758098940639622693*t^10 - 34043016202872830079051459474059110856487593505208011853342926711511267231713323758448459510573818601669085522245982912331658604354870991058514274662150/10303988229936052366414647539923561256981404833037956973983385091961410465735723188356293566494385004690659650775857656758098940639622693*t^9 + 161828132580675236366835876130964992919552210034242001608007332468905841575481759175096176209807767280410448275525483794722074581653156148202261754405650/10303988229936052366414647539923561256981404833037956973983385091961410465735723188356293566494385004690659650775857656758098940639622693*t^8 - 544432115544923446085857329866877119079409477814073417148986212543226132037028976223858425848374972980369822233730493500107303387713810317484309136170800/10303988229936052366414647539923561256981404833037956973983385091961410465735723188356293566494385004690659650775857656758098940639622693*t^7 + 1262191946169880774707122471789496168780783393959507411536244445119380657017118219075591549561499805001108536775952197853227269911986243063869032208668400/10303988229936052366414647539923561256981404833037956973983385091961410465735723188356293566494385004690659650775857656758098940639622693*t^6 - 1933589811621966983140707600478758468310578256756406802770618646102824526109424349617347957840229605108524986426328933122699601943445681678177689266477600/10303988229936052366414647539923561256981404833037956973983385091961410465735723188356293566494385004690659650775857656758098940639622693*t^5 + 1830606243476030529507598143585566187401973815406353828951349730130398622756323203531936408788550742651815585718226824564839071599890340431030962863692000/10303988229936052366414647539923561256981404833037956973983385091961410465735723188356293566494385004690659650775857656758098940639622693*t^4 - 958924873857723591693388514597885155958193678222106216641475896429993808312035073246210559210726441304187800085635559627822898074604511954639841373232000/10303988229936052366414647539923561256981404833037956973983385091961410465735723188356293566494385004690659650775857656758098940639622693*t^3 + 228859243926226962815174173994019107760066077466267751448271879899386250100714389052902837125128684545054546602407245253688100237647400764174136343984000/10303988229936052366414647539923561256981404833037956973983385091961410465735723188356293566494385004690659650775857656758098940639622693*t^2 - 17540390367533582267965013561068182587358984069504072153541947852499673360583906004769299246114089261331510935549979100415444288814366199361552925152000/10303988229936052366414647539923561256981404833037956973983385091961410465735723188356293566494385004690659650775857656758098940639622693*t + 415668256059646835393247493216751602653200092972405655986829199615350954160518195345689104258732078656634991133847322324231363689947237245686192288000/10303988229936052366414647539923561256981404833037956973983385091961410465735723188356293566494385004690659650775857656758098940639622693
-------------------------------------------------
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:   17 out of 19
Indefinite weights: 0 out of 19
Negative weights:   2 out of 19
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
Starting with polynomial:
P : -t+1
Extension levels are: 1 3 5 10
-------------------------------------------------
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
-------------------------------------------------
Trying to find an order 10 Kronrod extension for:
P3 : -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
Solvable: 1
-------------------------------------------------
Ending with final polynomial:
P : -t^19 + 18129172915950827165815236145092047161539964468819835661256358260696483175670916877073522991134290693411754663454038819213725526741598700707/41215952919744209465658590159694245027925619332151827895933540367845641862942892753425174265977540018762638603103430627032395762558490772*t^18 - 5711825463077453217827706135839497937973882798879925678428761820128683870162800944959715514431407957153890159386430624711681501888589633774433/82431905839488418931317180319388490055851238664303655791867080735691283725885785506850348531955080037525277206206861254064791525116981544*t^17 + 478960735212300518133264323675330236949664430616275404671634275423515980667240364771952228685299309004308929741419854877106620787929043665819379/82431905839488418931317180319388490055851238664303655791867080735691283725885785506850348531955080037525277206206861254064791525116981544*t^16 - 24879895140204732759119770568161906703251536111297508063072403766106244903258514941739949962243264276930055497781948686781972058848423744709741441/82431905839488418931317180319388490055851238664303655791867080735691283725885785506850348531955080037525277206206861254064791525116981544*t^15 + 863735497147065110675009460058612348581514158791145997924520768072162541035965723898299048433262199490803747463809694044971290453458623110755964525/82431905839488418931317180319388490055851238664303655791867080735691283725885785506850348531955080037525277206206861254064791525116981544*t^14 - 10454392033744418245454140937428775322021147722675136733212548687837833961472002310454741362209033013371812463453486513283982349764103008158786753575/41215952919744209465658590159694245027925619332151827895933540367845641862942892753425174265977540018762638603103430627032395762558490772*t^13 + 180816329452723407354909029090561182799257259289567697607866278123838951293171919065825010403235492541408397153111708686352029265558112664729165322025/41215952919744209465658590159694245027925619332151827895933540367845641862942892753425174265977540018762638603103430627032395762558490772*t^12 - 565899978639549161381520933137352505593155370383681801756810084951824763701475620120333085236148644127943659526703596548152421653472453337994824474675/10303988229936052366414647539923561256981404833037956973983385091961410465735723188356293566494385004690659650775857656758098940639622693*t^11 + 5152177764321200883509281825104046837592829502928798561695519998806941567715579613274264342991634680103780910205414566352483474929364036810957572653075/10303988229936052366414647539923561256981404833037956973983385091961410465735723188356293566494385004690659650775857656758098940639622693*t^10 - 34043016202872830079051459474059110856487593505208011853342926711511267231713323758448459510573818601669085522245982912331658604354870991058514274662150/10303988229936052366414647539923561256981404833037956973983385091961410465735723188356293566494385004690659650775857656758098940639622693*t^9 + 161828132580675236366835876130964992919552210034242001608007332468905841575481759175096176209807767280410448275525483794722074581653156148202261754405650/10303988229936052366414647539923561256981404833037956973983385091961410465735723188356293566494385004690659650775857656758098940639622693*t^8 - 544432115544923446085857329866877119079409477814073417148986212543226132037028976223858425848374972980369822233730493500107303387713810317484309136170800/10303988229936052366414647539923561256981404833037956973983385091961410465735723188356293566494385004690659650775857656758098940639622693*t^7 + 1262191946169880774707122471789496168780783393959507411536244445119380657017118219075591549561499805001108536775952197853227269911986243063869032208668400/10303988229936052366414647539923561256981404833037956973983385091961410465735723188356293566494385004690659650775857656758098940639622693*t^6 - 1933589811621966983140707600478758468310578256756406802770618646102824526109424349617347957840229605108524986426328933122699601943445681678177689266477600/10303988229936052366414647539923561256981404833037956973983385091961410465735723188356293566494385004690659650775857656758098940639622693*t^5 + 1830606243476030529507598143585566187401973815406353828951349730130398622756323203531936408788550742651815585718226824564839071599890340431030962863692000/10303988229936052366414647539923561256981404833037956973983385091961410465735723188356293566494385004690659650775857656758098940639622693*t^4 - 958924873857723591693388514597885155958193678222106216641475896429993808312035073246210559210726441304187800085635559627822898074604511954639841373232000/10303988229936052366414647539923561256981404833037956973983385091961410465735723188356293566494385004690659650775857656758098940639622693*t^3 + 228859243926226962815174173994019107760066077466267751448271879899386250100714389052902837125128684545054546602407245253688100237647400764174136343984000/10303988229936052366414647539923561256981404833037956973983385091961410465735723188356293566494385004690659650775857656758098940639622693*t^2 - 17540390367533582267965013561068182587358984069504072153541947852499673360583906004769299246114089261331510935549979100415444288814366199361552925152000/10303988229936052366414647539923561256981404833037956973983385091961410465735723188356293566494385004690659650775857656758098940639622693*t + 415668256059646835393247493216751602653200092972405655986829199615350954160518195345689104258732078656634991133847322324231363689947237245686192288000/10303988229936052366414647539923561256981404833037956973983385091961410465735723188356293566494385004690659650775857656758098940639622693
-------------------------------------------------
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:   17 out of 19
Indefinite weights: 0 out of 19
Negative weights:   2 out of 19
Extension rule has valid weights: 0
**************************************
*** EXTENSION WITH INVALID WEIGHTS ***
**************************************
