> > > save "spread_sheet.mws"; Saving Magma state to "spread_sheet.mws" > > > > ray_group; function(D, f) ... end function > D:=3601; > D:=3601; > > ray_group(D,f); Abelian Group isomorphic to Z/2 + Z/2 + Z/20 Defined on 3 generators Relations: 20*$.1 = 0 2*$.2 = 0 2*$.3 = 0 Mapping from: Abelian Group isomorphic to Z/2 + Z/2 + Z/20 Defined on 3 generators Relations: 20*$.1 = 0 2*$.2 = 0 2*$.3 = 0 to Set of ideals of Maximal Order of Quadratic Field with defining polynomial $.1^2 - 3601 over the Rational Field > > > > poly,vecteur_valuation,vecteur_racines_unite,vecteur_log_unites:=calculs_polynome_speed_3(p, f, N_0, D, delta, j, V1, V2, V3, V4,V5,V6,V7, precision); 201 201 [ 2, 1/16144*(t - 5385) ] Ordre de conducteur 1 Ordre de conducteur 1 1/16144*(t - 5385) [-638999 -215520] [1937280 653401] 120*t + 7201 epsilon est egal a -1 [ -1, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/4145152*(t - 447977) ] Ordre de conducteur 1 Ordre de conducteur 1 1/4145152*(t - 447977) [-53750039 -5809680] [497418240 53764441] 120*t + 7201 epsilon est egal a 1 [ -1, -3, -2, 5, -4, 2, 3, 1, -2, -2, -2, -2, -2, 3, 1, 2, 3, 1, 5, 5, -1, -3, -2, -1, -3, -2, -1, -3, -2, 4, -5, 2, 3, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/32360*(t + 5391) ] Ordre de conducteur 1 Ordre de conducteur 1 1/32360*(t + 5391) [ 654121 -107760] [3883200 -639719] 120*t + 7201 epsilon est egal a -1 [ -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, 3, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -3, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/8290304*(t - 4593129) ] Ordre de conducteur 1 Ordre de conducteur 1 1/8290304*(t - 4593129) [-551168279 -305371200] [ 994836480 551182681] 120*t + 7201 epsilon est egal a 1 [ -1, 5, 5, -4, 5, -4, -5, -5, -1, -1, -1, -5, -5, -5, -4, 3, 5, 5, 5, 5, 5, 4, -5, 4, -5, -5, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/8*(t - 1) ] Ordre de conducteur 1 Ordre de conducteur 1 1/8*(t - 1) [ 7081 54000] [ 960 7321] 120*t + 7201 epsilon est egal a 1 [ 1, 1, 1, 1, 1, 1, 1, 5, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -5, 1, 1, 1, 1, 1, 1, 1, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/16580608*(t - 4593129) ] Ordre de conducteur 1 Ordre de conducteur 1 1/16580608*(t - 4593129) [-551168279 -152685600] [1989672960 551182681] 120*t + 7201 epsilon est egal a 1 [ -1, -4, -2, -2, -2, -2, 4, -3, -1, -1, -3, 4, -3, 5, -4, 2, 3, -4, 3, -4, 3, -4, 2, 2, 2, 2, 4, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/16*(t - 9) ] Ordre de conducteur 1 Ordre de conducteur 1 1/16*(t - 9) [ 6121 26400] [ 1920 8281] 120*t + 7201 epsilon est egal a 1 [ 1, 1, 1, -2, 4, -3, 4, -3, 4, -5, 4, 1, 1, 1, 1, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/33161216*(t - 4593129) ] Ordre de conducteur 1 Ordre de conducteur 1 1/33161216*(t - 4593129) [-551168279 -76342800] [3979345920 551182681] 120*t + 7201 epsilon est egal a 1 [ -1, -3, -2, 3, -1, -1, -3, 5, -1, -3, -2, 4, -3, -2, -2, 3, 1, 3, -4, 3, 1, 1, -3, 2, 3, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/32*(t - 9) ] Ordre de conducteur 1 Ordre de conducteur 1 1/32*(t - 9) [ 6121 13200] [ 3840 8281] 120*t + 7201 epsilon est egal a 1 [ 1, -5, -1, -3, 4, -3, 2, 2, 2, 3, 1, 1, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/66322432*(t - 37754345) ] Ordre de conducteur 1 Ordre de conducteur 1 1/66322432*(t - 37754345) [-4530514199 -2579019840] [ 7958691840 4530528601] 120*t + 7201 epsilon est egal a 1 [ -1, 5, 2, 3, -1, -3, -2, 5, -4, -1, -3, -2, -1, -3, -1, 2, 3, 1, 2, 3, -4, 2, 3, 1, -3, -2, -5, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/64*(t - 41) ] Ordre de conducteur 1 Ordre de conducteur 1 1/64*(t - 41) [ 2281 3600] [ 7680 12121] 120*t + 7201 epsilon est egal a 1 [ 4, 5, -3, 1, -5, 1, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/132644864*(t - 37754345) ] Ordre de conducteur 1 Ordre de conducteur 1 1/132644864*(t - 37754345) [-4530514199 -1289509920] [15917383680 4530528601] 120*t + 7201 epsilon est egal a 1 [ -1, -4, 2, 3, 1, 2, 3, 5, 5, -4, 5, -4, 5, 5, 5, 5, -3, -2, -1, -5, -5, -5, -4, -5, -3, -2, -1, -3, -2, 4, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/128*(t + 23) ] Ordre de conducteur 1 Ordre de conducteur 1 1/128*(t + 23) [ 9961 2880] [15360 4441] 120*t + 7201 epsilon est egal a 1 [ -5, 4, -5, -2, 5, 1, 4, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/265289728*(t - 37754345) ] Ordre de conducteur 1 Ordre de conducteur 1 1/265289728*(t - 37754345) [-4530514199 -644754960] [31834767360 4530528601] 120*t + 7201 epsilon est egal a 1 [ -1, -3, -2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, -4, -2, -2, -2, -2, 3, -4, 3, -4, 5, 5, 4, -3, 4, -3, -2, -2, 4, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, 2, 3, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/256*(t + 23) ] Ordre de conducteur 1 Ordre de conducteur 1 1/256*(t + 23) [ 9961 1440] [30720 4441] 120*t + 7201 epsilon est egal a 1 [ 4, -5, 4, -5, 4, -5, -1, -3, -2, 3, 1, 2, 2, 3, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/17195019010048*(t - 5320953828841) ] Ordre de conducteur 1 Ordre de conducteur 1 1/17195019010048*(t - 5320953828841) [-638514459453719 -197586635749200] [2063402281205760 638514459468121] 120*t + 7201 epsilon est egal a 1 [ -1, -4, 5, -3, -2, -2, -2, -2, -2, -2, -2, -2, -1, -4, 5, -4, 2, 3, 1, 2, 3, 1, 1, 4, -5, 4, -5, -5, 4, -5, 2, 3, 5, -1, -3, -2, -1, -3, -2, 4, -5, 4, 1, 2, 2, 2, 2, 2, 2, 2, 2, 3, -5, 4, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/34390038020096*(t - 22515972838889) ] Ordre de conducteur 1 Ordre de conducteur 1 1/34390038020096*(t - 22515972838889) [-2701916740659479 -1769008917938400] [ 4126804562411520 2701916740673881] 120*t + 7201 epsilon est egal a 1 [ -1, 5, -4, 5, -4, 5, -1, -1, -1, -1, -3, -2, -1, -3, -2, -2, -2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, -5, 4, -5, 4, -5, 4, -5, 4, -3, 2, 2, 2, 3, 1, 2, 3, -4, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, 2, 2, 2, 3, 1, 2, 3, 1, 1, 1, 1, -5, 4, -5, 4, -5, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/68780076040192*(t - 22515972838889) ] Ordre de conducteur 1 Ordre de conducteur 1 1/68780076040192*(t - 22515972838889) [-2701916740659479 -884504458969200] [ 8253609124823040 2701916740673881] 120*t + 7201 epsilon est egal a 1 [ -1, -4, 5, -4, 5, -4, 5, -4, 5, -4, -1, -1, 5, 5, 5, -1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, 1, 1, 2, 3, 1, 2, 3, 1, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, 1, -5, -5, -5, 1, 1, 4, -5, 4, -5, 4, -5, 4, -5, 4, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/530579456*(t - 303044073) ] Ordre de conducteur 1 Ordre de conducteur 1 1/530579456*(t - 303044073) [-36365281559 -20770282560] [ 63669534720 36365295961] 120*t + 7201 epsilon est egal a 1 [ -1, 5, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 3, -1, -1, -4, -2, 3, -4, 2, 4, -1, -3, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -5, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/16192*(t - 10793) ] Ordre de conducteur 1 Ordre de conducteur 1 1/16192*(t - 10793) [-1287959 -863280] [ 1943040 1302361] 120*t + 7201 epsilon est egal a 1 [ -1, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/512*(t + 23) ] Ordre de conducteur 1 Ordre de conducteur 1 1/512*(t + 23) [ 9961 720] [61440 4441] 120*t + 7201 epsilon est egal a 1 [ 2, 2, 2, 2, 2, 2, -1, -3, -2, -1, -5, -5, 1, 2, 3, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/32384*(t + 5399) ] Ordre de conducteur 1 Ordre de conducteur 1 1/32384*(t + 5399) [ 655081 -108000] [3886080 -640679] 120*t + 7201 epsilon est egal a 1 [ -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, 3, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -3, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/1024*(t - 489) ] Ordre de conducteur 1 Ordre de conducteur 1 1/1024*(t - 489) [-51479 -27600] [122880 65881] 120*t + 7201 epsilon est egal a 1 [ -1, -5, 1, 1, 1, 5, 5, 5, 4, -3, -5, -5, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/64768*(t + 5399) ] Ordre de conducteur 1 Ordre de conducteur 1 1/64768*(t + 5399) [ 655081 -54000] [7772160 -640679] 120*t + 7201 epsilon est egal a 1 [ 2, 3, -1, -1, -1, -1, -1, -1, -1, -5, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 5, -1, -1, -1, -1, -1, -1, -1, -1, -3, -2 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/2048*(t - 1513) ] Ordre de conducteur 1 Ordre de conducteur 1 1/2048*(t - 1513) [-174359 -133920] [ 245760 188761] 120*t + 7201 epsilon est egal a 1 [ -1, 4, 1, 1, 3, -4, 3, -5, 4, -3, -2, 4, -3, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/129536*(t - 59369) ] Ordre de conducteur 1 Ordre de conducteur 1 1/129536*(t - 59369) [-7117079 -3265200] [15544320 7131481] 120*t + 7201 epsilon est egal a 1 [ -1, -5, -5, -1, -1, -1, -1, -3, 2, 3, -4, 3, -4, 3, -4, 5, -4, -1, -1, -1, -1, 5, 5, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/8597509505024*(t - 5320953828841) ] Ordre de conducteur 1 Ordre de conducteur 1 1/8597509505024*(t - 5320953828841) [-638514459453719 -395173271498400] [1031701140602880 638514459468121] 120*t + 7201 epsilon est egal a 1 [ -1, 5, -3, 5, -4, 5, -4, 5, -4, 5, -3, -2, 3, -4, 5, 2, 3, 1, 1, 1, -5, 4, 1, 4, -2, -1, -1, -3, -2, -5, 4, -3, 2, 3, -5, 4, -5, 4, -5, 4, -5, 3, -5, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/4096*(t - 1513) ] Ordre de conducteur 1 Ordre de conducteur 1 1/4096*(t - 1513) [-174359 -66960] [ 491520 188761] 120*t + 7201 epsilon est egal a 1 [ -1, -5, 4, -5, 1, 2, 3, -4, 2, 2, -1, -3, 5, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/259072*(t - 188905) ] Ordre de conducteur 1 Ordre de conducteur 1 1/259072*(t - 188905) [-22661399 -16529040] [ 31088640 22675801] 120*t + 7201 epsilon est egal a 1 [ -1, 4, -3, -1, -1, 5, 1, 3, -4, -2, -2, -2, -1, -1, 3, -4, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/8192*(t - 5609) ] Ordre de conducteur 1 Ordre de conducteur 1 1/8192*(t - 5609) [-665879 -460800] [ 983040 680281] 120*t + 7201 epsilon est egal a 1 [ -1, 4, -5, 4, -5, 4, 1, 2, 3, 1, 3, 1, -3, -2, -1, -3, -2, 5, -4, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/518144*(t + 70167) ] Ordre de conducteur 1 Ordre de conducteur 1 1/518144*(t + 70167) [ 8427241 -1140240] [62177280 -8412839] 120*t + 7201 epsilon est egal a 1 [ 2, 5, -1, -4, -5, 3, -1, 5, -1, -5, -2 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/16384*(t - 5609) ] Ordre de conducteur 1 Ordre de conducteur 1 1/16384*(t - 5609) [-665879 -230400] [1966080 680281] 120*t + 7201 epsilon est egal a 1 [ -1, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, -5, -5, -5, 2, 3, 1, 5, 5, 5, 5, -4, 5, -4, 5, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/1036288*(t - 447977) ] Ordre de conducteur 1 Ordre de conducteur 1 1/1036288*(t - 447977) [-53750039 -23238720] [124354560 53764441] 120*t + 7201 epsilon est egal a 1 [ -1, -5, -3, -2, 3, 5, -4, 5, -3, 2, 3, -5, -1, -4, -1, -3, 2, 3, 5, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/32768*(t - 5609) ] Ordre de conducteur 1 Ordre de conducteur 1 1/32768*(t - 5609) [-665879 -115200] [3932160 680281] 120*t + 7201 epsilon est egal a 1 [ -1, -3, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 4, -3, 4, -5, -5, -4, 3, -4, -2, -2, -2, -2, 3, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/262144*(t - 5609) ] Ordre de conducteur 1 Ordre de conducteur 1 1/262144*(t - 5609) [ -665879 -14400] [31457280 680281] 120*t + 7201 epsilon est egal a 1 [ -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, 1, 4, -5, 4, -5, -5, 4, -5, 2, 3, 5, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/524288*(t - 5609) ] Ordre de conducteur 1 Ordre de conducteur 1 1/524288*(t - 5609) [ -665879 -7200] [62914560 680281] 120*t + 7201 epsilon est egal a 1 [ -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -5, 4, -5, 4, -5, 4, -5, 4, -3, 2, 2, 2, 3, 1, 2, 3, -4, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/16792010752*(t + 2113579543) ] Ordre de conducteur 1 Ordre de conducteur 1 1/16792010752*(t + 2113579543) [ 253629552361 -31923884880] [2015041290240 -253629537959] 120*t + 7201 epsilon est egal a 1 [ 2, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, -2, -1, -1, -1, -1, -1, -1, -1, 4, -5, 4, -5, 4, -5, -1, -3, -2, 3, 1, 2, 2, 3, 1, 1, 1, 1, 1, 1, 1, 1, 2, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, -2 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/530972672*(t - 76682729) ] Ordre de conducteur 1 Ordre de conducteur 1 1/530972672*(t - 76682729) [-9201920279 -1328936400] [63716720640 9201934681] 120*t + 7201 epsilon est egal a 1 [ -1, -3, -2, -2, -1, -3, -2, -2, -2, -2, -2, 3, -1, -1, -4, -2, 3, -4, 2, 4, -1, -3, 2, 2, 2, 2, 2, 3, 1, 2, 2, 3, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/1061945344*(t - 607655401) ] Ordre de conducteur 1 Ordre de conducteur 1 1/1061945344*(t - 607655401) [-72918640919 -41724756000] [127433441280 72918655321] 120*t + 7201 epsilon est egal a 1 [ -1, 5, -1, -3, -2, -1, -3, -2, -1, -1, -1, -5, -1, 5, -4, -1, -4, -3, 2, 3, 5, 1, 1, 1, 2, 3, 1, 2, 3, 1, -5, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/8495562752*(t - 2731546089) ] Ordre de conducteur 1 Ordre de conducteur 1 1/8495562752*(t - 2731546089) [-327785523479 -105391639200] [1019467530240 327785537881] 120*t + 7201 epsilon est egal a 1 [ -1, -4, 5, -4, 5, -4, 3, -4, 3, -4, 3, -4, 3, -4, -1, -3, -2, -1, -3, -2, 3, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, -1, -1, -3, -2, -1, -3, -2, -1, -3, 2, 2, 3, 1, 2, 3, 1, 4, -3, 4, -3, 4, -3, 4, -3, 4, -5, 4, -5, 4, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule > poly:=rational_reconstruction2(p, D, vecteur_valuation, vecteur_racines_unite, vecteur_log_unites, 197, 0, 3); > > > 2*poly; (2 + O(7^197))*z^80 + ((-1318461626822036232755908451189574*tp - 92873816636403685520941067334448618)*7^-40 + O(7^157))*z^79 + ((61178776535876251634441988214619025163918846849932233431475113240083*tp + 3533584180054310963360468033101842935406367968073116380629960282455653)*7^-80 + O(7^117))*z^78 + ((-20638647505238181361186018721034880964589306844138658473926206575811367688663093799322*tp - 1177712867530061113273547379502342602914807398207802245655464746866288292850991351417014)*7^-100 + O(7^97))*z^77 + ((4770478231892177216231218624487431457815222190878239534885042805123096342337615817825629689129626696342*tp + 282225455418556971503315387708208186184250780449304591585005167992541152385077924278063147239515413981586)*7^-120 + O(7^77))*z^76 + ((-57399141401181307387614196035825789018561606413997498089256510184979055917417962720140870613293433495012158132*tp - 3491016407023929246483833992159610067225455449051086890998759450138682377550584387572812300985004685163012597964)*7^-128 + O(7^69))*z^75 + ((472947335647476259073199879551024965225703150320725942683109286878862110422618884333072506885984493007855729372357103*tp + 29133598401386644694714052218288988518002476558663567612599806109193539588304610020083545971648578645653604471646966857)*7^-136 + O(7^61))*z^74 + ((-1878815940457070837957992148738630370333231487207489691505277387546078405589875738601505045846149673017459724732924602632074*tp - 114646710359984172574200357230527851360511386277994599498134324218312210863361770143203097514159560036865124896116670257251398)*7^-144 + O(7^53))*z^73 + ((-13223379682345980937185433683009140054367951299862748539891087398097533088573499979991060796829356998867549215959856812812849271242*tp - 835043018101115475514223050829388947471462427074878521625893917853845518069444744856839044150454182891604701790964883865835368259626)*7^-152 + O(7^45))*z^72 + ((43781720794107305280782588696873496150988683244869944059316965323688554830886609925762790217148452688579122359782910972019811706076195456*tp + 2684658979912599570699788066958858311767212363984648959920725725735098367991297985436483235148457212182611139687995753328940174724025821792)*7^-159 + O(7^37))*z^71 + ((-2617254478119771540355186181666078237163685746491964915406712003975706969468060616728326204257718212884487168504813274148028490231304315296845248*tp - 156974115018971906987464675747622259551282544379699915187343882893773437655359823217669036869778774717465560770145690724813972175841096877122284016)*7^-168 + O(7^29))*z^70 + ((7969518676285596607711601657709218353984025121800454091078550095531328396436315224209038979371380838162978052599186372250805987928262883073116547744666*tp + 454678228352653271611428015095961531625207046782735444870071642782720274151574084267394661947433193937817650718557567001090341315041767847406786342260534)*7^-176 + O(7^21))*z^69 + ((86206381457686642904699342191795183673032968023808381448482663075624627904551692108833400291647469414403716008112679238545466440512552004147418594224138479184*tp + 5296448782253275146834789066579812444294012076027477693259579262428995061187816923052551749731591165392212717459465942639497180058638727290715077162420437559432)*7^-184 + O(7^13))*z^68 + ((-569024161957652264859910196548315145853130306285066136230292272310731427761461142200399519220649055112929847633238782556846536372934097529034243854001872565449152*tp - 33907613291447393114440291529459597313153967139387225536507466878594206305541469608856900398737146455253336353572664120644924467371286337711863389666100441154844448)*7^-188 + O(7^9))*z^67 + ((1419566751108288131148088751371995970292953378535594505083745768424806370388134460683622148498113681653999269987976206070171532704995239661009368507610628120325713113*tp - 7802630430155173242067756185940451824660114838854397476557868093408224184622549078578506515640967499050003514519174012553511232288199148601481996430037684243137473862)*7^-192 + O(7^5))*z^66 + ((2078664278413596573596663963500838531828894849830394868503851643270196151009649962443551978412068546383702302700278473696955261528710293573063584962300208893091264424*tp + 2532429935432685684634001992909429738548722358028251731447862648624186565724026155748920483318759737143167092587974168623478994923128528550759024878853153094937393223)*7^-196 + O(7))*z^65 + ((-609354115815068234922216628523513019176759820451237757957348031636981836021696058084637089790828231944501365987678683307273149577857522022211772995025533023253796042*tp - 11429887609264729039746766648744340811867351913980334282821755318631949186358290209120513297036302533719888488801298877872644133215973605962119266115448994452736411337)*7^-200 + O(7^-3))*z^64 + ((1881402688150554671334370726764269581733908757731341386113702244966456074949425249380513568530041412632599439756903700697700341728124849708886439840143268017730845412*tp - 1994050204672313376811873212433482536947857830646682874007384501898044187808179110864346309579019610124392322630380138581443647370446898228057531053744509641953894637)*7^-204 + O(7^-7))*z^63 + ((8526415255075487140645900370825646620715271030104338765690993035915662515267509731341563882031295262520861247109585892103831318527312963324998599627492475719904059427*tp - 2283583229137290805303192760012520565708929285364850169558633222007604997975406976815708692091853494389053261567461621779468115869443962005122336578162708806772413817)*7^-208 + O(7^-11))*z^62 + ((13255748530860118347940150102729686309009398077581341883885993402889808978370691226756018442946833122425654722083165428485786564868018898249726229889861856189690647595*tp + 8722086269004640258411606215172321458371683545394169127667296805130666040930266139005935694679917094919744629703852416047142067517036099179398644166201195998956289069)*7^-212 + O(7^-15))*z^61 + ((396739890810330278637235784112525472753218829195340376446334239832722766467169753078825990418918397219585340334118117935638551816212506291230820553526238681961597811*tp + 2491996273552064386593933633171104187904442055645103532863065325233870354200814759916785457183547414280888699581970846702758292183922141020814458660515377408715537114)*7^-216 + O(7^-19))*z^60 + ((-14044409443221926949719071593473097775723367140677299530561629258490102866489061679993743223956974777934712934899462848892062075584025328635673731603755079407971312589*tp + 12892886364496511798540594308098872697941138577210840845383762308585643896677663680377326348306817958805998891059148553067134367184125248118553543921463434082361633065)*7^-220 + O(7^-23))*z^59 + ((-698356463832012140455801123736079510483962357893456584346701159412743345181060198478402399468615357309377806991112672323102215147477483168136377830758520795205701293*tp + 7331510550566198808261941688416693406998786083420130289822440370687664428112277397137593264208817379506101763729949929609817132779913834405308569956118842663306977951)*7^-224 + O(7^-27))*z^58 + ((-12918006735914062163382758410751945009591801419919917453000136320460121715595958380254028390517468995885748210659205745115483542075230241185378137699034581110060220368*tp - 10243737366688264375646148331188424554780549841772326798080334861134654187862616275657180702187246110699853623345575398806352336747475901351220538377700984397288234762)*7^-224 + O(7^-27))*z^57 + ((-7085612294600738153455092442935071132350349180780361328313014285571186342230159381391955168825774035584655080593791149603305283804478578421695575529479131328903159400*tp + 11928344293760964610559115484948634859280445823191596783177271459606483128943504228006295704500121211901471674258076564600648931915056951726258045888983385161332069305)*7^-224 + O(7^-27))*z^56 + ((6384633261226954398023130948852653053718812844978357989819619594714714744991509689544535090503413369708744087162469264081704349946027570319691433246178804031919946621*tp + 8119225910874311122577288206598093880607332364140307924023045976381850084675282673765190175382978586501264102266021762913155521108431546352317953310204237727473223726)*7^-224 + O(7^-27))*z^55 + ((1189445067569850577028738720200169432144064445001064894928981493713702103030767948114850609103605285187276202256803928366584827091995727236654033892798143807214541155*tp - 10515214553930321084448734691797208720871104351254020893519125323683059970879071043965248642550882620022266532207980426529466551385273341790078468567079959901955883434)*7^-224 + O(7^-27))*z^54 + ((-3361737253229376574348332722792960125810412821161004309404617932678984645079439730804979778779560242165983399113270253215964997831575743552467193851944941687157564331*tp - 2655042749433014904287555210992992701581672074840253468755348876953009062327579520181107270965913757964462925222751735412576767390030322031056934014307131789700606255)*7^-224 + O(7^-27))*z^53 + ((3828841893276794321351860658888644671327000214866695257589082439591270272234905072906767596135720222753887732902307174506098529991255402625528050072858382008131394964*tp + 3925565749932115237008507095036847237816329463018369722245447573084132508555317480111966598117357456346845085124742750415542187089557108810609010810732447446248468427)*7^-224 + O(7^-27))*z^52 + ((-3994430207049521369917264945851187021659639162111200606839184122609289802782520988873026206248660767863773327221768150413009091743510984089365770033913836421903816071*tp - 12129857561277297640553548891536687461193658166923035194738475277655175764639253960621546769038711926078938080403771842962460171490860965734937158332149279875803236396)*7^-224 + O(7^-27))*z^51 + ((11346925491074363373160403714544747114987821419322249971851724033243611946309575640806780296275646205445393049661279092966854146138637939132785094688787040669151223973*tp + 7673756900099823409734035199336481734015927414987140763054492059938908537399108353347731726914450580287539514049636969903352802025056340769392758486435397466881513080)*7^-224 + O(7^-27))*z^50 + ((13505178821049924583345118020371144959279897703214875838723212947601851935483284464895823844327994414984061891817687010403411057821960969260024323732113826424570527267*tp - 8874194627785912445233808616509736022323055156315927092053265844561924307017970377776454404487194753543120441513142604021633296437099328365603950333376019547699429752)*7^-224 + O(7^-27))*z^49 + ((3626170513313716508297374831846795042495939177996968782075706505055330570466709904138118075103970304355090017491266543101243584357676272836501566698139199996403523525*tp + 11625387127159000288013652479726962634659257186285189855034646557390026654560899688494382016341404876716967404616117155811111142440058560250630572626028324208834464987)*7^-224 + O(7^-27))*z^48 + ((-11787084189735148229317202144841325902717297234878188425959330105213932858855589309432194172295618586577302970634207069613223305539869727466402983178210559516761096157*tp - 10860673624750848925477199844971434563743290634440491105698514412752339098857870948926428731153623921009931685993747974840360139113755679410715844423135431057334202145)*7^-224 + O(7^-27))*z^47 + ((-11270138671408142807497241538844195268668038692565468188112569904473983667547772082949867777731540450728799957588678878121600710824646959665364721915090752336595628542*tp - 3950861188891681228027275503862545258235765198712582438683296346383548745100058303151829372984722754468016095520594127027913687518063483042687760601148201053385717972)*7^-224 + O(7^-27))*z^46 + ((-357009999735345660313664687164964310984963956422080265730537032975522905600915958881610652746845511764715202595441934111167748376029959974447704231458859571889011938*tp + 2133071366930478765269522882455501224326523756968003460925754878543909417472140451967956750929899517485070985182273730400722376344593094332614098114599446673124135999)*7^-223 + O(7^-27))*z^45 + ((12875896194723294096745099840428646700365762179432067177491994157739040902766013287661503505952429278662618039604294945119727863673228222241525582933894774679981409566*tp + 13067734858869837738562571581287745495688103306609219016275964915450359277797710355555740768131843219704464117106132926106701654356896285488169507370955145337269544981)*7^-224 + O(7^-27))*z^44 + ((-14825457603777153367234959900921562460562077054577547288883048129081004515549730248995833467218536787741327739230792412955680423782923929601266842200402306358549315182*tp - 4423874952459661762921589809110787178392503208069106270175785819653500143848967226596162451714861614724591290132133591464138549377900286144442836994248247361220072623)*7^-224 + O(7^-27))*z^43 + ((-6745697144441043459322595638854656544470010958178551478734187384189914162798194806277864886694913313591189967576250983712307132596111354894458351503418990913536927396*tp + 4153076677375822372548401944735078756394207152881861914922095582955737201180660014523131876582756384328183722128334571321205269748370395683791340793276899712274954905)*7^-224 + O(7^-27))*z^42 + ((8524005988361324586700061599330377446354212917366272561989580133888794598257876623623787007559320828004114818112995249092911790746024292513771514997016679985702121192*tp - 7444760615505020448762558081539909241062599990363934224152209575663455678764521680681745534095406202956775712325425074651306930685104729600405344903850401129773795732)*7^-224 + O(7^-27))*z^41 + ((1195568951298248082709751320178870107586667874492828084890923986391144628047020366324127892180983410762940869118807164237825545841067660778888545629853527532454628147*tp + 9337167961259294086574561376969673982814491073010275811640695682955978733644107293660683051569555205045770561099467813347742193794358986425552546255901572372214297282)*7^-224 + O(7^-27))*z^40 + ((8524005988361324586700061599330377446354212917366272561989580133888794598257876623623787007559320828004114818112995249092911790746024292513771514997016679985702121192*tp - 7444760615505020448762558081539909241062599990363934224152209575663455678764521680681745534095406202956775712325425074651306930685104729600405344903850401129773795732)*7^-224 + O(7^-27))*z^39 + ((-6745697144441043459322595638854656544470010958178551478734187384189914162798194806277864886694913313591189967576250983712307132596111354894458351503418990913536927396*tp + 4153076677375822372548401944735078756394207152881861914922095582955737201180660014523131876582756384328183722128334571321205269748370395683791340793276899712274954905)*7^-224 + O(7^-27))*z^38 + ((-14825457603777153367234959900921562460562077054577547288883048129081004515549730248995833467218536787741327739230792412955680423782923929601266842200402306358549315182*tp - 4423874952459661762921589809110787178392503208069106270175785819653500143848967226596162451714861614724591290132133591464138549377900286144442836994248247361220072623)*7^-224 + O(7^-27))*z^37 + ((12875896194723294096745099840428646700365762179432067177491994157739040902766013287661503505952429278662618039604294945119727863673228222241525582933894774679981409566*tp + 13067734858869837738562571581287745495688103306609219016275964915450359277797710355555740768131843219704464117106132926106701654356896285488169507370955145337269544981)*7^-224 + O(7^-27))*z^36 + ((-357009999735345660313664687164964310984963956422080265730537032975522905600915958881610652746845511764715202595441934111167748376029959974447704231458859571889011938*tp + 2133071366930478765269522882455501224326523756968003460925754878543909417472140451967956750929899517485070985182273730400722376344593094332614098114599446673124135999)*7^-223 + O(7^-27))*z^35 + ((-11270138671408142807497241538844195268668038692565468188112569904473983667547772082949867777731540450728799957588678878121600710824646959665364721915090752336595628542*tp - 3950861188891681228027275503862545258235765198712582438683296346383548745100058303151829372984722754468016095520594127027913687518063483042687760601148201053385717972)*7^-224 + O(7^-27))*z^34 + ((-11787084189735148229317202144841325902717297234878188425959330105213932858855589309432194172295618586577302970634207069613223305539869727466402983178210559516761096157*tp - 10860673624750848925477199844971434563743290634440491105698514412752339098857870948926428731153623921009931685993747974840360139113755679410715844423135431057334202145)*7^-224 + O(7^-27))*z^33 + ((3626170513313716508297374831846795042495939177996968782075706505055330570466709904138118075103970304355090017491266543101243584357676272836501566698139199996403523525*tp + 11625387127159000288013652479726962634659257186285189855034646557390026654560899688494382016341404876716967404616117155811111142440058560250630572626028324208834464987)*7^-224 + O(7^-27))*z^32 + ((13505178821049924583345118020371144959279897703214875838723212947601851935483284464895823844327994414984061891817687010403411057821960969260024323732113826424570527267*tp - 8874194627785912445233808616509736022323055156315927092053265844561924307017970377776454404487194753543120441513142604021633296437099328365603950333376019547699429752)*7^-224 + O(7^-27))*z^31 + ((11346925491074363373160403714544747114987821419322249971851724033243611946309575640806780296275646205445393049661279092966854146138637939132785094688787040669151223973*tp + 7673756900099823409734035199336481734015927414987140763054492059938908537399108353347731726914450580287539514049636969903352802025056340769392758486435397466881513080)*7^-224 + O(7^-27))*z^30 + ((-3994430207049521369917264945851187021659639162111200606839184122609289802782520988873026206248660767863773327221768150413009091743510984089365770033913836421903816071*tp - 12129857561277297640553548891536687461193658166923035194738475277655175764639253960621546769038711926078938080403771842962460171490860965734937158332149279875803236396)*7^-224 + O(7^-27))*z^29 + ((3828841893276794321351860658888644671327000214866695257589082439591270272234905072906767596135720222753887732902307174506098529991255402625528050072858382008131394964*tp + 3925565749932115237008507095036847237816329463018369722245447573084132508555317480111966598117357456346845085124742750415542187089557108810609010810732447446248468427)*7^-224 + O(7^-27))*z^28 + ((-3361737253229376574348332722792960125810412821161004309404617932678984645079439730804979778779560242165983399113270253215964997831575743552467193851944941687157564331*tp - 2655042749433014904287555210992992701581672074840253468755348876953009062327579520181107270965913757964462925222751735412576767390030322031056934014307131789700606255)*7^-224 + O(7^-27))*z^27 + ((1189445067569850577028738720200169432144064445001064894928981493713702103030767948114850609103605285187276202256803928366584827091995727236654033892798143807214541155*tp - 10515214553930321084448734691797208720871104351254020893519125323683059970879071043965248642550882620022266532207980426529466551385273341790078468567079959901955883434)*7^-224 + O(7^-27))*z^26 + ((6384633261226954398023130948852653053718812844978357989819619594714714744991509689544535090503413369708744087162469264081704349946027570319691433246178804031919946621*tp + 8119225910874311122577288206598093880607332364140307924023045976381850084675282673765190175382978586501264102266021762913155521108431546352317953310204237727473223726)*7^-224 + O(7^-27))*z^25 + ((-7085612294600738153455092442935071132350349180780361328313014285571186342230159381391955168825774035584655080593791149603305283804478578421695575529479131328903159400*tp + 11928344293760964610559115484948634859280445823191596783177271459606483128943504228006295704500121211901471674258076564600648931915056951726258045888983385161332069305)*7^-224 + O(7^-27))*z^24 + ((-12918006735914062163382758410751945009591801419919917453000136320460121715595958380254028390517468995885748210659205745115483542075230241185378137699034581110060220368*tp - 10243737366688264375646148331188424554780549841772326798080334861134654187862616275657180702187246110699853623345575398806352336747475901351220538377700984397288234762)*7^-224 + O(7^-27))*z^23 + ((-698356463832012140455801123736079510483962357893456584346701159412743345181060198478402399468615357309377806991112672323102215147477483168136377830758520795205701293*tp + 7331510550566198808261941688416693406998786083420130289822440370687664428112277397137593264208817379506101763729949929609817132779913834405308569956118842663306977951)*7^-224 + O(7^-27))*z^22 + ((5607556732755484071153046490323572961549781072115409404899426645766297320519666047042954894350094748474420912335956363418060195301375439395492735080703407630333553*tp - 1116578499873979304865013386545628383626952242736156484254522709932234666572365039850841145347272453888239274464274540742972613358119545275807528733961539551270040)*7^-220 + O(7^-27))*z^21 + ((2932904373987461776931115180458509092068354896758221709478553359655909253700474844409741282940936954505043742648169506235401536683457623665589129924150736858839194*tp + 2119843180348512251362177987713062821039056854067973881655178500931515044686420112089172323818955830703598552031817923306116223028801058143963208063466530001321342)*7^-216 + O(7^-23))*z^20 + ((6048954953487445188609144789497821958432119729045516449203693489527298575579704223884641371849539958598291602418453909416057076122196305515379089314187585104285094*tp - 5184688471731199105468222128646413731876965674409591823666311224073665703714317350321181333518879341873556049046118501243875774462495485676000608464430397353232540)*7^-212 + O(7^-19))*z^19 + ((2399516404970040218015440070261697598110763835028255096471564192183122034029547622425070088041203234768375726478298680298614089764845391570525910169862456550800330*tp + 3037982428570711950189188625287610388073468626917180526335280094073527780221090351869528697693049085606525092686465875130821237498901225901587816946188938985539443)*7^-208 + O(7^-15))*z^18 + ((1291914196401868259367791217627303609706493338110453821617032127298175994797727487171475880858699108990281836337495292807882329082939941155657559720396537885417176*tp + 391629860132502125798820545050149981194571446136425788949136046197637434229814387374694109640430572949824623193471206178758883942154701224447446433806725179431262)*7^-204 + O(7^-11))*z^17 + ((411540602494836345351891113235827782440913946566868731976902256799104179804759826717102419717512982074577121694140067286566983993908172727940177003506375614991494*tp + 3218448564578546520143094444700068617661855978502467603087191876443442419850126717377806911430183653410444499441560400350552318740710193000355860095494276053354963)*7^-200 + O(7^-7))*z^16 + ((-4701714346410586567528478591386695281707659362104272684675214200222061345477832086908178307296082115432169590078672832790436724282092926313768375465675719710426324*tp + 4443151534872118337207505248741810530369313337353383298369693522886417805304014824764561445872169635070995113699338383116836677119474200904797353149427253793878230)*7^-196 + O(7^-3))*z^15 + ((-3219780532692368476237794447084672611848335059282957191345743994015823415367447776204299993159723174677930600560381803801139272658097460516628893790463810368124471*tp - 2711408480512288770108872253706157307005444682479960156919980683609657878351116129100806947736511864219575578446646887268191267849604024544832104499555265940899964)*7^-192 + O(7))*z^14 + ((-569024161957652264859910196548315145853130306285066136230292272310731427761461142200399519220649055112929847633238782556846536372934097529034243854001872565449152*tp + 4202740234650298839782740947837205621796078760475563631575341489767102457052331510602736614421962602657660090763137340265057817744428049471868683585714521274454773)*7^-188 + O(7^5))*z^13 + ((86206381457686642904699342191795183673032968023808381448482663075624627904551692108833400291647469414403716008112679238545466440512552004147418594224138479184*tp + 5296448782253275146834789066579812444294012076027477693259579262428995061187816923052551749731591165392212717459465942639497180058638727290715077162420437559432)*7^-184 + O(7^9))*z^12 + ((7969518676285596607711601657709218353984025121800454091078550095531328396436315224209038979371380838162978052599186372250805987928262883073116547744666*tp + 454678228352653271611428015095961531625207046782735444870071642782720274151574084267394661947433193937817650718557567001090341315041767847406786342260534)*7^-176 + O(7^13))*z^11 + ((-2617254478119771540355186181666078237163685746491964915406712003975706969468060616728326204257718212884487168504813274148028490231304315296845248*tp - 156974115018971906987464675747622259551282544379699915187343882893773437655359823217669036869778774717465560770145690724813972175841096877122284016)*7^-168 + O(7^21))*z^10 + ((43781720794107305280782588696873496150988683244869944059316965323688554830886609925762790217148452688579122359782910972019811706076195456*tp + 2684658979912599570699788066958858311767212363984648959920725725735098367991297985436483235148457212182611139687995753328940174724025821792)*7^-159 + O(7^29))*z^9 + ((-13223379682345980937185433683009140054367951299862748539891087398097533088573499979991060796829356998867549215959856812812849271242*tp - 835043018101115475514223050829388947471462427074878521625893917853845518069444744856839044150454182891604701790964883865835368259626)*7^-152 + O(7^37))*z^8 + ((-1878815940457070837957992148738630370333231487207489691505277387546078405589875738601505045846149673017459724732924602632074*tp - 114646710359984172574200357230527851360511386277994599498134324218312210863361770143203097514159560036865124896116670257251398)*7^-144 + O(7^45))*z^7 + ((472947335647476259073199879551024965225703150320725942683109286878862110422618884333072506885984493007855729372357103*tp + 29133598401386644694714052218288988518002476558663567612599806109193539588304610020083545971648578645653604471646966857)*7^-136 + O(7^53))*z^6 + ((-57399141401181307387614196035825789018561606413997498089256510184979055917417962720140870613293433495012158132*tp - 3491016407023929246483833992159610067225455449051086890998759450138682377550584387572812300985004685163012597964)*7^-128 + O(7^61))*z^5 + ((4770478231892177216231218624487431457815222190878239534885042805123096342337615817825629689129626696342*tp + 282225455418556971503315387708208186184250780449304591585005167992541152385077924278063147239515413981586)*7^-120 + O(7^69))*z^4 + ((-20638647505238181361186018721034880964589306844138658473926206575811367688663093799322*tp - 1177712867530061113273547379502342602914807398207802245655464746866288292850991351417014)*7^-100 + O(7^77))*z^3 + ((61178776535876251634441988214619025163918846849932233431475113240083*tp + 3533584180054310963360468033101842935406367968073116380629960282455653)*7^-80 + O(7^97))*z^2 + ((-1318461626822036232755908451189574*tp - 92873816636403685520941067334448618)*7^-40 + O(7^117))*z + 2 + O(7^157) > > > > > poly:=rational_reconstruction2(p, D, vecteur_valuation, vecteur_racines_unite, vecteur_log_unites, 197, 0, 6); > > > 2*poly; (2 + O(7^197))*z^80 + ((10772294653156194*tp + 414473291532363182)*7^-20 + O(7^177))*z^79 + ((1573183397714044045227181664829867*tp + 100977228498215365359243042669280781)*7^-40 + O(7^157))*z^78 + ((307012281273677032861774144744342856183886*tp + 27602531663081997144005767108959479886574754)*7^-50 + O(7^147))*z^77 + ((139484220628399816770561930340033549448478944444214*tp + 3603521148743856930120648651210673559864195954659058)*7^-60 + O(7^137))*z^76 + ((1144561986272613941118811916288335300061271985986414204*tp + 75783193312506290588929699188067508141702542025091099908)*7^-64 + O(7^133))*z^75 + ((4969686973325378104841517479482619154595414406091886989591*tp + 334218290074633659386577523137064921158653155309482533951969)*7^-68 + O(7^129))*z^74 + ((11659261854716676505540795052674279506161029623957851768433774*tp + 479985745817939108692560429343484809686355567846611202917211778)*7^-72 + O(7^125))*z^73 + ((35970674879455787945196012890067068708814202938910124990855967366*tp + 2564985036552113712050059615127502930931086145981603126361667819398)*7^-76 + O(7^121))*z^72 + ((206843517158468634246022302788744157250192873151218092082173980872536*tp + 12991207082143776127159606228140328430898268630207165609596424013736584)*7^-80 + O(7^117))*z^71 + ((578718752898981072000753838068775860921868771738839672300094722352795944*tp + 28651711646168050534663178639573182658966257479097696496702548371739284968)*7^-84 + O(7^113))*z^70 + ((1391951645310012665394658749154477097369776232362850624511856778600442114834*tp + 98253570250803149925723819965672692016862980663484041452802845640382060341630)*7^-88 + O(7^109))*z^69 + ((7129850572730546881780378689483087934159033781749623173560422924022790801324424*tp + 430781948884895250688696022722962753983349310427974350947923670595585446765637008)*7^-92 + O(7^105))*z^68 + ((416486392116162995321963546440411603463508225853845619479279684686930452681854576*tp + 21880380378399114851295806763009089294736982253472101305494619553460485017876250288)*7^-94 + O(7^103))*z^67 + ((18227789411800910921268920659723524952172120325520802285579182988013987188573872473*tp + 1293354393016886265673910753579827077835208701823479891822782578040390722536264555055)*7^-96 + O(7^101))*z^66 + ((1783341366625882192037780383748282374122104978987632393169984463491213157402589924638*tp + 104067767967183006203703728886195765794669663091502550794645047250571821108028701248146)*7^-98 + O(7^99))*z^65 + ((104948188852462520174244876002392336213485390125284104199633877993187250140076399048056*tp + 5813631213046202992948629564968708048772674694162057874877449668080429744119954315658594)*7^-100 + O(7^97))*z^64 + ((4411188716946867408611738061054903051300739707104985481829826024244053218031237358583958*tp + 306533705564506883916644099456375931798066255006080858243230396128144863117430587092280570)*7^-102 + O(7^95))*z^63 + ((392651401020475894907183683280412938657065337583219184957814423954937384047902151896478139*tp + 22424734903523447516432381029659537037710428840049646150684696761788179555194357058596396173)*7^-104 + O(7^93))*z^62 + ((23023214743115665753705159608529940159865300624390648525475172156484868180231555543486139574*tp + 1320860061046037646162181426601616908574253876000195066362713952475733923244188312734146437850)*7^-106 + O(7^91))*z^61 + ((939166711878262571255982609612033068686244810270183098989542212114482416163132902827635871458*tp + 64260815230577310446764100949599784201184249188670154376439999697954049086552910364423946768942)*7^-10\ 8 + O(7^89))*z^60 + ((76896826590044795876720107559087870805197880665223354832647732302307899585239507787437175458560*tp + 4303615042850073252432495662295611430372757542656320981926346640961713323832867284955944389365888)*7^-110 + O(7^87))*z^59 + ((4497128591764999606366652308443092093864640696194968631769302113203219117565842203998054509339972*tp + 266078686831671242113025489409028036192010318842164533197187405015847656974163231948957004131349596)*7^-112 + O(7^85))*z^58 + ((3768507287734385867035754035857923149267064636852028977581743692969633775795997096812192891882660*tp + 250583179031383685794678129171155419009609165774772576542227710310393425413083943969043327035711804)*7^-112 + O(7^85))*z^57 + ((5726015099237535942088500605814457519574187668989676493579512668053368879968449633756669843261027*tp + 317327375157487666733306583561118675377238128898355537498601818396379343457063558423789707696297397)*7^-112 + O(7^85))*z^56 + ((6731788929684763508891917539771931173878422738020048382996453941703752397981380176058337135079826*tp + 407782564584161961423927418850468232038516925039139935661527473888063286788349054664379972922731678)*7^-112 + O(7^85))*z^55 + ((5664164854585384577240367918319285407307166915082005857579115499757254606408578268690947091072399*tp + 367488673052683700376116058215078680096712546089153795811868075401544240091519254281662208124046361)*7^-112 + O(7^85))*z^54 + ((7988765946300806372190618887097576124172814523880290398227659226717314108992749681489090605465098*tp + 439596994809534936391364863359020138684937611352147032727076091481418931363598655279862535751089254)*7^-112 + O(7^85))*z^53 + ((9294882754277600683399688446457661402253211034335397988896733650080544032389032814006211877551724*tp + 575020432534799060026123975030801381878512723396453412744840415690179125048071416918188172400414484)*7^-112 + O(7^85))*z^52 + ((7895694789873407546616384268072998457543526553162752458851247479074340565702818853604851265221302*tp + 497575593071216552040254511667757765871221315161554366391607945693826186827070142248058444990677722)*7^-112 + O(7^85))*z^51 + ((10252494492208637657206571544055605463114121265592392885567005381002578226083853216819726054454163*tp + 565482220692262877809011348975112744716270549533205194410514055510392633109507382995599254322117621)*7^-112 + O(7^85))*z^50 + ((11827351056266071578894165557046988634517424035200302348016990706121971937615687946296431983825892*tp + 743155024992723324216168209529951229374505714678411786813198801932612616862072381750195494632484604)*7^-112 + O(7^85))*z^49 + ((10150181145354068954817995881897421165584141002927475983775547209528065535651478446643107093439049*tp + 623189014620031152832217968258870172397375717232692920056574519145617110174962537019481675414701235)*7^-112 + O(7^85))*z^48 + ((12232119120287113922237156957641050789474054253856453763296117389827003144878515157872217375404602*tp + 678705606618767660944894486953566702057062109020433973967881764103748120696681489667232985271404406)*7^-112 + O(7^85))*z^47 + ((14006120350016092380725003451577647758719476572337388261166154727434095834091475533265533190768155*tp + 891686176073874170943390712416075370504367571287712487045479871266732121453012649516932525120622861)*7^-112 + O(7^85))*z^46 + ((12150698294069529993097265313625658903297451282956863811704599824146948247868027002588505402223932*tp + 726525545632057692615789902654146955149297871255471961260003499749967981505360123252142287309226276)*7^-112 + O(7^85))*z^45 + ((13566621039223907492820741107692969454082807623510367659036144523395136164879842728698719206344100*tp + 763233759460806146494176921574761346425594996949607480053022914297894111472626114326076200102793484)*7^-112 + O(7^85))*z^44 + ((15471322602906157481477339487868369255391277014806411536550665979130755757762886906766406829572160*tp + 991579722229076579968617953572706601440109522586767275998000643010775411898368671937070083532996096)*7^-112 + O(7^85))*z^43 + ((13486749019536506570519973777953363666912987044518096923513792202827908836902210120683934901233769*tp + 788125469532654000298868128122574099135300518797500579158021958523489933324312650616580862509821903)*7^-112 + O(7^85))*z^42 + ((14024654364267057826616247031949490451908724715340602941823575495703224162395398349227503632558018*tp + 802055952879631501960459285317315381406528574237886992284491340963400845558505200751281517349061934)*7^-112 + O(7^85))*z^41 + ((16021500848205707655642106342486036047149527480891443315682867448186446308137367085777427694788115*tp + 1030416029328063527760060302376407392375187937049962433724130089051352413044640368789114950865824797)*7^-112 + O(7^85))*z^40 + ((14024654364267057826616247031949490451908724715340602941823575495703224162395398349227503632558018*tp + 802055952879631501960459285317315381406528574237886992284491340963400845558505200751281517349061934)*7^-112 + O(7^85))*z^39 + ((13486749019536506570519973777953363666912987044518096923513792202827908836902210120683934901233769*tp + 788125469532654000298868128122574099135300518797500579158021958523489933324312650616580862509821903)*7^-112 + O(7^85))*z^38 + ((15471322602906157481477339487868369255391277014806411536550665979130755757762886906766406829572160*tp + 991579722229076579968617953572706601440109522586767275998000643010775411898368671937070083532996096)*7^-112 + O(7^85))*z^37 + ((13566621039223907492820741107692969454082807623510367659036144523395136164879842728698719206344100*tp + 763233759460806146494176921574761346425594996949607480053022914297894111472626114326076200102793484)*7^-112 + O(7^85))*z^36 + ((12150698294069529993097265313625658903297451282956863811704599824146948247868027002588505402223932*tp + 726525545632057692615789902654146955149297871255471961260003499749967981505360123252142287309226276)*7^-112 + O(7^85))*z^35 + ((14006120350016092380725003451577647758719476572337388261166154727434095834091475533265533190768155*tp + 891686176073874170943390712416075370504367571287712487045479871266732121453012649516932525120622861)*7^-112 + O(7^85))*z^34 + ((12232119120287113922237156957641050789474054253856453763296117389827003144878515157872217375404602*tp + 678705606618767660944894486953566702057062109020433973967881764103748120696681489667232985271404406)*7^-112 + O(7^85))*z^33 + ((10150181145354068954817995881897421165584141002927475983775547209528065535651478446643107093439049*tp + 623189014620031152832217968258870172397375717232692920056574519145617110174962537019481675414701235)*7^-112 + O(7^85))*z^32 + ((11827351056266071578894165557046988634517424035200302348016990706121971937615687946296431983825892*tp + 743155024992723324216168209529951229374505714678411786813198801932612616862072381750195494632484604)*7^-112 + O(7^85))*z^31 + ((10252494492208637657206571544055605463114121265592392885567005381002578226083853216819726054454163*tp + 565482220692262877809011348975112744716270549533205194410514055510392633109507382995599254322117621)*7^-112 + O(7^85))*z^30 + ((7895694789873407546616384268072998457543526553162752458851247479074340565702818853604851265221302*tp + 497575593071216552040254511667757765871221315161554366391607945693826186827070142248058444990677722)*7^-112 + O(7^85))*z^29 + ((9294882754277600683399688446457661402253211034335397988896733650080544032389032814006211877551724*tp + 575020432534799060026123975030801381878512723396453412744840415690179125048071416918188172400414484)*7^-112 + O(7^85))*z^28 + ((7988765946300806372190618887097576124172814523880290398227659226717314108992749681489090605465098*tp + 439596994809534936391364863359020138684937611352147032727076091481418931363598655279862535751089254)*7^-112 + O(7^85))*z^27 + ((5664164854585384577240367918319285407307166915082005857579115499757254606408578268690947091072399*tp + 367488673052683700376116058215078680096712546089153795811868075401544240091519254281662208124046361)*7^-112 + O(7^85))*z^26 + ((6731788929684763508891917539771931173878422738020048382996453941703752397981380176058337135079826*tp + 407782564584161961423927418850468232038516925039139935661527473888063286788349054664379972922731678)*7^-112 + O(7^85))*z^25 + ((5726015099237535942088500605814457519574187668989676493579512668053368879968449633756669843261027*tp + 317327375157487666733306583561118675377238128898355537498601818396379343457063558423789707696297397)*7^-112 + O(7^85))*z^24 + ((3768507287734385867035754035857923149267064636852028977581743692969633775795997096812192891882660*tp + 250583179031383685794678129171155419009609165774772576542227710310393425413083943969043327035711804)*7^-112 + O(7^85))*z^23 + ((4497128591764999606366652308443092093864640696194968631769302113203219117565842203998054509339972*tp + 266078686831671242113025489409028036192010318842164533197187405015847656974163231948957004131349596)*7^-112 + O(7^85))*z^22 + ((76896826590044795876720107559087870805197880665223354832647732302307899585239507787437175458560*tp + 4303615042850073252432495662295611430372757542656320981926346640961713323832867284955944389365888)*7^-110 + O(7^85))*z^21 + ((939166711878262571255982609612033068686244810270183098989542212114482416163132902827635871458*tp + 64260815230577310446764100949599784201184249188670154376439999697954049086552910364423946768942)*7^-10\ 8 + O(7^87))*z^20 + ((23023214743115665753705159608529940159865300624390648525475172156484868180231555543486139574*tp + 1320860061046037646162181426601616908574253876000195066362713952475733923244188312734146437850)*7^-106 + O(7^89))*z^19 + ((392651401020475894907183683280412938657065337583219184957814423954937384047902151896478139*tp + 22424734903523447516432381029659537037710428840049646150684696761788179555194357058596396173)*7^-104 + O(7^91))*z^18 + ((4411188716946867408611738061054903051300739707104985481829826024244053218031237358583958*tp + 306533705564506883916644099456375931798066255006080858243230396128144863117430587092280570)*7^-102 + O(7^93))*z^17 + ((104948188852462520174244876002392336213485390125284104199633877993187250140076399048056*tp + 5813631213046202992948629564968708048772674694162057874877449668080429744119954315658594)*7^-100 + O(7^95))*z^16 + ((1783341366625882192037780383748282374122104978987632393169984463491213157402589924638*tp + 104067767967183006203703728886195765794669663091502550794645047250571821108028701248146)*7^-98 + O(7^97))*z^15 + ((18227789411800910921268920659723524952172120325520802285579182988013987188573872473*tp + 1293354393016886265673910753579827077835208701823479891822782578040390722536264555055)*7^-96 + O(7^99))*z^14 + ((416486392116162995321963546440411603463508225853845619479279684686930452681854576*tp + 21880380378399114851295806763009089294736982253472101305494619553460485017876250288)*7^-94 + O(7^101))*z^13 + ((7129850572730546881780378689483087934159033781749623173560422924022790801324424*tp + 430781948884895250688696022722962753983349310427974350947923670595585446765637008)*7^-92 + O(7^103))*z^12 + ((1391951645310012665394658749154477097369776232362850624511856778600442114834*tp + 98253570250803149925723819965672692016862980663484041452802845640382060341630)*7^-88 + O(7^105))*z^11 + ((578718752898981072000753838068775860921868771738839672300094722352795944*tp + 28651711646168050534663178639573182658966257479097696496702548371739284968)*7^-84 + O(7^109))*z^10 + ((206843517158468634246022302788744157250192873151218092082173980872536*tp + 12991207082143776127159606228140328430898268630207165609596424013736584)*7^-80 + O(7^113))*z^9 + ((35970674879455787945196012890067068708814202938910124990855967366*tp + 2564985036552113712050059615127502930931086145981603126361667819398)*7^-76 + O(7^117))*z^8 + ((11659261854716676505540795052674279506161029623957851768433774*tp + 479985745817939108692560429343484809686355567846611202917211778)*7^-72 + O(7^121))*z^7 + ((4969686973325378104841517479482619154595414406091886989591*tp + 334218290074633659386577523137064921158653155309482533951969)*7^-68 + O(7^125))*z^6 + ((1144561986272613941118811916288335300061271985986414204*tp + 75783193312506290588929699188067508141702542025091099908)*7^-64 + O(7^129))*z^5 + ((139484220628399816770561930340033549448478944444214*tp + 3603521148743856930120648651210673559864195954659058)*7^-60 + O(7^133))*z^4 + ((307012281273677032861774144744342856183886*tp + 27602531663081997144005767108959479886574754)*7^-50 + O(7^137))*z^3 + ((1573183397714044045227181664829867*tp + 100977228498215365359243042669280781)*7^-40 + O(7^147))*z^2 + ((10772294653156194*tp + 414473291532363182)*7^-20 + O(7^157))*z + 2 + O(7^177) > > > poly2:=poly_convert2(2*poly,D); > poly2; 2*x^80 + 1/79792266297612001*(10772294653156194*t + 414473291532363182)*x^79 + 1/6366805760909027985741435139224001*(1573183397714044045227181664829867*t + 100977228498215365359243042669280781)*x^78 + 1/1798465042647412146620280340569649349251249*(307012281273677032861774144744342856183886*t + 27602531663081997144005767108959479886574754)*x^77 + 1/508021860739623365322188197652216501772434524836001*(139484220628399816770561930340033549448478944444214*t + 3603521148743856930120648651210673559864195954659058)*x^76 + 1/1219760487635835700138573862562971820755615294131238401*(1144561986272613941118811916288335300061271985986414204*t + 75783193312506290588929699188067508141702542025091099908)*x^75 + 1/2928644930813641516032715844013695341634232321209103400801*(4969686973325378104841517479482619154595414406091886989591*t + 334218290074633659386577523137064921158653155309482533951969)*x^74 + 1/7031676478883553279994550741476882515263791803223057265323201*(11659261854716676505540795052674279506161029623957851768433774*t + 479985745817939108692560429343484809686355567846611202917211778)*x^73 + 1/16883055225799411425266916330285994919148364119538560494041005601*(35970674879455787945196012890067068708814202938910124990855967366*t + 2564985036552113712050059615127502930931086145981603126361667819398)*x^72 + 1/40536215597144386832065866109016673800875222251012083746192454448001*(2068435171584686342460223027887441572501928731512180920\ 82173980872536*t + 12991207082143776127159606228140328430898268630207165609596424013736584)*x^71 + 1/97327453648743672783790144527749033795901408624680013074608083129650401*(57871875289898107200075383806\ 8775860921868771738839672300094722352795944*t + 28651711646168050534663178639573182658966257479097696496702548371739284968)*x^70 + 1/233683216210633558353880137011125430143959282107856711392134007594290612801*(1391951645310012665394658749154477097369776232362850624511856778600442114834*t + 98253570250803149925723819965672692016862980663484041452802845640382060341630)*x^69 + 1/561073402121731173607666208963712157775646236340963964052513752233891761335201*(71298505727305468817803786894830879\ 34159033781749623173560422924022790801324424*t + 430781948884895250688696022722962753983349310427974350947923670595585446765637008)*x^68 + 1/27492596703964827506775644239221895731006665580707234238573173859460696305424849*(416486392116162995321963546440411603463508225853845619479279684686930452681854576*t + 21880380378399114851295806763009089294736982253472101305494619553460485017876250288)*x^67 + 1/1347137238494276547832006567721872890819326613454654477690085519113574118965817601*(1822778941180091092126892\ 0659723524952172120325520802285579182988013987188573872473*t + 1293354393016886265673910753579827077835208701823479891822782578040390722536264555055)*x^66 + 1/66009724686219550843768321818371771650147004059278069406814190436565131829325062449*(1783341366625882192037780383748282374122104978987632393169984463491213157402589924638*t + 104067767967183006203703728886195765794669663091502550794645047250571821108028701248146)*x^65 + 1/3234476509624757991344647769100216810857203198904625400933895331391691459636928060001*(104948188852462520\ 174244876002392336213485390125284104199633877993187250140076399048056*t + 5813631213046202992948629564968708048772674694162057874877449668080429744119954315658594)*x^64 + 1/158489348971613141575887740685910623732002956746326644645760871238192881522209474940049*(4411188716946867408611738061054903051300739707104985481829826024244053218031237358583958*t + 306533705564506883916644099456375931798066255006080858243230396128144863117430587092280570)*x^63 + 1/7765978099609043937218499293609620562868144880570005587642282690671451194588264272062401*(392651401020\ 475894907183683280412938657065337583219184957814423954937384047902151896478139*t + 22424734903523447516432381029659537037710428840049646150684696761788179555194357058596396173)*x^62 + 1/380532926880843152923706465386871407580539099147930273794471851842901108534824949331057649*(23023214743115665753705159608529940159865300624390648525475172156484868180231555543486139574*t + 1320860061046037646162181426601616908574253876000195066362713952475733923244188312734146437850)*x^61 + 1/18646113417161314493261616803956698971446415858248583415929120740302154318206422517221824801*(939166711878262571255982609612033068686244810270183098989542212114482416163132902827635871458*t + 64260815230577310446764100949599784201184249188670154376439999697954049086552910364423946768942)*x^60 + 1/913659557440904410169819223393878249600874377054180587380526916274805561592114703343869415249*(76896826590044795876720107559087870805197880665223354832647732302307899585239507787437175458560*t + 4303615042850073252432495662295611430372757542656320981926346640961713323832867284955944389365888)*x^59 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(4497128591764999606366652308443092093864640696194968631769302113203219117565842203998054509339972*t + 266078686831671242113025489409028036192010318842164533197187405015847656974163231948957004131349596)*x^58 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(3768507287734385867035754035857923149267064636852028977581743692969633775795997096812192891882660*t + 250583179031383685794678129171155419009609165774772576542227710310393425413083943969043327035711804)*x^57 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(5726015099237535942088500605814457519574187668989676493579512668053368879968449633756669843261027*t + 317327375157487666733306583561118675377238128898355537498601818396379343457063558423789707696297397)*x^56 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(6731788929684763508891917539771931173878422738020048382996453941703752397981380176058337135079826*t + 407782564584161961423927418850468232038516925039139935661527473888063286788349054664379972922731678)*x^55 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(5664164854585384577240367918319285407307166915082005857579115499757254606408578268690947091072399*t + 367488673052683700376116058215078680096712546089153795811868075401544240091519254281662208124046361)*x^54 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(7988765946300806372190618887097576124172814523880290398227659226717314108992749681489090605465098*t + 439596994809534936391364863359020138684937611352147032727076091481418931363598655279862535751089254)*x^53 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(9294882754277600683399688446457661402253211034335397988896733650080544032389032814006211877551724*t + 575020432534799060026123975030801381878512723396453412744840415690179125048071416918188172400414484)*x^52 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(7895694789873407546616384268072998457543526553162752458851247479074340565702818853604851265221302*t + 497575593071216552040254511667757765871221315161554366391607945693826186827070142248058444990677722)*x^51 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(10252494492208637657206571544055605463114121265592392885567005381002578226083853216819726054454163*t + 565482220692262877809011348975112744716270549533205194410514055510392633109507382995599254322117621)*x^50 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(11827351056266071578894165557046988634517424035200302348016990706121971937615687946296431983825892*t + 743155024992723324216168209529951229374505714678411786813198801932612616862072381750195494632484604)*x^49 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(10150181145354068954817995881897421165584141002927475983775547209528065535651478446643107093439049*t + 623189014620031152832217968258870172397375717232692920056574519145617110174962537019481675414701235)*x^48 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(12232119120287113922237156957641050789474054253856453763296117389827003144878515157872217375404602*t + 678705606618767660944894486953566702057062109020433973967881764103748120696681489667232985271404406)*x^47 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(14006120350016092380725003451577647758719476572337388261166154727434095834091475533265533190768155*t + 891686176073874170943390712416075370504367571287712487045479871266732121453012649516932525120622861)*x^46 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(12150698294069529993097265313625658903297451282956863811704599824146948247868027002588505402223932*t + 726525545632057692615789902654146955149297871255471961260003499749967981505360123252142287309226276)*x^45 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(13566621039223907492820741107692969454082807623510367659036144523395136164879842728698719206344100*t + 763233759460806146494176921574761346425594996949607480053022914297894111472626114326076200102793484)*x^44 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(15471322602906157481477339487868369255391277014806411536550665979130755757762886906766406829572160*t + 991579722229076579968617953572706601440109522586767275998000643010775411898368671937070083532996096)*x^43 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(13486749019536506570519973777953363666912987044518096923513792202827908836902210120683934901233769*t + 788125469532654000298868128122574099135300518797500579158021958523489933324312650616580862509821903)*x^42 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(14024654364267057826616247031949490451908724715340602941823575495703224162395398349227503632558018*t + 802055952879631501960459285317315381406528574237886992284491340963400845558505200751281517349061934)*x^41 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(16021500848205707655642106342486036047149527480891443315682867448186446308137367085777427694788115*t + 1030416029328063527760060302376407392375187937049962433724130089051352413044640368789114950865824797)*x^40 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(14024654364267057826616247031949490451908724715340602941823575495703224162395398349227503632558018*t + 802055952879631501960459285317315381406528574237886992284491340963400845558505200751281517349061934)*x^39 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(13486749019536506570519973777953363666912987044518096923513792202827908836902210120683934901233769*t + 788125469532654000298868128122574099135300518797500579158021958523489933324312650616580862509821903)*x^38 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(15471322602906157481477339487868369255391277014806411536550665979130755757762886906766406829572160*t + 991579722229076579968617953572706601440109522586767275998000643010775411898368671937070083532996096)*x^37 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(13566621039223907492820741107692969454082807623510367659036144523395136164879842728698719206344100*t + 763233759460806146494176921574761346425594996949607480053022914297894111472626114326076200102793484)*x^36 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(12150698294069529993097265313625658903297451282956863811704599824146948247868027002588505402223932*t + 726525545632057692615789902654146955149297871255471961260003499749967981505360123252142287309226276)*x^35 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(14006120350016092380725003451577647758719476572337388261166154727434095834091475533265533190768155*t + 891686176073874170943390712416075370504367571287712487045479871266732121453012649516932525120622861)*x^34 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(12232119120287113922237156957641050789474054253856453763296117389827003144878515157872217375404602*t + 678705606618767660944894486953566702057062109020433973967881764103748120696681489667232985271404406)*x^33 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(10150181145354068954817995881897421165584141002927475983775547209528065535651478446643107093439049*t + 623189014620031152832217968258870172397375717232692920056574519145617110174962537019481675414701235)*x^32 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(11827351056266071578894165557046988634517424035200302348016990706121971937615687946296431983825892*t + 743155024992723324216168209529951229374505714678411786813198801932612616862072381750195494632484604)*x^31 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(10252494492208637657206571544055605463114121265592392885567005381002578226083853216819726054454163*t + 565482220692262877809011348975112744716270549533205194410514055510392633109507382995599254322117621)*x^30 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(7895694789873407546616384268072998457543526553162752458851247479074340565702818853604851265221302*t + 497575593071216552040254511667757765871221315161554366391607945693826186827070142248058444990677722)*x^29 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(9294882754277600683399688446457661402253211034335397988896733650080544032389032814006211877551724*t + 575020432534799060026123975030801381878512723396453412744840415690179125048071416918188172400414484)*x^28 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(7988765946300806372190618887097576124172814523880290398227659226717314108992749681489090605465098*t + 439596994809534936391364863359020138684937611352147032727076091481418931363598655279862535751089254)*x^27 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(5664164854585384577240367918319285407307166915082005857579115499757254606408578268690947091072399*t + 367488673052683700376116058215078680096712546089153795811868075401544240091519254281662208124046361)*x^26 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(6731788929684763508891917539771931173878422738020048382996453941703752397981380176058337135079826*t + 407782564584161961423927418850468232038516925039139935661527473888063286788349054664379972922731678)*x^25 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(5726015099237535942088500605814457519574187668989676493579512668053368879968449633756669843261027*t + 317327375157487666733306583561118675377238128898355537498601818396379343457063558423789707696297397)*x^24 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(3768507287734385867035754035857923149267064636852028977581743692969633775795997096812192891882660*t + 250583179031383685794678129171155419009609165774772576542227710310393425413083943969043327035711804)*x^23 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(4497128591764999606366652308443092093864640696194968631769302113203219117565842203998054509339972*t + 266078686831671242113025489409028036192010318842164533197187405015847656974163231948957004131349596)*x^22 + 1/913659557440904410169819223393878249600874377054180587380526916274805561592114703343869415249*(76896826590044795876720107559087870805197880665223354832647732302307899585239507787437175458560*t + 4303615042850073252432495662295611430372757542656320981926346640961713323832867284955944389365888)*x^21 + 1/18646113417161314493261616803956698971446415858248583415929120740302154318206422517221824801*(939166711878262571255982609612033068686244810270183098989542212114482416163132902827635871458*t + 64260815230577310446764100949599784201184249188670154376439999697954049086552910364423946768942)*x^20 + 1/380532926880843152923706465386871407580539099147930273794471851842901108534824949331057649*(23023214743115665753705159608529940159865300624390648525475172156484868180231555543486139574*t + 1320860061046037646162181426601616908574253876000195066362713952475733923244188312734146437850)*x^19 + 1/7765978099609043937218499293609620562868144880570005587642282690671451194588264272062401*(392651401020475894907183683280412938657065337583219184957814423954937384047902151896478139*t + 22424734903523447516432381029659537037710428840049646150684696761788179555194357058596396173)*x^18 + 1/158489348971613141575887740685910623732002956746326644645760871238192881522209474940049*(44111887169\ 46867408611738061054903051300739707104985481829826024244053218031237358583958*t + 306533705564506883916644099456375931798066255006080858243230396128144863117430587092280570)*x^17 + 1/3234476509624757991344647769100216810857203198904625400933895331391691459636928060001*(104948188852462520174244876002392336213485390125284104199633877993187250140076399048056*t + 5813631213046202992948629564968708048772674694162057874877449668080429744119954315658594)*x^16 + 1/66009724686219550843768321818371771650147004059278069406814190436565131829325062449*(1783341366625882192\ 037780383748282374122104978987632393169984463491213157402589924638*t + 104067767967183006203703728886195765794669663091502550794645047250571821108028701248146)*x^15 + 1/1347137238494276547832006567721872890819326613454654477690085519113574118965817601*(18227789411800910921268920659723524952172120325520802285579182988013987188573872473*t + 1293354393016886265673910753579827077835208701823479891822782578040390722536264555055)*x^14 + 1/27492596703964827506775644239221895731006665580707234238573173859460696305424849*(4164863921161629953219635\ 46440411603463508225853845619479279684686930452681854576*t + 21880380378399114851295806763009089294736982253472101305494619553460485017876250288)*x^13 + 1/561073402121731173607666208963712157775646236340963964052513752233891761335201*(7129850572730546881780378689483087934159033781749623173560422924022790801324424*t + 430781948884895250688696022722962753983349310427974350947923670595585446765637008)*x^12 + 1/233683216210633558353880137011125430143959282107856711392134007594290612801*(1391951645310012665394658749154477\ 097369776232362850624511856778600442114834*t + 98253570250803149925723819965672692016862980663484041452802845640382060341630)*x^11 + 1/97327453648743672783790144527749033795901408624680013074608083129650401*(578718752898981072000753838068775860921868771738839672300094722352795944*t + 28651711646168050534663178639573182658966257479097696496702548371739284968)*x^10 + 1/40536215597144386832065866109016673800875222251012083746192454448001*(206843517158468634246022302788744157250192873151\ 218092082173980872536*t + 12991207082143776127159606228140328430898268630207165609596424013736584)*x^9 + 1/16883055225799411425266916330285994919148364119538560494041005601*(35970674879455787945196012890067068708814202938910124990855967366*t + 2564985036552113712050059615127502930931086145981603126361667819398)*x^8 + 1/7031676478883553279994550741476882515263791803223057265323201*(11659261854716676505540795052674279506161029623957851768433774*\ t + 479985745817939108692560429343484809686355567846611202917211778)*x^7 + 1/2928644930813641516032715844013695341634232321209103400801*(4969686973325378104841517479482619154595414406091886989591*t + 334218290074633659386577523137064921158653155309482533951969)*x^6 + 1/1219760487635835700138573862562971820755615294131238401*(1144561986272613941118811916288335300061271985986414204*t + 75783193312506290588929699188067508141702542025091099908)*x^5 + 1/508021860739623365322188197652216501772434524836001*(139484220628399816770561930340033549448478944444214*t + 3603521148743856930120648651210673559864195954659058)*x^4 + 1/1798465042647412146620280340569649349251249*(307012281273677032861774144744342856183886*t + 27602531663081997144005767108959479886574754)*x^3 + 1/6366805760909027985741435139224001*(1573183397714044045227181664829867*t + 100977228498215365359243042669280781)*x^2 + 1/79792266297612001*(10772294653156194*t + 414473291532363182)*x + 2 > poly3:=1/2*poly2; > > > > poly4:=poly_convert3(poly3,D); [](1)x^{80} [ <7, 20> ](5386147326578097*t + 207236645766181591)x^{79} [ <2, 1>, <7, 40> ](1573183397714044045227181664829867*t + 100977228498215365359243042669280781)x^{78} [ <7, 50> ](153506140636838516430887072372171428091943*t + 13801265831540998572002883554479739943287377)x^{77} [ <7, 60> ](69742110314199908385280965170016774724239472222107*t + 1801760574371928465060324325605336779932097977329529)x^{76} [ <7, 64> ](572280993136306970559405958144167650030635992993207102*t + 37891596656253145294464849594033754070851271012545549954)x^{75} [ <2, 1>, <7, 68> ](4969686973325378104841517479482619154595414406091886989591*t + 334218290074633659386577523137064921158653155309482533951969)x^{74} [ <7, 72> ](5829630927358338252770397526337139753080514811978925884216887*t + 239992872908969554346280214671742404843177783923305601458605889)x^{73} [ <7, 76> ](17985337439727893972598006445033534354407101469455062495427983683*t + 1282492518276056856025029807563751465465543072990801563180833909699)x^{72} [ <7, 80> ](103421758579234317123011151394372078625096436575609046041086990436268*t + 6495603541071888063579803114070164215449134315103582804798212006868292)x^{71} [ <7, 84> ](289359376449490536000376919034387930460934385869419836150047361176397972*t + 14325855823084025267331589319786591329483128739548848248351274185869642484)x^{70} [ <7, 88> ](695975822655006332697329374577238548684888116181425312255928389300221057417*t + 49126785125401574962861909982836346008431490331742020726401422820191030170815)x^{69} [ <7, 92> ](3564925286365273440890189344741543967079516890874811586780211462011395400662212*t + 215390974442447625344348011361481376991674655213987175473961835297792723382818504)x^{68} [ <7, 94> ](208243196058081497660981773220205801731754112926922809739639842343465226340927288*t + 10940190189199557425647903381504544647368491126736050652747309776730242508938125144)x^{67} [ <2, 1>, <7, 96> ](18227789411800910921268920659723524952172120325520802285579182988013987188573872473*t + 1293354393016886265673910753579827077835208701823479891822782578040390722536264555055)x^{66} [ <7, 98> ](891670683312941096018890191874141187061052489493816196584992231745606578701294962319*t + 52033883983591503101851864443097882897334831545751275397322523625285910554014350624073)x^{65} [ <7, 100> ](52474094426231260087122438001196168106742695062642052099816938996593625070038199524028*t + 2906815606523101496474314782484354024386337347081028937438724834040214872059977157829297)x^{64} [ <7, 102> ](2205594358473433704305869030527451525650369853552492740914913012122026609015618679291979*t + 153266852782253441958322049728187965899033127503040429121615198064072431558715293546140285)x^{63} [ <2, 1>, <7, 104> ](392651401020475894907183683280412938657065337583219184957814423954937384047902151896478139*t + 22424734903523447516432381029659537037710428840049646150684696761788179555194357058596396173)x^{62} [ <7, 106> ](11511607371557832876852579804264970079932650312195324262737586078242434090115777771743069787*t + 660430030523018823081090713300808454287126938000097533181356976237866961622094156367073218925)x^{61} [ <7, 108> ](469583355939131285627991304806016534343122405135091549494771106057241208081566451413817935729*t + 32130407615288655223382050474799892100592124594335077188219999848977024543276455182211973384471)x^{60} [ <7, 110> ](38448413295022397938360053779543935402598940332611677416323866151153949792619753893718587729280*t + 2151807521425036626216247831147805715186378771328160490963173320480856661916433642477972194682944)x^{59} [ <7, 112> ](2248564295882499803183326154221546046932320348097484315884651056601609558782921101999027254669986*t + 133039343415835621056512744704514018096005159421082266598593702507923828487081615974478502065674798)x^{5\ 8} [ <7, 112> ](1884253643867192933517877017928961574633532318426014488790871846484816887897998548406096445941330*t + 125291589515691842897339064585577709504804582887386288271113855155196712706541971984521663517855902)x^{5\ 7} [ <2, 1>, <7, 112> ](5726015099237535942088500605814457519574187668989676493579512668053368879968449633756669843261027*t + 317327375157487666733306583561118675377238128898355537498601818396379343457063558423789707696297397)x^{5\ 6} [ <7, 112> ](3365894464842381754445958769885965586939211369010024191498226970851876198990690088029168567539913*t + 203891282292080980711963709425234116019258462519569967830763736944031643394174527332189986461365839)x^{5\ 5} [ <2, 1>, <7, 112> ](5664164854585384577240367918319285407307166915082005857579115499757254606408578268690947091072399*t + 367488673052683700376116058215078680096712546089153795811868075401544240091519254281662208124046361)x^{5\ 4} [ <7, 112> ](3994382973150403186095309443548788062086407261940145199113829613358657054496374840744545302732549*t + 219798497404767468195682431679510069342468805676073516363538045740709465681799327639931267875544627)x^{5\ 3} [ <7, 112> ](4647441377138800341699844223228830701126605517167698994448366825040272016194516407003105938775862*t + 287510216267399530013061987515400690939256361698226706372420207845089562524035708459094086200207242)x^{5\ 2} [ <7, 112> ](3947847394936703773308192134036499228771763276581376229425623739537170282851409426802425632610651*t + 248787796535608276020127255833878882935610657580777183195803972846913093413535071124029222495338861)x^{5\ 1} [ <2, 1>, <7, 112> ](10252494492208637657206571544055605463114121265592392885567005381002578226083853216819726054454163*t + 565482220692262877809011348975112744716270549533205194410514055510392633109507382995599254322117621)x^{\ 50} [ <7, 112> ](5913675528133035789447082778523494317258712017600151174008495353060985968807843973148215991912946*t + 371577512496361662108084104764975614687252857339205893406599400966306308431036190875097747316242302)x^{4\ 9} [ <2, 1>, <7, 112> ](10150181145354068954817995881897421165584141002927475983775547209528065535651478446643107093439049*t + 623189014620031152832217968258870172397375717232692920056574519145617110174962537019481675414701235)x^{\ 48} [ <7, 112> ](6116059560143556961118578478820525394737027126928226881648058694913501572439257578936108687702301*t + 339352803309383830472447243476783351028531054510216986983940882051874060348340744833616492635702203)x^{4\ 7} [ <2, 1>, <7, 112> ](14006120350016092380725003451577647758719476572337388261166154727434095834091475533265533190768155*t + 891686176073874170943390712416075370504367571287712487045479871266732121453012649516932525120622861)x^{\ 46} [ <7, 112> ](6075349147034764996548632656812829451648725641478431905852299912073474123934013501294252701111966*t + 363262772816028846307894951327073477574648935627735980630001749874983990752680061626071143654613138)x^{4\ 5} [ <7, 112> ](6783310519611953746410370553846484727041403811755183829518072261697568082439921364349359603172050*t + 381616879730403073247088460787380673212797498474803740026511457148947055736313057163038100051396742)x^{4\ 4} [ <7, 112> ](7735661301453078740738669743934184627695638507403205768275332989565377878881443453383203414786080*t + 495789861114538289984308976786353300720054761293383637999000321505387705949184335968535041766498048)x^{4\ 3} [ <2, 1>, <7, 112> ](13486749019536506570519973777953363666912987044518096923513792202827908836902210120683934901233769*t + 788125469532654000298868128122574099135300518797500579158021958523489933324312650616580862509821903)x^{\ 42} [ <7, 112> ](7012327182133528913308123515974745225954362357670301470911787747851612081197699174613751816279009*t + 401027976439815750980229642658657690703264287118943496142245670481700422779252600375640758674530967)x^{4\ 1} [ <2, 1>, <7, 112> ](16021500848205707655642106342486036047149527480891443315682867448186446308137367085777427694788115*t + 1030416029328063527760060302376407392375187937049962433724130089051352413044640368789114950865824797)x^\ {40} [ <7, 112> ](7012327182133528913308123515974745225954362357670301470911787747851612081197699174613751816279009*t + 401027976439815750980229642658657690703264287118943496142245670481700422779252600375640758674530967)x^{3\ 9} [ <2, 1>, <7, 112> ](13486749019536506570519973777953363666912987044518096923513792202827908836902210120683934901233769*t + 788125469532654000298868128122574099135300518797500579158021958523489933324312650616580862509821903)x^{\ 38} [ <7, 112> ](7735661301453078740738669743934184627695638507403205768275332989565377878881443453383203414786080*t + 495789861114538289984308976786353300720054761293383637999000321505387705949184335968535041766498048)x^{3\ 7} [ <7, 112> ](6783310519611953746410370553846484727041403811755183829518072261697568082439921364349359603172050*t + 381616879730403073247088460787380673212797498474803740026511457148947055736313057163038100051396742)x^{3\ 6} [ <7, 112> ](6075349147034764996548632656812829451648725641478431905852299912073474123934013501294252701111966*t + 363262772816028846307894951327073477574648935627735980630001749874983990752680061626071143654613138)x^{3\ 5} [ <2, 1>, <7, 112> ](14006120350016092380725003451577647758719476572337388261166154727434095834091475533265533190768155*t + 891686176073874170943390712416075370504367571287712487045479871266732121453012649516932525120622861)x^{\ 34} [ <7, 112> ](6116059560143556961118578478820525394737027126928226881648058694913501572439257578936108687702301*t + 339352803309383830472447243476783351028531054510216986983940882051874060348340744833616492635702203)x^{3\ 3} [ <2, 1>, <7, 112> ](10150181145354068954817995881897421165584141002927475983775547209528065535651478446643107093439049*t + 623189014620031152832217968258870172397375717232692920056574519145617110174962537019481675414701235)x^{\ 32} [ <7, 112> ](5913675528133035789447082778523494317258712017600151174008495353060985968807843973148215991912946*t + 371577512496361662108084104764975614687252857339205893406599400966306308431036190875097747316242302)x^{3\ 1} [ <2, 1>, <7, 112> ](10252494492208637657206571544055605463114121265592392885567005381002578226083853216819726054454163*t + 565482220692262877809011348975112744716270549533205194410514055510392633109507382995599254322117621)x^{\ 30} [ <7, 112> ](3947847394936703773308192134036499228771763276581376229425623739537170282851409426802425632610651*t + 248787796535608276020127255833878882935610657580777183195803972846913093413535071124029222495338861)x^{2\ 9} [ <7, 112> ](4647441377138800341699844223228830701126605517167698994448366825040272016194516407003105938775862*t + 287510216267399530013061987515400690939256361698226706372420207845089562524035708459094086200207242)x^{2\ 8} [ <7, 112> ](3994382973150403186095309443548788062086407261940145199113829613358657054496374840744545302732549*t + 219798497404767468195682431679510069342468805676073516363538045740709465681799327639931267875544627)x^{2\ 7} [ <2, 1>, <7, 112> ](5664164854585384577240367918319285407307166915082005857579115499757254606408578268690947091072399*t + 367488673052683700376116058215078680096712546089153795811868075401544240091519254281662208124046361)x^{2\ 6} [ <7, 112> ](3365894464842381754445958769885965586939211369010024191498226970851876198990690088029168567539913*t + 203891282292080980711963709425234116019258462519569967830763736944031643394174527332189986461365839)x^{2\ 5} [ <2, 1>, <7, 112> ](5726015099237535942088500605814457519574187668989676493579512668053368879968449633756669843261027*t + 317327375157487666733306583561118675377238128898355537498601818396379343457063558423789707696297397)x^{2\ 4} [ <7, 112> ](1884253643867192933517877017928961574633532318426014488790871846484816887897998548406096445941330*t + 125291589515691842897339064585577709504804582887386288271113855155196712706541971984521663517855902)x^{2\ 3} [ <7, 112> ](2248564295882499803183326154221546046932320348097484315884651056601609558782921101999027254669986*t + 133039343415835621056512744704514018096005159421082266598593702507923828487081615974478502065674798)x^{2\ 2} [ <7, 110> ](38448413295022397938360053779543935402598940332611677416323866151153949792619753893718587729280*t + 2151807521425036626216247831147805715186378771328160490963173320480856661916433642477972194682944)x^{21} [ <7, 108> ](469583355939131285627991304806016534343122405135091549494771106057241208081566451413817935729*t + 32130407615288655223382050474799892100592124594335077188219999848977024543276455182211973384471)x^{20} [ <7, 106> ](11511607371557832876852579804264970079932650312195324262737586078242434090115777771743069787*t + 660430030523018823081090713300808454287126938000097533181356976237866961622094156367073218925)x^{19} [ <2, 1>, <7, 104> ](392651401020475894907183683280412938657065337583219184957814423954937384047902151896478139*t + 22424734903523447516432381029659537037710428840049646150684696761788179555194357058596396173)x^{18} [ <7, 102> ](2205594358473433704305869030527451525650369853552492740914913012122026609015618679291979*t + 153266852782253441958322049728187965899033127503040429121615198064072431558715293546140285)x^{17} [ <7, 100> ](52474094426231260087122438001196168106742695062642052099816938996593625070038199524028*t + 2906815606523101496474314782484354024386337347081028937438724834040214872059977157829297)x^{16} [ <7, 98> ](891670683312941096018890191874141187061052489493816196584992231745606578701294962319*t + 52033883983591503101851864443097882897334831545751275397322523625285910554014350624073)x^{15} [ <2, 1>, <7, 96> ](18227789411800910921268920659723524952172120325520802285579182988013987188573872473*t + 1293354393016886265673910753579827077835208701823479891822782578040390722536264555055)x^{14} [ <7, 94> ](208243196058081497660981773220205801731754112926922809739639842343465226340927288*t + 10940190189199557425647903381504544647368491126736050652747309776730242508938125144)x^{13} [ <7, 92> ](3564925286365273440890189344741543967079516890874811586780211462011395400662212*t + 215390974442447625344348011361481376991674655213987175473961835297792723382818504)x^{12} [ <7, 88> ](695975822655006332697329374577238548684888116181425312255928389300221057417*t + 49126785125401574962861909982836346008431490331742020726401422820191030170815)x^{11} [ <7, 84> ](289359376449490536000376919034387930460934385869419836150047361176397972*t + 14325855823084025267331589319786591329483128739548848248351274185869642484)x^{10} [ <7, 80> ](103421758579234317123011151394372078625096436575609046041086990436268*t + 6495603541071888063579803114070164215449134315103582804798212006868292)x^{9} [ <7, 76> ](17985337439727893972598006445033534354407101469455062495427983683*t + 1282492518276056856025029807563751465465543072990801563180833909699)x^{8} [ <7, 72> ](5829630927358338252770397526337139753080514811978925884216887*t + 239992872908969554346280214671742404843177783923305601458605889)x^{7} [ <2, 1>, <7, 68> ](4969686973325378104841517479482619154595414406091886989591*t + 334218290074633659386577523137064921158653155309482533951969)x^{6} [ <7, 64> ](572280993136306970559405958144167650030635992993207102*t + 37891596656253145294464849594033754070851271012545549954)x^{5} [ <7, 60> ](69742110314199908385280965170016774724239472222107*t + 1801760574371928465060324325605336779932097977329529)x^{4} [ <7, 50> ](153506140636838516430887072372171428091943*t + 13801265831540998572002883554479739943287377)x^{3} [ <2, 1>, <7, 40> ](1573183397714044045227181664829867*t + 100977228498215365359243042669280781)x^{2} [ <7, 20> ](5386147326578097*t + 207236645766181591)x^{1} [](1)x^{0} > poly3; x^80 + 1/79792266297612001*(5386147326578097*t + 207236645766181591)*x^79 + 1/12733611521818055971482870278448002*(1573183397714044045227181664829867*t + 100977228498215365359243042669280781)*x^78 + 1/1798465042647412146620280340569649349251249*(153506140636838516430887072372171428091943*t + 13801265831540998572002883554479739943287377)*x^77 + 1/508021860739623365322188197652216501772434524836001*(69742110314199908385280965170016774724239472222107*t + 1801760574371928465060324325605336779932097977329529)*x^76 + 1/1219760487635835700138573862562971820755615294131238401*(572280993136306970559405958144167650030635992993207102*t + 37891596656253145294464849594033754070851271012545549954)*x^75 + 1/5857289861627283032065431688027390683268464642418206801602*(4969686973325378104841517479482619154595414406091886989591*t + 334218290074633659386577523137064921158653155309482533951969)*x^74 + 1/7031676478883553279994550741476882515263791803223057265323201*(5829630927358338252770397526337139753080514811978925884216887*t + 239992872908969554346280214671742404843177783923305601458605889)*x^73 + 1/16883055225799411425266916330285994919148364119538560494041005601*(17985337439727893972598006445033534354407101469455062495427983683*t + 1282492518276056856025029807563751465465543072990801563180833909699)*x^72 + 1/40536215597144386832065866109016673800875222251012083746192454448001*(1034217585792343171230111513943720786250964365756090460\ 41086990436268*t + 6495603541071888063579803114070164215449134315103582804798212006868292)*x^71 + 1/97327453648743672783790144527749033795901408624680013074608083129650401*(289359376449490536000376919034\ 387930460934385869419836150047361176397972*t + 14325855823084025267331589319786591329483128739548848248351274185869642484)*x^70 + 1/233683216210633558353880137011125430143959282107856711392134007594290612801*(695975822655006332697329374577238548684888116181425312255928389300221057417*t + 49126785125401574962861909982836346008431490331742020726401422820191030170815)*x^69 + 1/561073402121731173607666208963712157775646236340963964052513752233891761335201*(35649252863652734408901893447415439\ 67079516890874811586780211462011395400662212*t + 215390974442447625344348011361481376991674655213987175473961835297792723382818504)*x^68 + 1/27492596703964827506775644239221895731006665580707234238573173859460696305424849*(208243196058081497660981773220205801731754112926922809739639842343465226340927288*t + 10940190189199557425647903381504544647368491126736050652747309776730242508938125144)*x^67 + 1/2694274476988553095664013135443745781638653226909308955380171038227148237931635202*(1822778941180091092126892\ 0659723524952172120325520802285579182988013987188573872473*t + 1293354393016886265673910753579827077835208701823479891822782578040390722536264555055)*x^66 + 1/66009724686219550843768321818371771650147004059278069406814190436565131829325062449*(891670683312941096018890191874141187061052489493816196584992231745606578701294962319*t + 52033883983591503101851864443097882897334831545751275397322523625285910554014350624073)*x^65 + 1/3234476509624757991344647769100216810857203198904625400933895331391691459636928060001*(5247409442623126008\ 7122438001196168106742695062642052099816938996593625070038199524028*t + 2906815606523101496474314782484354024386337347081028937438724834040214872059977157829297)*x^64 + 1/158489348971613141575887740685910623732002956746326644645760871238192881522209474940049*(2205594358473433704305869030527451525650369853552492740914913012122026609015618679291979*t + 153266852782253441958322049728187965899033127503040429121615198064072431558715293546140285)*x^63 + 1/15531956199218087874436998587219241125736289761140011175284565381342902389176528544124802*(39265140102\ 0475894907183683280412938657065337583219184957814423954937384047902151896478139*t + 22424734903523447516432381029659537037710428840049646150684696761788179555194357058596396173)*x^62 + 1/380532926880843152923706465386871407580539099147930273794471851842901108534824949331057649*(11511607371557832876852579804264970079932650312195324262737586078242434090115777771743069787*t + 660430030523018823081090713300808454287126938000097533181356976237866961622094156367073218925)*x^61 + 1/18646113417161314493261616803956698971446415858248583415929120740302154318206422517221824801*(46958\ 3355939131285627991304806016534343122405135091549494771106057241208081566451413817935729*t + 32130407615288655223382050474799892100592124594335077188219999848977024543276455182211973384471)*x^60 + 1/913659557440904410169819223393878249600874377054180587380526916274805561592114703343869415249*(38448413295022397938360053779543935402598940332611677416323866151153949792619753893718587729280*t + 2151807521425036626216247831147805715186378771328160490963173320480856661916433642477972194682944)*x^59 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(2248564295882499803183326154221546046932320348097484315884651056601609558782921101999027254669986*t + 133039343415835621056512744704514018096005159421082266598593702507923828487081615974478502065674798)*x^58 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(1884253643867192933517877017928961574633532318426014488790871846484816887897998548406096445941330*t + 125291589515691842897339064585577709504804582887386288271113855155196712706541971984521663517855902)*x^57 + 1/89538636629208632196642283892600068460885688951309697563291637794930945036027240927699202694402*(5726015099237535942088500605814457519574187668989676493579512668053368879968449633756669843261027*t + 317327375157487666733306583561118675377238128898355537498601818396379343457063558423789707696297397)*x^56 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(3365894464842381754445958769885965586939211369010024191498226970851876198990690088029168567539913*t + 203891282292080980711963709425234116019258462519569967830763736944031643394174527332189986461365839)*x^55 + 1/89538636629208632196642283892600068460885688951309697563291637794930945036027240927699202694402*(5664164854585384577240367918319285407307166915082005857579115499757254606408578268690947091072399*t + 367488673052683700376116058215078680096712546089153795811868075401544240091519254281662208124046361)*x^54 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(3994382973150403186095309443548788062086407261940145199113829613358657054496374840744545302732549*t + 219798497404767468195682431679510069342468805676073516363538045740709465681799327639931267875544627)*x^53 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(4647441377138800341699844223228830701126605517167698994448366825040272016194516407003105938775862*t + 287510216267399530013061987515400690939256361698226706372420207845089562524035708459094086200207242)*x^52 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(3947847394936703773308192134036499228771763276581376229425623739537170282851409426802425632610651*t + 248787796535608276020127255833878882935610657580777183195803972846913093413535071124029222495338861)*x^51 + 1/89538636629208632196642283892600068460885688951309697563291637794930945036027240927699202694402*(10252494492208637657206571544055605463114121265592392885567005381002578226083853216819726054454163*t + 565482220692262877809011348975112744716270549533205194410514055510392633109507382995599254322117621)*x^50 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(5913675528133035789447082778523494317258712017600151174008495353060985968807843973148215991912946*t + 371577512496361662108084104764975614687252857339205893406599400966306308431036190875097747316242302)*x^49 + 1/89538636629208632196642283892600068460885688951309697563291637794930945036027240927699202694402*(10150181145354068954817995881897421165584141002927475983775547209528065535651478446643107093439049*t + 623189014620031152832217968258870172397375717232692920056574519145617110174962537019481675414701235)*x^48 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(6116059560143556961118578478820525394737027126928226881648058694913501572439257578936108687702301*t + 339352803309383830472447243476783351028531054510216986983940882051874060348340744833616492635702203)*x^47 + 1/89538636629208632196642283892600068460885688951309697563291637794930945036027240927699202694402*(14006120350016092380725003451577647758719476572337388261166154727434095834091475533265533190768155*t + 891686176073874170943390712416075370504367571287712487045479871266732121453012649516932525120622861)*x^46 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(6075349147034764996548632656812829451648725641478431905852299912073474123934013501294252701111966*t + 363262772816028846307894951327073477574648935627735980630001749874983990752680061626071143654613138)*x^45 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(6783310519611953746410370553846484727041403811755183829518072261697568082439921364349359603172050*t + 381616879730403073247088460787380673212797498474803740026511457148947055736313057163038100051396742)*x^44 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(7735661301453078740738669743934184627695638507403205768275332989565377878881443453383203414786080*t + 495789861114538289984308976786353300720054761293383637999000321505387705949184335968535041766498048)*x^43 + 1/89538636629208632196642283892600068460885688951309697563291637794930945036027240927699202694402*(13486749019536506570519973777953363666912987044518096923513792202827908836902210120683934901233769*t + 788125469532654000298868128122574099135300518797500579158021958523489933324312650616580862509821903)*x^42 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(7012327182133528913308123515974745225954362357670301470911787747851612081197699174613751816279009*t + 401027976439815750980229642658657690703264287118943496142245670481700422779252600375640758674530967)*x^41 + 1/89538636629208632196642283892600068460885688951309697563291637794930945036027240927699202694402*(16021500848205707655642106342486036047149527480891443315682867448186446308137367085777427694788115*t + 1030416029328063527760060302376407392375187937049962433724130089051352413044640368789114950865824797)*x^40 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(7012327182133528913308123515974745225954362357670301470911787747851612081197699174613751816279009*t + 401027976439815750980229642658657690703264287118943496142245670481700422779252600375640758674530967)*x^39 + 1/89538636629208632196642283892600068460885688951309697563291637794930945036027240927699202694402*(13486749019536506570519973777953363666912987044518096923513792202827908836902210120683934901233769*t + 788125469532654000298868128122574099135300518797500579158021958523489933324312650616580862509821903)*x^38 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(7735661301453078740738669743934184627695638507403205768275332989565377878881443453383203414786080*t + 495789861114538289984308976786353300720054761293383637999000321505387705949184335968535041766498048)*x^37 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(6783310519611953746410370553846484727041403811755183829518072261697568082439921364349359603172050*t + 381616879730403073247088460787380673212797498474803740026511457148947055736313057163038100051396742)*x^36 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(6075349147034764996548632656812829451648725641478431905852299912073474123934013501294252701111966*t + 363262772816028846307894951327073477574648935627735980630001749874983990752680061626071143654613138)*x^35 + 1/89538636629208632196642283892600068460885688951309697563291637794930945036027240927699202694402*(14006120350016092380725003451577647758719476572337388261166154727434095834091475533265533190768155*t + 891686176073874170943390712416075370504367571287712487045479871266732121453012649516932525120622861)*x^34 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(6116059560143556961118578478820525394737027126928226881648058694913501572439257578936108687702301*t + 339352803309383830472447243476783351028531054510216986983940882051874060348340744833616492635702203)*x^33 + 1/89538636629208632196642283892600068460885688951309697563291637794930945036027240927699202694402*(10150181145354068954817995881897421165584141002927475983775547209528065535651478446643107093439049*t + 623189014620031152832217968258870172397375717232692920056574519145617110174962537019481675414701235)*x^32 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(5913675528133035789447082778523494317258712017600151174008495353060985968807843973148215991912946*t + 371577512496361662108084104764975614687252857339205893406599400966306308431036190875097747316242302)*x^31 + 1/89538636629208632196642283892600068460885688951309697563291637794930945036027240927699202694402*(10252494492208637657206571544055605463114121265592392885567005381002578226083853216819726054454163*t + 565482220692262877809011348975112744716270549533205194410514055510392633109507382995599254322117621)*x^30 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(3947847394936703773308192134036499228771763276581376229425623739537170282851409426802425632610651*t + 248787796535608276020127255833878882935610657580777183195803972846913093413535071124029222495338861)*x^29 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(4647441377138800341699844223228830701126605517167698994448366825040272016194516407003105938775862*t + 287510216267399530013061987515400690939256361698226706372420207845089562524035708459094086200207242)*x^28 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(3994382973150403186095309443548788062086407261940145199113829613358657054496374840744545302732549*t + 219798497404767468195682431679510069342468805676073516363538045740709465681799327639931267875544627)*x^27 + 1/89538636629208632196642283892600068460885688951309697563291637794930945036027240927699202694402*(5664164854585384577240367918319285407307166915082005857579115499757254606408578268690947091072399*t + 367488673052683700376116058215078680096712546089153795811868075401544240091519254281662208124046361)*x^26 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(3365894464842381754445958769885965586939211369010024191498226970851876198990690088029168567539913*t + 203891282292080980711963709425234116019258462519569967830763736944031643394174527332189986461365839)*x^25 + 1/89538636629208632196642283892600068460885688951309697563291637794930945036027240927699202694402*(5726015099237535942088500605814457519574187668989676493579512668053368879968449633756669843261027*t + 317327375157487666733306583561118675377238128898355537498601818396379343457063558423789707696297397)*x^24 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(1884253643867192933517877017928961574633532318426014488790871846484816887897998548406096445941330*t + 125291589515691842897339064585577709504804582887386288271113855155196712706541971984521663517855902)*x^23 + 1/44769318314604316098321141946300034230442844475654848781645818897465472518013620463849601347201*(2248564295882499803183326154221546046932320348097484315884651056601609558782921101999027254669986*t + 133039343415835621056512744704514018096005159421082266598593702507923828487081615974478502065674798)*x^22 + 1/913659557440904410169819223393878249600874377054180587380526916274805561592114703343869415249*(38448413295022397938360053779543935402598940332611677416323866151153949792619753893718587729280*t + 2151807521425036626216247831147805715186378771328160490963173320480856661916433642477972194682944)*x^21 + 1/18646113417161314493261616803956698971446415858248583415929120740302154318206422517221824801*(469583355939131285627991304806016534343122405135091549494771106057241208081566451413817935729*t + 32130407615288655223382050474799892100592124594335077188219999848977024543276455182211973384471)*x^20 + 1/380532926880843152923706465386871407580539099147930273794471851842901108534824949331057649*(11511607371557832876852579804264970079932650312195324262737586078242434090115777771743069787*t + 660430030523018823081090713300808454287126938000097533181356976237866961622094156367073218925)*x^19 + 1/15531956199218087874436998587219241125736289761140011175284565381342902389176528544124802*(39265140\ 1020475894907183683280412938657065337583219184957814423954937384047902151896478139*t + 22424734903523447516432381029659537037710428840049646150684696761788179555194357058596396173)*x^18 + 1/158489348971613141575887740685910623732002956746326644645760871238192881522209474940049*(2205594358473433704305869030527451525650369853552492740914913012122026609015618679291979*t + 153266852782253441958322049728187965899033127503040429121615198064072431558715293546140285)*x^17 + 1/3234476509624757991344647769100216810857203198904625400933895331391691459636928060001*(524740944262312\ 60087122438001196168106742695062642052099816938996593625070038199524028*t + 2906815606523101496474314782484354024386337347081028937438724834040214872059977157829297)*x^16 + 1/66009724686219550843768321818371771650147004059278069406814190436565131829325062449*(891670683312941096018890191874141187061052489493816196584992231745606578701294962319*t + 52033883983591503101851864443097882897334831545751275397322523625285910554014350624073)*x^15 + 1/2694274476988553095664013135443745781638653226909308955380171038227148237931635202*(1822778941180091092126\ 8920659723524952172120325520802285579182988013987188573872473*t + 1293354393016886265673910753579827077835208701823479891822782578040390722536264555055)*x^14 + 1/27492596703964827506775644239221895731006665580707234238573173859460696305424849*(208243196058081497660981773220205801731754112926922809739639842343465226340927288*t + 10940190189199557425647903381504544647368491126736050652747309776730242508938125144)*x^13 + 1/561073402121731173607666208963712157775646236340963964052513752233891761335201*(35649252863652734408901893447\ 41543967079516890874811586780211462011395400662212*t + 215390974442447625344348011361481376991674655213987175473961835297792723382818504)*x^12 + 1/233683216210633558353880137011125430143959282107856711392134007594290612801*(695975822655006332697329374577238548684888116181425312255928389300221057417*t + 49126785125401574962861909982836346008431490331742020726401422820191030170815)*x^11 + 1/97327453648743672783790144527749033795901408624680013074608083129650401*(289359376449490536000376919034387930460934\ 385869419836150047361176397972*t + 14325855823084025267331589319786591329483128739548848248351274185869642484)*x^10 + 1/40536215597144386832065866109016673800875222251012083746192454448001*(103421758579234317123011151394372078625096436575609046041086990436268*t + 6495603541071888063579803114070164215449134315103582804798212006868292)*x^9 + 1/16883055225799411425266916330285994919148364119538560494041005601*(17985337439727893972598006445033534354407101469455062495\ 427983683*t + 1282492518276056856025029807563751465465543072990801563180833909699)*x^8 + 1/7031676478883553279994550741476882515263791803223057265323201*(5829630927358338252770397526337139753080514811978\ 925884216887*t + 239992872908969554346280214671742404843177783923305601458605889)*x^7 + 1/5857289861627283032065431688027390683268464642418206801602*(49696869733253781048415174794826191545954144060918869\ 89591*t + 334218290074633659386577523137064921158653155309482533951969)*x^6 + 1/1219760487635835700138573862562971820755615294131238401*(572280993136306970559405958144167650030635992993207102*t + 37891596656253145294464849594033754070851271012545549954)*x^5 + 1/508021860739623365322188197652216501772434524836001*(69742110314199908385280965170016774724239472222107*t + 1801760574371928465060324325605336779932097977329529)*x^4 + 1/1798465042647412146620280340569649349251249*(153506140636838516430887072372171428091943*t + 13801265831540998572002883554479739943287377)*x^3 + 1/12733611521818055971482870278448002*(1573183397714044045227181664829867*t + 100977228498215365359243042669280781)*x^2 + 1/79792266297612001*(5386147326578097*t + 207236645766181591)*x + 1 > > > > > > poly4:=Factorization(poly3); > poly4; [ ] > poly4:=poly_convert3(poly4[1][1],D); [](1)x^{40} [ <2, 1>, <7, 20> ](5386147326578097*t + 207236645766181591)x^{39} [ <7, 30> ](404439232967551932686865*t + 24134999603103953100140691)x^{38} [ <2, 1>, <7, 34> ](-1814560196023965442732984899*t + 28745633511018881023481540491)x^{37} [ <7, 38> ](8086393053842005337165246829357*t + 300538763694637961561479766808169)x^{36} [ <7, 42> ](27731428750738337585288836695453612*t + 1798162506696112787204938617769492092)x^{35} [ <7, 46> ](7918378474398293584229361117840128214*t + 2398690655608290472326300079935700002534)x^{34} [ <2, 1>, <7, 48> ](8541482645479761890406405906034776363459*t + 209142979662888011669696550382296756211701)x^{33} [ <7, 50> ](261993782501477490756768502428277675940034*t + 18371230311900350611113854054556566185831755)x^{32} [ <2, 1>, <7, 52> ](9267248418209320144281979836845014701375429*t + 901789626561211582928142769370162529509827699)x^{31} [ <7, 54> ](807660418082278121456233385415633353967302559*t + 25324870141361107249627450998393352582296792889)x^{30} [ <7, 56> ](50935373890135803720144573460138687988443050090*t + 3694995112498474935605458645029105569000380275366)x^{29} [ <2, 1>, <7, 56> ](46852494939040584435202280714148480524576696307*t + 3465767207251108289978546281389120151050016430501)x^{28} [ <2, 1>, <7, 56> ](107548299643853035727274076195816661515728771285*t + 3248218038077319538872644475662288620464185757283)x^{27} [ <7, 56> ](62507698081151507452632873743887953441201734394*t + 5213050803284019092585095740653772889498434999078)x^{26} [ <2, 1>, <7, 56> ](71015035950013129895850106646109479941337459013*t + 4046479023085337586519647860995208476164110120947)x^{25} [ <2, 1>, <7, 56> ](115939323749664354434256194415944494035381894369*t + 4236277040053129547273797735300018666039251471195)x^{24} [ <2, 1>, <7, 56> ](153558388573347724642946528771807029960865534085*t + 12723038523780880046611973581444130785857271298067)x^{23} [ <7, 56> ](50807431609947631125051566032925799024802663746*t + 2533044332851700130351918461623231284046855781910)x^{22} [ <2, 1>, <7, 56> ](113795138736219397785757493206104930488305304007*t + 4618457462806256994306551710691804199961882681281)x^{21} [ <2, 1>, <7, 56> ](144551247256263857906880429168658966997967332019*t + 13360629954966427818640981484624345128004585188989)x^{20} [ <2, 1>, <7, 56> ](113795138736219397785757493206104930488305304007*t + 4618457462806256994306551710691804199961882681281)x^{19} [ <7, 56> ](50807431609947631125051566032925799024802663746*t + 2533044332851700130351918461623231284046855781910)x^{18} [ <2, 1>, <7, 56> ](153558388573347724642946528771807029960865534085*t + 12723038523780880046611973581444130785857271298067)x^{17} [ <2, 1>, <7, 56> ](115939323749664354434256194415944494035381894369*t + 4236277040053129547273797735300018666039251471195)x^{16} [ <2, 1>, <7, 56> ](71015035950013129895850106646109479941337459013*t + 4046479023085337586519647860995208476164110120947)x^{15} [ <7, 56> ](62507698081151507452632873743887953441201734394*t + 5213050803284019092585095740653772889498434999078)x^{14} [ <2, 1>, <7, 56> ](107548299643853035727274076195816661515728771285*t + 3248218038077319538872644475662288620464185757283)x^{13} [ <2, 1>, <7, 56> ](46852494939040584435202280714148480524576696307*t + 3465767207251108289978546281389120151050016430501)x^{12} [ <7, 56> ](50935373890135803720144573460138687988443050090*t + 3694995112498474935605458645029105569000380275366)x^{11} [ <7, 54> ](807660418082278121456233385415633353967302559*t + 25324870141361107249627450998393352582296792889)x^{10} [ <2, 1>, <7, 52> ](9267248418209320144281979836845014701375429*t + 901789626561211582928142769370162529509827699)x^{9} [ <7, 50> ](261993782501477490756768502428277675940034*t + 18371230311900350611113854054556566185831755)x^{8} [ <2, 1>, <7, 48> ](8541482645479761890406405906034776363459*t + 209142979662888011669696550382296756211701)x^{7} [ <7, 46> ](7918378474398293584229361117840128214*t + 2398690655608290472326300079935700002534)x^{6} [ <7, 42> ](27731428750738337585288836695453612*t + 1798162506696112787204938617769492092)x^{5} [ <7, 38> ](8086393053842005337165246829357*t + 300538763694637961561479766808169)x^{4} [ <2, 1>, <7, 34> ](-1814560196023965442732984899*t + 28745633511018881023481540491)x^{3} [ <7, 30> ](404439232967551932686865*t + 24134999603103953100140691)x^{2} [ <2, 1>, <7, 20> ](5386147326578097*t + 207236645766181591)x^{1} [](1)x^{0} > vecteur_valuation; [ -120, 0, 0, 0, 0, 12, -12, 0, 0, 12, 0, 24, -12, 0, -24, -24, -24, -60, 0, 120, 0, 0, 0, 0, -12, 12, -12, 0, 0, -12, 0, -24, 12, 0, -24, -24, -24, 0, 12, 60, 120, 0, 0, 0, 0, -12, 12, 0, 0, -12, 0, -24, 12, 0, 24, 24, 24, 60, 0, -120, 0, 0, 0, 0, 12, -12, 12, 0, 0, 12, 0, 24, -12, 0, 24, 24, 24, 0, -12, -60 ] > 1/6*vecteur_valuation; >> 1/6*vecteur_valuation; ^ Runtime error in '*': Bad argument types Argument types given: FldRatElt, SeqEnum[RngIntElt] > D; 3601 > ray_group; function(D, f) ... end function > ray_group(D,f); Abelian Group isomorphic to Z/2 + Z/2 + Z/20 Defined on 3 generators Relations: 20*$.1 = 0 2*$.2 = 0 2*$.3 = 0 Mapping from: Abelian Group isomorphic to Z/2 + Z/2 + Z/20 Defined on 3 generators Relations: 20*$.1 = 0 2*$.2 = 0 2*$.3 = 0 to Set of ideals of Maximal Order of Quadratic Field with defining polynomial $.1^2 - 3601 over the Rational Field > > > > D:=4009; > > ray_group(D,f); Abelian Group isomorphic to Z/2 + Z/2 + Z/22 Defined on 3 generators Relations: 2*$.1 = 0 22*$.2 = 0 2*$.3 = 0 Mapping from: Abelian Group isomorphic to Z/2 + Z/2 + Z/22 Defined on 3 generators Relations: 2*$.1 = 0 22*$.2 = 0 2*$.3 = 0 to Set of ideals of Maximal Order of Quadratic Field with defining polynomial $.1^2 - 4009 over the Rational Field > > > > poly,vecteur_valuation,vecteur_racines_unite,vecteur_log_unites:=calculs_polynome_speed_3(p, f, N_0, D, delta, j, V1, V2, V3, V4,V5,V6,V7, precision); 201 201 [ 2, 1/17776*(t - 5933) ] Ordre de conducteur 1 Ordre de conducteur 1 1/17776*(t - 5933) [-352181 -118800] [1066560 359779] 60*t + 3799 epsilon est egal a -1 [ -1, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, 5, 5, -4, -1, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/4615168*(t + 474739) ] Ordre de conducteur 1 Ordre de conducteur 1 1/4615168*(t + 474739) [ 28488139 -2930040] [276910080 -28480541] 60*t + 3799 epsilon est egal a 1 [ 2, 3, -5, -4, 3, -5, 4, -5, 4, -3, -2, 3, -5, -5, -5, -5, 2, 4, 5, -3, -2 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/36032*(t + 6003) ] Ordre de conducteur 1 Ordre de conducteur 1 1/36032*(t + 6003) [ 363979 -60000] [2161920 -356381] 60*t + 3799 epsilon est egal a -1 [ -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, 3, -4, -2, -2, -1, -3, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/9230336*(t - 4140429) ] Ordre de conducteur 1 Ordre de conducteur 1 1/9230336*(t - 4140429) [-248421941 -111435720] [ 553820160 248429539] 60*t + 3799 epsilon est egal a 1 [ -1, -5, -5, 4, -3, -2, 3, -5, 4, -5, 4, -5, 4, -5, 4, 2, 4, -3, 4, -5, -3, 2, 3, -4, 5, 5, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/8*(t - 5) ] Ordre de conducteur 1 Ordre de conducteur 1 1/8*(t - 5) [ 3499 29880] [ 480 4099] 60*t + 3799 epsilon est egal a 1 [ 1, 1, 1, 1, 1, 1, 1, 4, 1, -5, -5, 1, 1, 1, 1, 1, 1, 1, 1, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/18460672*(t - 13370765) ] Ordre de conducteur 1 Ordre de conducteur 1 1/18460672*(t - 13370765) [-802242101 -581053680] [1107640320 802249699] 60*t + 3799 epsilon est egal a 1 [ -1, 4, -3, 2, -1, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 2, 3, 1, 4, -3, 2, 5, 1, -2, 3, -4, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/16*(t + 3) ] Ordre de conducteur 1 Ordre de conducteur 1 1/16*(t + 3) [ 3979 15000] [ 960 3619] 60*t + 3799 epsilon est egal a 1 [ 1, 1, 1, 1, 2, 2, 3, 1, 4, -3, 1, 1, 1, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/36921344*(t - 13370765) ] Ordre de conducteur 1 Ordre de conducteur 1 1/36921344*(t - 13370765) [-802242101 -290526840] [2215280640 802249699] 60*t + 3799 epsilon est egal a 1 [ -1, -5, 4, 1, 5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, -5, -5, 4, 1, 5, -4, -5, -1, -4, 5, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/32*(t - 13) ] Ordre de conducteur 1 Ordre de conducteur 1 1/32*(t - 13) [3019 7200] [1920 4579] 60*t + 3799 epsilon est egal a 1 [ 1, -5, 1, 2, 3, 1, 2, 5, 1, 1, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/73842688*(t - 50292109) ] Ordre de conducteur 1 Ordre de conducteur 1 1/73842688*(t - 50292109) [-3017522741 -2055149640] [ 4430561280 3017530339] 60*t + 3799 epsilon est egal a 1 [ -1, 4, -5, 4, -5, -4, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 4, -3, 2, 2, 3, 1, -2, -2, 4, 5, -4, 5, -4, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/64*(t - 13) ] Ordre de conducteur 1 Ordre de conducteur 1 1/64*(t - 13) [3019 3600] [3840 4579] 60*t + 3799 epsilon est egal a 1 [ -3, -5, -5, -5, -3, -2, 3, 1, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/147685376*(t + 23550579) ] Ordre de conducteur 1 Ordre de conducteur 1 1/147685376*(t + 23550579) [ 1413038539 -225328920] [ 8861122560 -1413030941] 60*t + 3799 epsilon est egal a 1 [ 2, 2, 2, 2, 5, -4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 1, -5, -5, -1, 4, -5, -2, -2, -2, -2 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/128*(t - 13) ] Ordre de conducteur 1 Ordre de conducteur 1 1/128*(t - 13) [3019 1800] [7680 4579] 60*t + 3799 epsilon est egal a 1 [ 5, -3, -2, 4, -3, 4, -3, -2, -1, -5, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/295370752*(t - 124134797) ] Ordre de conducteur 1 Ordre de conducteur 1 1/295370752*(t - 124134797) [-7448084021 -3130191000] [17722245120 7448091619] 60*t + 3799 epsilon est egal a 1 [ -1, -5, 1, 1, 5, -4, 5, -4, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 3, 1, 4, -3, -1, -5, 4, -5, 4, -5, -1, -1, 5, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/256*(t - 141) ] Ordre de conducteur 1 Ordre de conducteur 1 1/256*(t - 141) [-4661 -3720] [15360 12259] 60*t + 3799 epsilon est egal a 1 [ -1, -4, 5, 4, -3, -1, -3, -2, -1, -3, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/590741504*(t - 419505549) ] Ordre de conducteur 1 Ordre de conducteur 1 1/590741504*(t - 419505549) [-25170329141 -17874305880] [ 35444490240 25170336739] 60*t + 3799 epsilon est egal a 1 [ -1, 4, 1, -4, 5, -4, 5, -4, 5, -4, 5, -4, 1, 1, 1, 1, -5, 1, 2, 3, 1, 2, 5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -1, -4, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/512*(t + 115) ] Ordre de conducteur 1 Ordre de conducteur 1 1/512*(t + 115) [10699 -1080] [30720 -3101] 60*t + 3799 epsilon est egal a 1 [ 5, -4, 5, -4, 2, 5, 5, 5, 5, -3, -2 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/1024*(t - 397) ] Ordre de conducteur 1 Ordre de conducteur 1 1/1024*(t - 397) [-20021 -9000] [ 61440 27619] 60*t + 3799 epsilon est egal a 1 [ -1, -4, 5, -4, 5, -4, 5, -4, -3, -2, 3, -4, 3, -4, 5, 5, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/21299775668224000*(t - 13755113289753997) ] Ordre de conducteur 1 Ordre de conducteur 1 1/21299775668224000*(t - 13755113289753997) [-825306797385236021 -532972209363394680] [1277986540093440000 825306797385243619] 60*t + 3799 epsilon est egal a 1 [ -1, 5, -4, 5, -1, -1, -1, -1, -1, -1, -1, -1, -1, 4, -5, 4, -5, 4, -5, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 5, 1, -2, 3, 4, -5, 4, -3, 4, -3, -1, -3, -2, -2, -1, -5, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 5, -4, 5, -4, 5, -4, 1, 1, 1, 1, 1, 1, 1, 1, 1, -5, 4, -5, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/42599551336448000*(t + 7544662378470003) ] Ordre de conducteur 1 Ordre de conducteur 1 1/42599551336448000*(t + 7544662378470003) [ 452679742708203979 -80172577343177520] [2555973080186880000 -452679742708196381] 60*t + 3799 epsilon est egal a 1 [ -2, -2, 3, -1, -1, -1, -1, 2, 2, 2, 2, 2, 2, 2, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 5, -4, -5, -1, -5, 2, 2, 2, 4, -3, -2, -1, -3, -2, -1, 5, 4, -5, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, -2, -2, -2, -2, -2, -2, -2, 1, 1, 1, 1, -3, 2, 2 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/85199102672896000*(t + 7544662378470003) ] Ordre de conducteur 1 Ordre de conducteur 1 1/85199102672896000*(t + 7544662378470003) [ 452679742708203979 -40086288671588760] [5111946160373760000 -452679742708196381] 60*t + 3799 epsilon est egal a 1 [ 2, 3, -1, -5, -1, -1, 2, 3, 1, 1, 1, 1, 3, -4, 3, -4, 3, -4, 5, -4, 5, -4, 5, -3, -1, -3, 2, 3, 1, 1, 4, 5, 5, 5, 3, -5, 4, -5, 4, -5, 4, -3, 4, -3, 4, -3, -1, -1, -1, -1, -3, -2, 1, 1, 5, 1, -3, -2 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/170398205345792000*(t - 77654440294425997) ] Ordre de conducteur 1 Ordre de conducteur 1 1/170398205345792000*(t - 77654440294425997) [-4659266417665556021 -2123336481814474200] [10223892320747520000 4659266417665563619] 60*t + 3799 epsilon est egal a 1 [ -1, -5, -5, -1, -3, -1, 2, 3, 1, 2, 3, 1, 1, -5, 3, -4, -2, -2, -2, -2, -2, -2, 5, 5, 1, 2, 3, 1, -5, 4, -5, 3, -4, 3, -5, 2, 2, 2, 2, 2, 2, 4, -3, 5, -1, -1, -3, -2, -1, -3, -2, 1, 3, 1, 5, 5, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/340796410691584000*(t - 248052645640217997) ] Ordre de conducteur 1 Ordre de conducteur 1 1/340796410691584000*(t - 248052645640217997) [-14883158738413076021 -10832880818946556920] [ 20447784641495040000 14883158738413083619] 60*t + 3799 epsilon est egal a 1 [ -1, 4, -3, -1, -3, -2, 5, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, -3, 2, 3, -4, -1, -1, -1, 5, -4, 3, 1, 2, 3, 1, 2, 3, 1, 4, -5, 4, -5, 4, -5, 3, -5, 4, -5, 1, 1, 1, 4, -3, -2, 3, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -5, 2, 3, 1, 3, -4, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/2048*(t - 1421) ] Ordre de conducteur 1 Ordre de conducteur 1 1/2048*(t - 1421) [-81461 -59040] [122880 89059] 60*t + 3799 epsilon est egal a 1 [ -1, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -3, -2, -1, -4, -2, 3, -4, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/576896*(t - 102157) ] Ordre de conducteur 1 Ordre de conducteur 1 1/576896*(t - 102157) [-6125621 -1085400] [34613760 6133219] 60*t + 3799 epsilon est egal a 1 [ -1, -3, 2, 2, -1, 3, 5, 5, 5, 2, -1, -2, -2, 3, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/332808994816000*(t - 109944502297997) ] Ordre de conducteur 1 Ordre de conducteur 1 1/332808994816000*(t - 109944502297997) [-6596670137876021 -2179230809354280] [19968539688960000 6596670137883619] 60*t + 3799 epsilon est egal a 1 [ -1, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, -1, -3, -2, -1, -3, -2, -1, -3, 2, 3, -5, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -2, -2, -2, -2, -2, -2, 5, -4, 5, 1, 5, -3, -2, 3, 1, 2, 3, 1, 2, 3, 1, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/144224000*(t - 95289997) ] Ordre de conducteur 1 Ordre de conducteur 1 1/144224000*(t - 95289997) [-5717396021 -3777533640] [ 8653440000 5717403619] 60*t + 3799 epsilon est egal a 1 [ -1, 5, -4, 5, -4, 5, -4, 5, -4, 5, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 2, 3, 2, 3, -1, -1, -1, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -5, 4, -5, 4, -5, 4, -5, 4, -5, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/288448000*(t + 48934003) ] Ordre de conducteur 1 Ordre de conducteur 1 1/288448000*(t + 48934003) [ 2936043979 -498087000] [17306880000 -2936036381] 60*t + 3799 epsilon est egal a 1 [ -2, -2, -2, -2, -2, -2, -2, -2, -2, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, -5, 2, 3, 1, 2, 3, -1, 5, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 2, 2, 2, 2, 2, 2, 2, 2, 2 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/665617989632000*(t - 442753497113997) ] Ordre de conducteur 1 Ordre de conducteur 1 1/665617989632000*(t - 442753497113997) [-26565209826836021 -17670555387036960] [ 39937079377920000 26565209826843619] 60*t + 3799 epsilon est egal a 1 [ -1, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -3, 4, -3, 4, -3, 4, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -5, 4, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -1, -1, -1, 5, -4, 5, -4, 5, -4, -4, 5, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, -4, 3, -4, 3, -4, 3, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/1331235979264000*(t - 442753497113997) ] Ordre de conducteur 1 Ordre de conducteur 1 1/1331235979264000*(t - 442753497113997) [-26565209826836021 -8835277693518480] [ 79874158755840000 26565209826843619] 60*t + 3799 epsilon est egal a 1 [ -1, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -4, 5, -3, 4, -3, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, 4, -5, 4, -5, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -1, -2, -2, -2, -2, -2, -2, 5, -4, 5, -4, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 3, -4, 3, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, -5, 4, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/10649887834112000*(t - 3105225455641997) ] Ordre de conducteur 1 Ordre de conducteur 1 1/10649887834112000*(t - 3105225455641997) [-186313527338516021 -54324094003029720] [ 638993270046720000 186313527338523619] 60*t + 3799 epsilon est egal a 1 [ -1, -4, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -5, 4, -5, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 1, 5, -4, -2, 4, -5, -5, -5, -5, -1, -4, -1, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 5, -4, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/1153792*(t - 679053) ] Ordre de conducteur 1 Ordre de conducteur 1 1/1153792*(t - 679053) [-40739381 -23979000] [ 69227520 40746979] 60*t + 3799 epsilon est egal a 1 [ -1, 5, 1, -3, -2, -1, -5, 2, 3, -4, 3, -4, 2, 3, 1, 5, 2, 3, -1, -5, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/2307584*(t + 474739) ] Ordre de conducteur 1 Ordre de conducteur 1 1/2307584*(t + 474739) [ 28488139 -5860080] [138455040 -28480541] 60*t + 3799 epsilon est egal a 1 [ 3, 1, 5, 5, 4, -5, -4, 3, 1, 2, 3, 1, 3, -5, -5, -1, -3 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/18028000*(t - 5149997) ] Ordre de conducteur 1 Ordre de conducteur 1 1/18028000*(t - 5149997) [-308996021 -88270920] [1081680000 309003619] 60*t + 3799 epsilon est egal a 1 [ -1, -4, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, -2, -2, -2, -2, -2, -2, 5, -4, 5, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, 4, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/36056000*(t - 23177997) ] Ordre de conducteur 1 Ordre de conducteur 1 1/36056000*(t - 23177997) [-1390676021 -893975280] [ 2163360000 1390683619] 60*t + 3799 epsilon est egal a 1 [ -1, 5, -4, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -1, -1, -1, 5, -4, 5, -4, 5, -4, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 4, -5, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/2600070272000*(t - 741550873997) ] Ordre de conducteur 1 Ordre de conducteur 1 1/2600070272000*(t - 741550873997) [-44493052436021 -12689603922960] [156004216320000 44493052443619] 60*t + 3799 epsilon est egal a 1 [ -1, -4, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 5, -4, 3, -5, 4, -3, -2, 4, 5, -3, -2, -1, -3, -2, 1, -5, 4, -3, 2, 3, -4, 5, -3, 4, -5, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, 4, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/37807456256000*(t + 2074855398003) ] Ordre de conducteur 1 Ordre de conducteur 1 1/37807456256000*(t + 2074855398003) [ 124491323883979 -6832025238840] [2268447375360000 -124491323876381] 60*t + 3799 epsilon est egal a 1 [ 2, 3, 1, 2, 2, 2, 2, 2, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 5, 5, -3, -3, -1, -3, -2, -1, -3, -2, -1, -4, 5, -4, 5, -4, 5, -3, 5, 3, -5, -5, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, -4, -2, -2, -2, -2, -2, -1, -3, -2 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/576896000*(t - 239513997) ] Ordre de conducteur 1 Ordre de conducteur 1 1/576896000*(t - 239513997) [-14370836021 -5966443320] [ 34613760000 14370843619] 60*t + 3799 epsilon est egal a 1 [ -1, -5, -1, -1, -1, -1, -1, -3, 4, -3, 4, -3, 4, -3, 4, -3, -2, 4, -5, -5, -5, -5, -1, -4, 5, -4, 3, -4, 3, -4, 3, -4, 3, -4, 3, 1, 1, 1, 1, 1, 5, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/1153792000*(t - 816409997) ] Ordre de conducteur 1 Ordre de conducteur 1 1/1153792000*(t - 816409997) [-48984596021 -34660941480] [ 69227520000 48984603619] 60*t + 3799 epsilon est egal a 1 [ -1, 4, -1, -1, 5, -3, 4, -3, 4, 4, -5, 4, -3, 4, -3, -1, -3, -2, -2, -2, 3, -4, 3, -4, 3, -5, 1, 1, -4, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/2662471958528000*(t - 442753497113997) ] Ordre de conducteur 1 Ordre de conducteur 1 1/2662471958528000*(t - 442753497113997) [-26565209826836021 -4417638846759240] [159748317511680000 26565209826843619] 60*t + 3799 epsilon est egal a 1 [ -1, -3, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, 4, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, -2, -1, -3, 2, 2, 2, 2, 3, -4, 3, -4, 3, -4, 2, 3, 2, 3, -1, -1, -1, -3, -2, -2, -2, -2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, -4, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 3, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/2307584000*(t + 337382003) ] Ordre de conducteur 1 Ordre de conducteur 1 1/2307584000*(t + 337382003) [ 20242923979 -2959630920] [138455040000 -20242916381] 60*t + 3799 epsilon est egal a 1 [ 2, 2, 3, -1, -4, 5, -3, 4, -5, 2, 2, 2, 4, -3, -2, -1, -3, -2, -1, -1, -4, 3, -5, 4, 1, -3, -2, -2 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 2, 1/4615168000*(t - 1970201997) ] Ordre de conducteur 1 Ordre de conducteur 1 1/4615168000*(t - 1970201997) [-118212116021 -50464415280] [ 276910080000 118212123619] 60*t + 3799 epsilon est egal a 1 [ -1, -5, 1, 2, 3, 5, -4, 5, -4, 5, -3, 2, 2, 3, 1, 1, 4, 5, 5, 5, -1, -3, -2, 3, -5, 4, -5, 4, -5, -3, -2, -1, 5, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/147685376000*(t + 7260134003) ] Ordre de conducteur 1 Ordre de conducteur 1 1/147685376000*(t + 7260134003) [ 435608043979 -21414258000] [8861122560000 -435608036381] 60*t + 3799 epsilon est egal a 1 [ 2, 3, 1, 2, 3, -4, -2, -1, -3, 2, 3, -5, -5, 4, -3, 4, -3, 4, -3, 4, -3, 4, -3, 1, -3, 2, 2, 2, 2, 2, 2, 5, 5, -3, -2, 3, 1, 2, 4, -3, -2, -1, -3, -2 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule [ 1, 1/9230336000*(t - 1970201997) ] Ordre de conducteur 1 Ordre de conducteur 1 1/9230336000*(t - 1970201997) [-118212116021 -25232207640] [ 553820160000 118212123619] 60*t + 3799 epsilon est egal a 1 [ -1, -3, -5, -5, -2, -2, -2, -2, -2, 1, 2, 3, 1, -5, 4, -5, 3, -4, 3, 5, 2, 2, 2, 2, 2, 5, 5, 3, 1 ] vecteur log unites est calcule vecteur valuation est calcule vecteur racine de l'unite est calcule > > > > poly:=rational_reconstruction2(p, D, vecteur_valuation, vecteur_racines_unite, vecteur_log_unites, 197, 0, 12); rational_reconstruction2( p: 7, D: 4009, vecteur_valuation: [ -102, -18, -6, -30, -6, -54, -6, -102, -6, -6, 6, -6, 6, -..., vecteur_racines_unite: [ -6240, 1704, -1296, 2088, -264, -5220, 804, -3936, 432, -6..., vecteur_log_unites: [ (-23147876361815844667272617482344504727988155124272552359..., precision: 197, no_roots_unity: 0, d: 12 ) In file "prog_final2.txt", line 5224, column 34: >> vecteur_unites[i]:=p^( Integers()!(val/d) )*root^(Integers()!(m/d))*Exp(sum/d); ^ Runtime error in '!': Rational argument is not a whole integer LHS: RngInt RHS: FldRatElt > poly:=rational_reconstruction2(p, D, vecteur_valuation, vecteur_racines_unite, vecteur_log_unites, 197, 0, 6); > 2*poly; (2 + O(7^197))*z^88 + ((-36167161859010*tp - 3366959543172086)*7^-17 + O(7^180))*z^87 + ((50804303454620654459600017575*tp + 3987477923832364277061677813869)*7^-34 + O(7^163))*z^86 + ((-6798722522841946592275693209187446534*tp - 491888856057333586214002263259445419746)*7^-43 + O(7^154))*z^85 + ((517554489997075904042997558034606553066530758*tp + 37606327062057028472657127223817426850863346518)*7^-52 + O(7^145))*z^84 + ((-317911160142075563438792229901777610204782322795716*tp - 26900362218933004096651030649416153527567407803377148)*7^-59 + O(7^138))*z^83 + ((-542510827637902664639454220579146174388347289593890065187*tp - 25319296827137611327143274881022247524839123981377676729713)*7^-66 + O(7^131))*z^82 + ((1706218642878721171431087453932907409660604053662548661877907188*tp + 96885879011271474688291917396909855225169677599302633598700759692)*7^-73 + O(7^124))*z^81 + ((-2105320517099710437846764026593319475253016645333171463899717907364172*tp - 119979818183652386099023306337688041565375202779240463841246187958643094)*7^-80 + O(7^117))*z^80 + ((16617359635891489646206147960377594372871213583842094268892950785846051196*tp + 746930729549461977292737615882007739692793542633992873271918407830804358932)*7^-85 + O(7^112))*z^79 + ((715455363604508391291759881692101545963361382368653332643854945092688640300661*tp + 52138788983673037691042858883032585159520248264007425242576208938122215162190239)*7^-90 + O(7^107))*z^78 + ((-613867855176575786607676032232498599155023179040367307013693199231882775879325586*tp - 41848501511616630220064986747853822825566548936967866980179461649941907994190044918)*7^-93 + O(7^104))*z^77 + ((198777211695246714863405573607814870980480355757760598935859572717766308428690123486*tp + 13857218862063681234644940610568293187632102837398004723414087684533050485831273756050)*7^-96 + O(7^101))*z^76 + ((14867668647398604350067238386311892786873639818054881902046935466447078684437866978510*tp + 417606096674689105718157082879638638340254571667441233508433297011892129545682458834986)*7^-99 + O(7^98))*z^75 + ((-47158346830877231050670455881398420710376876194584393546631672975041973617593019064966799*tp - 2774752193130784736925270702590901848354016512150700143846402003162665598766307286099915821)*7^-102 + O(7^95))*z^74 + ((22893197789438861418785360895190029136965691909754048330519190596824553630652478462553667704*tp + 1366714371849160115987825149343814299808759809701736170372412641660219727016395416035527368776)*7^-105 + O(7^92))*z^73 + ((-4138905743697935106488250145387520323248288443507666040552378891733069944748566136164622416266*tp - 230243098413694146153556518953740858096195501749128233164173220050965996806510983712804407627352)*7^-108 + O(7^89))*z^72 + ((-1423495843930853341014738552081433551497004565221913307630619759633221403653202457586993855286250*tp - 102040508909206733548115616562466622642669966898239110543989118136962127448612914122914858800091630)*7^-111 + O(7^86))*z^71 + ((1275994656642461881448474355921538448374437165635094856543265463284257212925563343038579631409528282*tp + 85167477987870931719843281853458220137987138416649419250208952748607019841617602216778081030025068310)*7^-114 + O(7^83))*z^70 + ((-8375569600555869215309623159525866076475808171322392073643587193444240811057491165867880948997808744*tp - 562234670585998915028596548781729103153664716185430381458185999994089231923904080297940294499652015336)*7^-115 + O(7^82))*z^69 + ((12328826676932327693095173090580420425037458137273016810512306153800027024093831110146122194689092716*tp + 1009102122549542587642798477526748849440041063192782599630549113126583481297210481916371388662657204504)*7^-116 + O(7^81))*z^68 + ((301706071014367164697669700848888663510015335581800398027528959561154464308237626558684386701199847184*tp + 17512361101503713218212389726489578098600228533285107612541001083151530916327723128104709792069896528064)*7^-117 + O(7^80))*z^67 + ((-3567481502735253164632545782543749467485348876772117822787246222242149920189744953190302636185783498641*tp - 215061792277958972399874592459962250649014528137408480935956293147760629119348287741179683542946410096731)*7^-118 + O(7^79))*z^66 + ((23101324308513313194940747066126519803079302558209442868707699187028447727506391288656520326303204771626*tp + 1391032153868665919708748974678749902043609217651712602951945275492092747714609162640532906471924107730510)*7^-119 + O(7^78))*z^65 + ((-89650678237060265529181256186121878378592481073494199132888103041987139722935823481272367917573258391117*tp - 5213822270905541046318375422149028851738568715610410585677670470966518985338302822899754270738001768483885)*7^-120 + O(7^77))*z^64 + ((-146173529741550364936436979845228201697319780599653369339168118590204166366817438845044448854071845624424*tp - 12161566892421488074965909743001754766481159815406981499696478688794145368501740894760003056978621290039864)*7^-121 + O(7^76))*z^63 + ((7787340981471903550618331690269506750058827167658452916219253819535839388022769012681242257260560123155750*tp + 510988207074772793768696669655272561815838523577409735356358758767878363884232021358962544081642361699640274)*7^-122 + O(7^75))*z^62 + ((-93172558243903369424841558768634307572565311395256174173696851687674781866682046594709560731194804342035542*tp - 6007386045556742818943517913304921163659588676290323040247644761228543349075049584829842388859579419163343138)*7^-123 + O(7^74))*z^61 + ((610575821395148588469222344176866234478377738984671318357104563270071475163116747320083080941983029695675922*tp + 39313577501824549561565404047454409363361586029846583534762522861969296500405127126856650197998907264752176182)*7^-124 + O(7^73))*z^60 + ((-777772971549699790393829724569545539007865655368760097641112073923468558312039315135081564244271967946859630*tp - 53251448567646611162523127779670409345423605799339721979885605508942941791184494912709493722428540305954535402)*7^-125 + O(7^72))*z^59 + ((-30336694061664050508355206032070560146148142661450746976595194732018384196909474931303566014186389007090073420*tp - 1894963289423162890550102585347171209911786218071262190696246868688886221297014894379685394229516816686355480932)*7^-126 + O(7^71))*z^58 + ((361945807819465419797150881371449904094220291061701964706731071361022541323057108592714674159004109299662735688*tp + 22737371715305744267633446954739470793312565096334963687077002412597054812990384529097539219264011979503823135192)*7^-127 + O(7^70))*z^57 + ((-1974365749315083113876972938797669570356421718120132798688296652877798172978588476967603465503474933276140154015*tp - 123646608323401667541640915454058680474168383370457668230940929940044566759338470048794073054283730298377833694265)*7^-128 + O(7^69))*z^56 + ((1106435351237941613289929653579464169397092149737448455169873809775156743271122956242087138755510071534687296966*tp + 58994842631401509203772892274175802537356674319132991967686917822314704506435876149544585263820860736100038627922)*7^-129 + O(7^68))*z^55 + ((79836821368505206225981626925405170399509046189969420537702785370892948282626253839670789181786108166550047862640*tp + 5148981902371288647633862522871116155410080285350937164320772510820494256289747487649086200777758624954413377169440)*7^-130 + O(7^67))*z^54 + ((-804482139192373271293902172514090596338690770957487030445119461221693478178494244197095910716189592984649779223638*tp - 51740317642029808597222102183080123733169393916708638844685642513465641828241421504571001506224040771023043378735874)*7^-131 + O(7^66))*z^53 + ((4596944395739511251647940247007951242313751057345275405948749539902301138125885201810660720456762337255374463234114*tp + 297950404383148654866785764178546336864869950195601486143885523193332458575196070913595207675119597258642489350921134)*7^-132 + O(7^65))*z^52 + ((-14080294487762359361682800209911943748911732527787250945630590028572175161160847488599103229259948789330841158818116*tp - 949212886716176703201207238019582828617984001498891967404381016861686187963298847809684738112888192536925679100418924)*7^-133 + O(7^64))*z^51 + ((-62831241755314156048051707767615407915658274937799870376954067081728265798780154895457484011235652955938056761821418*tp - 3502404727263518950962669143473872353094052989826156339454787960597008655609117039078858997310829010070574030969677710)*7^-134 + O(7^63))*z^50 + ((1644956835672049070894662630324074118424138948588638994030917616719170301409279193267832592373590669117800116746570144*tp + 100334438614331769924240748946885107397227729485485049023876525852717717607990158773796491611378372087637565670638527168)*7^-135 + O(7^62))*z^49 + ((-17001967217265951916917598945038957288689989153173820957440677025593500007380777113134132887358731248510912097359127864*tp - 1046550403717997752477139533010284339893215928354944154504921338744201563086446604796450670225046543638646739593496058044)*7^-136 + O(7^61))*z^48 + ((98568689383493708927615773848873729699851686654173829750078237500476835174874297273167431234113178162600126314181331618*tp + 6012212130811765692736863422127836640143074763669329439538443427460802974968968623958185330669606746858332481386118360838)*7^-137 + O(7^60))*z^47 + ((-60474029244306386989483328335118916415762814132316403758296110244297086011167474370981806201409993240369468913755117127*tp - 2120960382186259541778148394037508133292370669653405648092948892718744842296364375232694546500056796283777258912085125253)*7^-138 + O(7^59))*z^46 + ((-4971331042831124571712571181556855948911715157479733179233087451705499202082552972570081319555387570591435730531910411954*tp - 327159856064805716247260928438657955768319137415725150935065748514809625860959747909623059760051133348414744184373787133494)*7^-139 + O(7^58))*z^45 + ((51909527620517081044616167398410919658695047524590637394381834546683365020914999993296213223074544248084245443611169507983*tp + 3374796795435856907807913252517650570729407590328522008922328464646197235711522392042207498624618627049064039226902767368781)*7^-140 + O(7^57))*z^44 + ((-4971331042831124571712571181556855948911715157479733179233087451705499202082552972570081319555387570591435730531910411954*tp - 327159856064805716247260928438657955768319137415725150935065748514809625860959747909623059760051133348414744184373787133494)*7^-139 + O(7^57))*z^43 + ((-60474029244306386989483328335118916415762814132316403758296110244297086011167474370981806201409993240369468913755117127*tp - 2120960382186259541778148394037508133292370669653405648092948892718744842296364375232694546500056796283777258912085125253)*7^-138 + O(7^58))*z^42 + ((98568689383493708927615773848873729699851686654173829750078237500476835174874297273167431234113178162600126314181331618*tp + 6012212130811765692736863422127836640143074763669329439538443427460802974968968623958185330669606746858332481386118360838)*7^-137 + O(7^59))*z^41 + ((-17001967217265951916917598945038957288689989153173820957440677025593500007380777113134132887358731248510912097359127864*tp - 1046550403717997752477139533010284339893215928354944154504921338744201563086446604796450670225046543638646739593496058044)*7^-136 + O(7^60))*z^40 + ((1644956835672049070894662630324074118424138948588638994030917616719170301409279193267832592373590669117800116746570144*tp + 100334438614331769924240748946885107397227729485485049023876525852717717607990158773796491611378372087637565670638527168)*7^-135 + O(7^61))*z^39 + ((-62831241755314156048051707767615407915658274937799870376954067081728265798780154895457484011235652955938056761821418*tp - 3502404727263518950962669143473872353094052989826156339454787960597008655609117039078858997310829010070574030969677710)*7^-134 + O(7^62))*z^38 + ((-14080294487762359361682800209911943748911732527787250945630590028572175161160847488599103229259948789330841158818116*tp - 949212886716176703201207238019582828617984001498891967404381016861686187963298847809684738112888192536925679100418924)*7^-133 + O(7^63))*z^37 + ((4596944395739511251647940247007951242313751057345275405948749539902301138125885201810660720456762337255374463234114*tp + 297950404383148654866785764178546336864869950195601486143885523193332458575196070913595207675119597258642489350921134)*7^-132 + O(7^64))*z^36 + ((-804482139192373271293902172514090596338690770957487030445119461221693478178494244197095910716189592984649779223638*tp - 51740317642029808597222102183080123733169393916708638844685642513465641828241421504571001506224040771023043378735874)*7^-131 + O(7^65))*z^35 + ((79836821368505206225981626925405170399509046189969420537702785370892948282626253839670789181786108166550047862640*tp + 5148981902371288647633862522871116155410080285350937164320772510820494256289747487649086200777758624954413377169440)*7^-130 + O(7^66))*z^34 + ((1106435351237941613289929653579464169397092149737448455169873809775156743271122956242087138755510071534687296966*tp + 58994842631401509203772892274175802537356674319132991967686917822314704506435876149544585263820860736100038627922)*7^-129 + O(7^67))*z^33 + ((-1974365749315083113876972938797669570356421718120132798688296652877798172978588476967603465503474933276140154015*tp - 123646608323401667541640915454058680474168383370457668230940929940044566759338470048794073054283730298377833694265)*7^-128 + O(7^68))*z^32 + ((361945807819465419797150881371449904094220291061701964706731071361022541323057108592714674159004109299662735688*tp + 22737371715305744267633446954739470793312565096334963687077002412597054812990384529097539219264011979503823135192)*7^-127 + O(7^69))*z^31 + ((-30336694061664050508355206032070560146148142661450746976595194732018384196909474931303566014186389007090073420*tp - 1894963289423162890550102585347171209911786218071262190696246868688886221297014894379685394229516816686355480932)*7^-126 + O(7^70))*z^30 + ((-777772971549699790393829724569545539007865655368760097641112073923468558312039315135081564244271967946859630*tp - 53251448567646611162523127779670409345423605799339721979885605508942941791184494912709493722428540305954535402)*7^-125 + O(7^71))*z^29 + ((610575821395148588469222344176866234478377738984671318357104563270071475163116747320083080941983029695675922*tp + 39313577501824549561565404047454409363361586029846583534762522861969296500405127126856650197998907264752176182)*7^-124 + O(7^72))*z^28 + ((-93172558243903369424841558768634307572565311395256174173696851687674781866682046594709560731194804342035542*tp - 6007386045556742818943517913304921163659588676290323040247644761228543349075049584829842388859579419163343138)*7^-123 + O(7^73))*z^27 + ((7787340981471903550618331690269506750058827167658452916219253819535839388022769012681242257260560123155750*tp + 510988207074772793768696669655272561815838523577409735356358758767878363884232021358962544081642361699640274)*7^-122 + O(7^74))*z^26 + ((-146173529741550364936436979845228201697319780599653369339168118590204166366817438845044448854071845624424*tp - 12161566892421488074965909743001754766481159815406981499696478688794145368501740894760003056978621290039864)*7^-121 + O(7^75))*z^25 + ((-89650678237060265529181256186121878378592481073494199132888103041987139722935823481272367917573258391117*tp - 5213822270905541046318375422149028851738568715610410585677670470966518985338302822899754270738001768483885)*7^-120 + O(7^76))*z^24 + ((23101324308513313194940747066126519803079302558209442868707699187028447727506391288656520326303204771626*tp + 1391032153868665919708748974678749902043609217651712602951945275492092747714609162640532906471924107730510)*7^-119 + O(7^77))*z^23 + ((-3567481502735253164632545782543749467485348876772117822787246222242149920189744953190302636185783498641*tp - 215061792277958972399874592459962250649014528137408480935956293147760629119348287741179683542946410096731)*7^-118 + O(7^78))*z^22 + ((301706071014367164697669700848888663510015335581800398027528959561154464308237626558684386701199847184*tp + 17512361101503713218212389726489578098600228533285107612541001083151530916327723128104709792069896528064)*7^-117 + O(7^79))*z^21 + ((12328826676932327693095173090580420425037458137273016810512306153800027024093831110146122194689092716*tp + 1009102122549542587642798477526748849440041063192782599630549113126583481297210481916371388662657204504)*7^-116 + O(7^80))*z^20 + ((-8375569600555869215309623159525866076475808171322392073643587193444240811057491165867880948997808744*tp - 562234670585998915028596548781729103153664716185430381458185999994089231923904080297940294499652015336)*7^-115 + O(7^81))*z^19 + ((1275994656642461881448474355921538448374437165635094856543265463284257212925563343038579631409528282*tp + 85167477987870931719843281853458220137987138416649419250208952748607019841617602216778081030025068310)*7^-114 + O(7^82))*z^18 + ((-1423495843930853341014738552081433551497004565221913307630619759633221403653202457586993855286250*tp - 102040508909206733548115616562466622642669966898239110543989118136962127448612914122914858800091630)*7^-111 + O(7^83))*z^17 + ((-4138905743697935106488250145387520323248288443507666040552378891733069944748566136164622416266*tp - 230243098413694146153556518953740858096195501749128233164173220050965996806510983712804407627352)*7^-108 + O(7^86))*z^16 + ((22893197789438861418785360895190029136965691909754048330519190596824553630652478462553667704*tp + 1366714371849160115987825149343814299808759809701736170372412641660219727016395416035527368776)*7^-105 + O(7^89))*z^15 + ((-47158346830877231050670455881398420710376876194584393546631672975041973617593019064966799*tp - 2774752193130784736925270702590901848354016512150700143846402003162665598766307286099915821)*7^-102 + O(7^92))*z^14 + ((14867668647398604350067238386311892786873639818054881902046935466447078684437866978510*tp + 417606096674689105718157082879638638340254571667441233508433297011892129545682458834986)*7^-99 + O(7^95))*z^13 + ((198777211695246714863405573607814870980480355757760598935859572717766308428690123486*tp + 13857218862063681234644940610568293187632102837398004723414087684533050485831273756050)*7^-96 + O(7^98))*z^12 + ((-613867855176575786607676032232498599155023179040367307013693199231882775879325586*tp - 41848501511616630220064986747853822825566548936967866980179461649941907994190044918)*7^-93 + O(7^101))*z^11 + ((715455363604508391291759881692101545963361382368653332643854945092688640300661*tp + 52138788983673037691042858883032585159520248264007425242576208938122215162190239)*7^-90 + O(7^104))*z^10 + ((16617359635891489646206147960377594372871213583842094268892950785846051196*tp + 746930729549461977292737615882007739692793542633992873271918407830804358932)*7^-85 + O(7^107))*z^9 + ((-2105320517099710437846764026593319475253016645333171463899717907364172*tp - 119979818183652386099023306337688041565375202779240463841246187958643094)*7^-80 + O(7^112))*z^8 + ((1706218642878721171431087453932907409660604053662548661877907188*tp + 96885879011271474688291917396909855225169677599302633598700759692)*7^-73 + O(7^117))*z^7 + ((-542510827637902664639454220579146174388347289593890065187*tp - 25319296827137611327143274881022247524839123981377676729713)*7^-66 + O(7^124))*z^6 + ((-317911160142075563438792229901777610204782322795716*tp - 26900362218933004096651030649416153527567407803377148)*7^-59 + O(7^131))*z^5 + ((517554489997075904042997558034606553066530758*tp + 37606327062057028472657127223817426850863346518)*7^-52 + O(7^138))*z^4 + ((-6798722522841946592275693209187446534*tp - 491888856057333586214002263259445419746)*7^-43 + O(7^145))*z^3 + ((50804303454620654459600017575*tp + 3987477923832364277061677813869)*7^-34 + O(7^154))*z^2 + ((-36167161859010*tp - 3366959543172086)*7^-17 + O(7^163))*z + 2 + O(7^180) > > > vecteur_valuation; [ -102, -18, -6, -30, -6, -54, -6, -102, -6, -6, 6, -6, 6, -6, 18, -6, 18, 30, -6, 6, -6, -18, -42, 54, -6, 42, -6, -6, 18, -6, 6, -6, -18, 42, 18, 6, 42, 6, -6, -6, 6, -6, 6, -18, 102, 18, 6, 30, 6, 54, 6, 102, 6, 6, -6, 6, -6, 6, -18, 6, -18, -30, 6, -6, 6, 18, 42, -54, 6, -42, 6, 6, -18, 6, -6, 6, 18, -42, -18, -6, -42, -6, 6, 6, -6, 6, -6, 18 ] > poly2:=poly_convert2(2*poly,D); > poly3:=1/2*poly2; > poly3; x^88 + 1/232630513987207*(-18083580929505*t - 1683479771586043)*x^87 + 1/108233912075904223337919321698*(50804303454620654459600017575*t + 3987477923832364277061677813869)*x^86 + 1/2183814375991796599109312252753832343*(-3399361261420973296137846604593723267*t - 245944428028666793107001131629722709873)*x^85 + 1/88124787089723195184393736687912818113311201*(258777244998537952021498779017303276533265379*t + 18803163531028514236328563611908713425431673259)*x^84 + 1/72574551534231909331741171093173785967490646405143*(-158955580071037781719396114950888805102391161397858*t - 13450181109466502048325515324708076763783703901688574)*x^83 + 1/119536527788311898613580238531171238434050298824861363298*(-542510827637902664639454220579146174388347289593890065187*t - 25319296827137611327143274881022247524839123981377676729713)*x^82 + 1/49221735352184872959961855190338177606846542622561400857262407*(853109321439360585715543726966453704830302026831274330938953594*t + 48442939505635737344145958698454927612584838799651316799350379846)*x^81 + 1/40536215597144386832065866109016673800875222251012083746192454448001*(-10526602585498552189233820132966597376265083226665857319\ 49858953682086*t - 59989909091826193049511653168844020782687601389620231920623093979321547)*x^80 + 1/681292175541205709486531011694243236571309860372760091522256581907552807*(8308679817945744823103073980\ 188797186435606791921047134446475392923025598*t + 373465364774730988646368807941003869846396771316996436635959203915402179466)*x^79 + 1/22900955188642088718680253427090292154108009646569957716429132744240480054498*(715455363604508391291759881692101545963361382368653332643854945092688640300661*t + 52138788983673037691042858883032585159520248264007425242576208938122215162190239)*x^78 + 1/3927513814852118215253663462745985104429523654386747748367596265637242329346407*(-306933927588287893303838016116\ 249299577511589520183653506846599615941387939662793*t - 20924250755808315110032493373926911412783274468483933490089730824970953997095022459)*x^77 + 1/1347137238494276547832006567721872890819326613454654477690085519113574118965817601*(99388605847623357431702786803907435490240177878880299467929786358883154214345061743*t + 6928609431031840617322470305284146593816051418699002361707043842266525242915636878025)*x^76 + 1/462068072803536855906378252728602401551029028414946485847699333055955922805275437143*(743383432369930217503\ 3619193155946393436819909027440951023467733223539342218933489255*t + 208803048337344552859078541439819319170127285833720616754216648505946064772841229417493)*x^75 + 1/316978697943226283151775481371821247464005913492653289291521742476385763044418949880098*(-47158346830877231050670455881398420710376876194584393546631672975041973617593019064966799*t - 2774752193130784736925270702590901848354016512150700143846402003162665598766307286099915821)*x^74 + 1/54361846697263307560529495055267343940077014163990039113495978834700158362117849904436807*(1144659889\ 4719430709392680447595014568482845954877024165259595298412276815326239231276833852*t + 683357185924580057993912574671907149904379904850868085186206320830109863508197708017763684388)*x^73 + 1/18646113417161314493261616803956698971446415858248583415929120740302154318206422517221824801*(-2069452871848967553244125072693760161624144221753833020276189445866534972374283068082311208133*t - 115121549206847073076778259476870429048097750874564116582086610025482998403255491856402203813676)*x^72 + 1/6395616902086330871188734563757147747206120639379264111663688413923638931144802923407085906743*(-711747921965426670507369276040716775748502282610956653815309879816610701826601228793496927643125*t - 51020254454603366774057808281233311321334983449119555271994559068481063724306457061457429400045815)*x^71 + 1/2193696597415611488817735955368701677291699379307087590300645125975808153382667402728630466012849*(637997328321230940724237177960769224187218582817547428271632731642128606462781671519289815704764141*t + 42583738993935465859921640926729110068993569208324709625104476374303509920808801108389040515012534155)*x^70 + 1/15355876181909280421724151687580911741041895655149613132104515881830657073678671819100413262089943*(-4187784800277934607654811579762933038237904085661196036821793596722120405528745582933940474498904372\ *t - 281117335292999457514298274390864551576832358092715190729092999997044615961952040148970147249826007668)*x^69 + 1/107491133273364962952069061813066382187293269586047291924731611172814599515750702733702892834629601*(6164413338466163846547586545290210212518729068636508405256153076900013512046915555073061097344546358\ *t + 504551061274771293821399238763374424720020531596391299815274556563291740648605240958185694331328602252)*x^68 + 1/752437932913554740664483432691464675311052887102331043473121278209702196610254919135920249842407207*(1508530355071835823488348504244443317550076677909001990137644797805772321541188132793421933505999235\ 92*t + 8756180550751856609106194863244789049300114266642553806270500541575765458163861564052354896034948264032)*x^67 + 1/10534131060789766369302768057680505454354740419432634608623697894935830752543568867902883497793700898*(-3567481502735253164632545782543749467485348876772117822787246222242149920189744953190302636185783\ 498641*t - 215061792277958972399874592459962250649014528137408480935956293147760629119348287741179683542946410096731)*x^66 + 1/36869458712764182292559688201881769090241591468014221130182942632275407633902491037660092242277953143*(11550662154256656597470373533063259901539651279104721434353849593514223863753195644328260163151602\ 385813*t + 695516076934332959854374487339374951021804608825856301475972637746046373857304581320266453235962053865255)*x^65 + 1/516172421978698552095835634826344767263382280552199095822561196851855706874634874527241291391891344002*(-896506782370602655291812561861218783785924810734941991328881030419871397229358234812723679175732\ 58391117*t - 5213822270905541046318375422149028851738568715610410585677670470966518985338302822899754270738001768483885)*x^64 + 1/1806603476925444932335424721892206685421837981932696835378964188981494974061222060845344519871619704007*(-73086764870775182468218489922614100848659890299826684669584059295102083183408719422522224427035\ 922812212*t - 6080783446210744037482954871500877383240579907703490749848239344397072684250870447380001528489310645019932)*x^63 + 1/12646224338478114526347973053245446797952865873528877847652749322870464818428554425917411639101337928049*(38936704907359517753091658451347533750294135838292264581096269097679196940113845063406211286302\ 80061577875*t + 255494103537386396884348334827636280907919261788704867678179379383939181942116010679481272040821180849820137)*x^62 + 1/88523570369346801684435811372718127585670061114702144933569245260093253728999880981421881473709365496343*(-4658627912195168471242077938431715378628265569762808708684842584383739093334102329735478036559\ 7402171017771*t - 3003693022778371409471758956652460581829794338145161520123822380614271674537524792414921194429789709581671569)*x^61 + 1/619664992585427611791050679609026893099690427802915014534984716820652776102999166869953170315965558474401*(3052879106975742942346111720884331172391888694923356591785522816350357375815583736600415404709\ 91514847837961*t + 19656788750912274780782702023727204681680793014923291767381261430984648250202563563428325098999453632376088091)*x^60 + 1/4337654948097993282537354757263188251697832994620405101744893017744569432720994168089672192211758909320807*(-38888648577484989519691486228477276950393282768438004882055603696173427915601965756754078212\ 2135983973429815*t - 26625724283823305581261563889835204672711802899669860989942802754471470895592247456354746861214270152977267701)*x^59 + 1/30363584636685952977761483300842317761884830962342835712214251124211986029046959176627705345482312365245649*(-1516834703083202525417760301603528007307407133072537348829759736600919209845473746565178300\ 7093194503545036710*t - 947481644711581445275051292673585604955893109035631095348123434344443110648507447189842697114758408343177740466)*x^58 + 1/212545092456801670844330383105896224333193816736399849985499757869483902203328714236393937418376186556719543*(1809729039097327098985754406857249520471101455308509823533655356805112706615285542963573370\ 79502054649831367844*t + 11368685857652872133816723477369735396656282548167481843538501206298527406495192264548769609632005989751911567596)*x^57 + 1/2975631294395223391820625363482547140664713434309597899796996610172774630846601999309515123857266611794073602*(-19743657493150831138769729387976695703564217181201327986882966528777981729785884769676034\ 65503474933276140154015*t - 123646608323401667541640915454058680474168383370457668230940929940044566759338470048794073054283730298377833694265)*x^56 + 1/10414709530383281871372188772188914992326497020083592649289488135604711207963106997583302933500433141279257607*(55321767561897080664496482678973208469854607486872422758493690488757837163556147812104356\ 9377755035767343648483*t + 29497421315700754601886446137087901268678337159566495983843458911157352253217938074772292631910430368050019313961)*x^55 + 1/72902966712682973099605321405322404946285479140585148545026416949232978455741748983083120534503031988954803249*(39918410684252603112990813462702585199754523094984710268851392685446474141313126919835394\ 590893054083275023931320*t + 2574490951185644323816931261435558077705040142675468582160386255410247128144873743824543100388879312477206688584720)*x^54 + 1/510320766988780811697237249837256834623998353984096039815184918644630849190192242881581843741521223922683622743*(-402241069596186635646951086257045298169345385478743515222559730610846739089247122098547\ 955358094796492324889611819*t - 25870158821014904298611051091540061866584696958354319422342821256732820914120710752285500753112020385511521689367937)*x^53 + 1/3572245368921465681880660748860797842367988477888672278706294430512415944331345700171072906190648567458785359201*(229847219786975562582397012350397562115687552867263770297437476995115056906294260090533\ 0360228381168627687231617057*t + 148975202191574327433392882089273168432434975097800743071942761596666229287598035456797603837559798629321244675460567)*x^52 + 1/25005717582450259773164625242025584896575919345220705950944061013586911610319419901197510343334539972211497514407*(-7040147243881179680841400104955971874455866263893625472815295014286087580580423744299\ 551614629974394665420579409058*t - 474606443358088351600603619009791414308992000749445983702190508430843093981649423904842369056444096268462839550209462)*x^51 + 1/175040023077151818412152376694179094276031435416544941656608427095108381272235939308382572403341779805480482600849*(-314156208776570780240258538838077039578291374688999351884770335408641328993900774477\ 28742005617826477969028380910709*t - 1751202363631759475481334571736936176547026494913078169727393980298504327804558519539429498655414505035287015484838855)*x^50 + 1/1225280161540062728885066636859253659932220047915814591596258989665758668905651575158678006823392458638363378205943*(822478417836024535447331315162037059212069474294319497015458808359585150704639596633\ 916296186795334558900058373285072*t + 50167219307165884962120374473442553698613864742742524511938262926358858803995079386898245805689186043818782835319263584)*x^49 + 1/8576961130780439102195466458014775619525540335410702141173812927660310682339561026110746047763747210468543647441601*(-85009836086329759584587994725194786443449945765869104787203385127967500036903885565\ 67066443679365624255456048679563932*t - 523275201858998876238569766505142169946607964177472077252460669372100781543223302398225335112523271819323369796748029022)*x^48 + 1/60038727915463073715368265206103429336678782347874914988216690493622174776376927182775222334346230473279805532091207*(49284344691746854463807886924436864849925843327086914875039118750238417587437148636\ 583715617056589081300063157090665809*t + 3006106065405882846368431711063918320071537381834664719769221713730401487484484311979092665334803373429166240693059180419)*x^47 + 1/840542190816483032015155712885448010713502952870248809835033666910710446869276980558853112680847226625917277449276898*(-604740292443063869894833283351189164157628141323164037582961102442970860111674743\ 70981806201409993240369468913755117127*t - 2120960382186259541778148394037508133292370669653405648092948892718744842296364375232694546500056796283777258912085125253)*x^46 + 1/2941897667857690612053044995099068037497260335045870834422617834187486564042469431955985894382965293190710471072469143*(-24856655214155622858562855907784279744558575787398665896165437258527496010412764\ 86285040659777693785295717865265955205977*t - 163579928032402858123630464219328977884159568707862575467532874257404812930479873954811529880025566674207372092186893566747)*x^45 + 1/41186567350007668568742629931386952524961644690642191681916649678624811896594572047383802521361514104669946595014568002*(51909527620517081044616167398410919658695047524590637394381834546683365020914999\ 993296213223074544248084245443611169507983*t + 3374796795435856907807913252517650570729407590328522008922328464646197235711522392042207498624618627049064039226902767368781)*x^44 + 1/2941897667857690612053044995099068037497260335045870834422617834187486564042469431955985894382965293190710471072469143*(-24856655214155622858562855907784279744558575787398665896165437258527496010412764\ 86285040659777693785295717865265955205977*t - 163579928032402858123630464219328977884159568707862575467532874257404812930479873954811529880025566674207372092186893566747)*x^43 + 1/840542190816483032015155712885448010713502952870248809835033666910710446869276980558853112680847226625917277449276898*(-604740292443063869894833283351189164157628141323164037582961102442970860111674743\ 70981806201409993240369468913755117127*t - 2120960382186259541778148394037508133292370669653405648092948892718744842296364375232694546500056796283777258912085125253)*x^42 + 1/60038727915463073715368265206103429336678782347874914988216690493622174776376927182775222334346230473279805532091207*(49284344691746854463807886924436864849925843327086914875039118750238417587437148636\ 583715617056589081300063157090665809*t + 3006106065405882846368431711063918320071537381834664719769221713730401487484484311979092665334803373429166240693059180419)*x^41 + 1/8576961130780439102195466458014775619525540335410702141173812927660310682339561026110746047763747210468543647441601*(-85009836086329759584587994725194786443449945765869104787203385127967500036903885565\ 67066443679365624255456048679563932*t - 523275201858998876238569766505142169946607964177472077252460669372100781543223302398225335112523271819323369796748029022)*x^40 + 1/1225280161540062728885066636859253659932220047915814591596258989665758668905651575158678006823392458638363378205943*(822478417836024535447331315162037059212069474294319497015458808359585150704639596633\ 916296186795334558900058373285072*t + 50167219307165884962120374473442553698613864742742524511938262926358858803995079386898245805689186043818782835319263584)*x^39 + 1/175040023077151818412152376694179094276031435416544941656608427095108381272235939308382572403341779805480482600849*(-314156208776570780240258538838077039578291374688999351884770335408641328993900774477\ 28742005617826477969028380910709*t - 1751202363631759475481334571736936176547026494913078169727393980298504327804558519539429498655414505035287015484838855)*x^38 + 1/25005717582450259773164625242025584896575919345220705950944061013586911610319419901197510343334539972211497514407*(-7040147243881179680841400104955971874455866263893625472815295014286087580580423744299\ 551614629974394665420579409058*t - 474606443358088351600603619009791414308992000749445983702190508430843093981649423904842369056444096268462839550209462)*x^37 + 1/3572245368921465681880660748860797842367988477888672278706294430512415944331345700171072906190648567458785359201*(229847219786975562582397012350397562115687552867263770297437476995115056906294260090533\ 0360228381168627687231617057*t + 148975202191574327433392882089273168432434975097800743071942761596666229287598035456797603837559798629321244675460567)*x^36 + 1/510320766988780811697237249837256834623998353984096039815184918644630849190192242881581843741521223922683622743*(-402241069596186635646951086257045298169345385478743515222559730610846739089247122098547\ 955358094796492324889611819*t - 25870158821014904298611051091540061866584696958354319422342821256732820914120710752285500753112020385511521689367937)*x^35 + 1/72902966712682973099605321405322404946285479140585148545026416949232978455741748983083120534503031988954803249*(39918410684252603112990813462702585199754523094984710268851392685446474141313126919835394\ 590893054083275023931320*t + 2574490951185644323816931261435558077705040142675468582160386255410247128144873743824543100388879312477206688584720)*x^34 + 1/10414709530383281871372188772188914992326497020083592649289488135604711207963106997583302933500433141279257607*(55321767561897080664496482678973208469854607486872422758493690488757837163556147812104356\ 9377755035767343648483*t + 29497421315700754601886446137087901268678337159566495983843458911157352253217938074772292631910430368050019313961)*x^33 + 1/2975631294395223391820625363482547140664713434309597899796996610172774630846601999309515123857266611794073602*(-19743657493150831138769729387976695703564217181201327986882966528777981729785884769676034\ 65503474933276140154015*t - 123646608323401667541640915454058680474168383370457668230940929940044566759338470048794073054283730298377833694265)*x^32 + 1/212545092456801670844330383105896224333193816736399849985499757869483902203328714236393937418376186556719543*(1809729039097327098985754406857249520471101455308509823533655356805112706615285542963573370\ 79502054649831367844*t + 11368685857652872133816723477369735396656282548167481843538501206298527406495192264548769609632005989751911567596)*x^31 + 1/30363584636685952977761483300842317761884830962342835712214251124211986029046959176627705345482312365245649*(-1516834703083202525417760301603528007307407133072537348829759736600919209845473746565178300\ 7093194503545036710*t - 947481644711581445275051292673585604955893109035631095348123434344443110648507447189842697114758408343177740466)*x^30 + 1/4337654948097993282537354757263188251697832994620405101744893017744569432720994168089672192211758909320807*(-38888648577484989519691486228477276950393282768438004882055603696173427915601965756754078212\ 2135983973429815*t - 26625724283823305581261563889835204672711802899669860989942802754471470895592247456354746861214270152977267701)*x^29 + 1/619664992585427611791050679609026893099690427802915014534984716820652776102999166869953170315965558474401*(3052879106975742942346111720884331172391888694923356591785522816350357375815583736600415404709\ 91514847837961*t + 19656788750912274780782702023727204681680793014923291767381261430984648250202563563428325098999453632376088091)*x^28 + 1/88523570369346801684435811372718127585670061114702144933569245260093253728999880981421881473709365496343*(-4658627912195168471242077938431715378628265569762808708684842584383739093334102329735478036559\ 7402171017771*t - 3003693022778371409471758956652460581829794338145161520123822380614271674537524792414921194429789709581671569)*x^27 + 1/12646224338478114526347973053245446797952865873528877847652749322870464818428554425917411639101337928049*(38936704907359517753091658451347533750294135838292264581096269097679196940113845063406211286302\ 80061577875*t + 255494103537386396884348334827636280907919261788704867678179379383939181942116010679481272040821180849820137)*x^26 + 1/1806603476925444932335424721892206685421837981932696835378964188981494974061222060845344519871619704007*(-73086764870775182468218489922614100848659890299826684669584059295102083183408719422522224427035\ 922812212*t - 6080783446210744037482954871500877383240579907703490749848239344397072684250870447380001528489310645019932)*x^25 + 1/516172421978698552095835634826344767263382280552199095822561196851855706874634874527241291391891344002*(-896506782370602655291812561861218783785924810734941991328881030419871397229358234812723679175732\ 58391117*t - 5213822270905541046318375422149028851738568715610410585677670470966518985338302822899754270738001768483885)*x^24 + 1/36869458712764182292559688201881769090241591468014221130182942632275407633902491037660092242277953143*(11550662154256656597470373533063259901539651279104721434353849593514223863753195644328260163151602\ 385813*t + 695516076934332959854374487339374951021804608825856301475972637746046373857304581320266453235962053865255)*x^23 + 1/10534131060789766369302768057680505454354740419432634608623697894935830752543568867902883497793700898*(-3567481502735253164632545782543749467485348876772117822787246222242149920189744953190302636185783\ 498641*t - 215061792277958972399874592459962250649014528137408480935956293147760629119348287741179683542946410096731)*x^22 + 1/752437932913554740664483432691464675311052887102331043473121278209702196610254919135920249842407207*(1508530355071835823488348504244443317550076677909001990137644797805772321541188132793421933505999235\ 92*t + 8756180550751856609106194863244789049300114266642553806270500541575765458163861564052354896034948264032)*x^21 + 1/107491133273364962952069061813066382187293269586047291924731611172814599515750702733702892834629601*(6164413338466163846547586545290210212518729068636508405256153076900013512046915555073061097344546358\ *t + 504551061274771293821399238763374424720020531596391299815274556563291740648605240958185694331328602252)*x^20 + 1/15355876181909280421724151687580911741041895655149613132104515881830657073678671819100413262089943*(-4187784800277934607654811579762933038237904085661196036821793596722120405528745582933940474498904372\ *t - 281117335292999457514298274390864551576832358092715190729092999997044615961952040148970147249826007668)*x^19 + 1/2193696597415611488817735955368701677291699379307087590300645125975808153382667402728630466012849*(637997328321230940724237177960769224187218582817547428271632731642128606462781671519289815704764141*t + 42583738993935465859921640926729110068993569208324709625104476374303509920808801108389040515012534155)*x^18 + 1/6395616902086330871188734563757147747206120639379264111663688413923638931144802923407085906743*(-711747921965426670507369276040716775748502282610956653815309879816610701826601228793496927643125*t - 51020254454603366774057808281233311321334983449119555271994559068481063724306457061457429400045815)*x^17 + 1/18646113417161314493261616803956698971446415858248583415929120740302154318206422517221824801*(-2069452871848967553244125072693760161624144221753833020276189445866534972374283068082311208133*t - 115121549206847073076778259476870429048097750874564116582086610025482998403255491856402203813676)*x^16 + 1/54361846697263307560529495055267343940077014163990039113495978834700158362117849904436807*(11446598894719430709392680447595014568482845954877024165259595298412276815326239231276833852*t + 683357185924580057993912574671907149904379904850868085186206320830109863508197708017763684388)*x^15 + 1/316978697943226283151775481371821247464005913492653289291521742476385763044418949880098*(-471583468\ 30877231050670455881398420710376876194584393546631672975041973617593019064966799*t - 2774752193130784736925270702590901848354016512150700143846402003162665598766307286099915821)*x^14 + 1/462068072803536855906378252728602401551029028414946485847699333055955922805275437143*(7433834323699302175033619193155946393436819909027440951023467733223539342218933489255*t + 208803048337344552859078541439819319170127285833720616754216648505946064772841229417493)*x^13 + 1/1347137238494276547832006567721872890819326613454654477690085519113574118965817601*(993886058476233574317\ 02786803907435490240177878880299467929786358883154214345061743*t + 6928609431031840617322470305284146593816051418699002361707043842266525242915636878025)*x^12 + 1/3927513814852118215253663462745985104429523654386747748367596265637242329346407*(-306933927588287893303838016116249299577511589520183653506846599615941387939662793*t - 20924250755808315110032493373926911412783274468483933490089730824970953997095022459)*x^11 + 1/22900955188642088718680253427090292154108009646569957716429132744240480054498*(715455363604508391291759881692\ 101545963361382368653332643854945092688640300661*t + 52138788983673037691042858883032585159520248264007425242576208938122215162190239)*x^10 + 1/681292175541205709486531011694243236571309860372760091522256581907552807*(8308679817945744823103073980188797186435606791921047134446475392923025598*t + 373465364774730988646368807941003869846396771316996436635959203915402179466)*x^9 + 1/40536215597144386832065866109016673800875222251012083746192454448001*(-10526602585498552189233820132966597376265083226\ 66585731949858953682086*t - 59989909091826193049511653168844020782687601389620231920623093979321547)*x^8 + 1/49221735352184872959961855190338177606846542622561400857262407*(853109321439360585715543726966453704830302026831274330938953594*t + 48442939505635737344145958698454927612584838799651316799350379846)*x^7 + 1/119536527788311898613580238531171238434050298824861363298*(-542510827637902664639454220579146174388347289593890065187*t - 25319296827137611327143274881022247524839123981377676729713)*x^6 + 1/72574551534231909331741171093173785967490646405143*(-158955580071037781719396114950888805102391161397858*t - 13450181109466502048325515324708076763783703901688574)*x^5 + 1/88124787089723195184393736687912818113311201*(258777244998537952021498779017303276533265379*t + 18803163531028514236328563611908713425431673259)*x^4 + 1/2183814375991796599109312252753832343*(-3399361261420973296137846604593723267*t - 245944428028666793107001131629722709873)*x^3 + 1/108233912075904223337919321698*(50804303454620654459600017575*t + 3987477923832364277061677813869)*x^2 + 1/232630513987207*(-18083580929505*t - 1683479771586043)*x + 1 > > > > poly4:=Factorization(poly3); > poly4; [ ] > > > > > poly5:=poly_convert3(poly4,D); poly_convert3( poly: [ > poly2:=poly_convert2(2*poly,D); ^ Runtime error in '*': Bad argument types Argument types given: RngIntElt, SeqEnum[Tup] > poly5:=poly_convert3(poly4[1][1],D); [](1)x^{44} [ <2, 1>, <7, 17> ](-18083580929505*t - 1683479771586043)x^{43} [ <7, 26> ](882986280097086347715*t + 83043737465881297344683)x^{42} [ <2, 1>, <7, 33> ](-1455503002801812490524001143*t - 149138916026369082536146959421)x^{41} [ <7, 40> ](-505154134472175097845310077745242*t + 1615444476609430006435400947167257)x^{40} [ <2, 1>, <7, 45> ](78681284133763816074357597697948664653*t + 3576944753269386377644372085206031082887)x^{39} [ <7, 48> ](-19060017849622566903121116827884077061987*t - 908404190368000289048692988742689414918157)x^{38} [ <2, 1>, <7, 51> ](6527201848726351225462448563106549153895509*t + 192265402900742856962693884669242369336056351)x^{37} [ <7, 54> ](1347300756430898654301644877922557116003166403*t + 130139703486600653637967785624331106536920547772)x^{36} [ <7, 57> ](-1065414369855526912122886499352008081773452501549*t - 82278056580321294170048638908677655276722046156427)x^{35} [ <7, 58> ](5250657992079346827935811137551905111290970857160*t + 445583380315630066491436661796908056664712626434050)x^{34} [ <2, 1>, <7, 59> ](26390123288632441347688347727467857012812066536115*t + 189773801184803595917081720662536460162227086066081)x^{33} [ <2, 1>, <7, 60> ](-785809615492388726539322421771409427061464134401769*t - 39355563383612755514413412620378674545315357605420161)x^{32} [ <7, 61> ](2847844501928187913050036495156811982296177535635517*t + 146542207124131132944408485809910239771233663433885575)x^{31} [ <7, 62> ](-10092353871264794059738471534598322043507601878888853*t - 422786540596136931766077345257191457275107502151907295)x^{30} [ <7, 63> ](5924954828356328581966705862122876296305948013621360*t - 952104293660630260231699440896044971296736802553596048)x^{29} [ <2, 1>, <7, 64> ](370425958563019393963049071743787029713224574275518265*t + 38682293409411590531254702339187212935119709344171097551)x^{28} [ <7, 65> ](-3061350319607726901254732247821146712936322574079924686*t - 230884480601744779011471786488965566016482904136753347698)x^{27} [ <7, 66> ](38919681795479813051998258415941132901062216791783538171*t + 2656420921084302970784204143815164660041106966415452418181)x^{26} [ <7, 67> ](-290994712197834526589415640145596357075265996002096270397*t - 18853031240794636355232259973145024740720042628687043995951)x^{25} [ <7, 68> ](405691821755111731772381739247785537620076759165868015250*t + 25964311663114103810539853252939446987514882096419971840780)x^{24} [ <2, 1>, <7, 69> ](29960582977620375345845139763278757179777830926555596910549*t + 1930976418077915981129667363992751302846384334062211900501327)x^{23} [ <2, 1>, <7, 70> ](-331699140706350088038643449873088482869148687891633226451785*t - 21454773446473761621685822154741055461062820129485462770228411)x^{22} [ <2, 1>, <7, 69> ](29960582977620375345845139763278757179777830926555596910549*t + 1930976418077915981129667363992751302846384334062211900501327)x^{21} [ <7, 68> ](405691821755111731772381739247785537620076759165868015250*t + 25964311663114103810539853252939446987514882096419971840780)x^{20} [ <7, 67> ](-290994712197834526589415640145596357075265996002096270397*t - 18853031240794636355232259973145024740720042628687043995951)x^{19} [ <7, 66> ](38919681795479813051998258415941132901062216791783538171*t + 2656420921084302970784204143815164660041106966415452418181)x^{18} [ <7, 65> ](-3061350319607726901254732247821146712936322574079924686*t - 230884480601744779011471786488965566016482904136753347698)x^{17} [ <2, 1>, <7, 64> ](370425958563019393963049071743787029713224574275518265*t + 38682293409411590531254702339187212935119709344171097551)x^{16} [ <7, 63> ](5924954828356328581966705862122876296305948013621360*t - 952104293660630260231699440896044971296736802553596048)x^{15} [ <7, 62> ](-10092353871264794059738471534598322043507601878888853*t - 422786540596136931766077345257191457275107502151907295)x^{14} [ <7, 61> ](2847844501928187913050036495156811982296177535635517*t + 146542207124131132944408485809910239771233663433885575)x^{13} [ <2, 1>, <7, 60> ](-785809615492388726539322421771409427061464134401769*t - 39355563383612755514413412620378674545315357605420161)x^{12} [ <2, 1>, <7, 59> ](26390123288632441347688347727467857012812066536115*t + 189773801184803595917081720662536460162227086066081)x^{11} [ <7, 58> ](5250657992079346827935811137551905111290970857160*t + 445583380315630066491436661796908056664712626434050)x^{10} [ <7, 57> ](-1065414369855526912122886499352008081773452501549*t - 82278056580321294170048638908677655276722046156427)x^{9} [ <7, 54> ](1347300756430898654301644877922557116003166403*t + 130139703486600653637967785624331106536920547772)x^{8} [ <2, 1>, <7, 51> ](6527201848726351225462448563106549153895509*t + 192265402900742856962693884669242369336056351)x^{7} [ <7, 48> ](-19060017849622566903121116827884077061987*t - 908404190368000289048692988742689414918157)x^{6} [ <2, 1>, <7, 45> ](78681284133763816074357597697948664653*t + 3576944753269386377644372085206031082887)x^{5} [ <7, 40> ](-505154134472175097845310077745242*t + 1615444476609430006435400947167257)x^{4} [ <2, 1>, <7, 33> ](-1455503002801812490524001143*t - 149138916026369082536146959421)x^{3} [ <7, 26> ](882986280097086347715*t + 83043737465881297344683)x^{2} [ <2, 1>, <7, 17> ](-18083580929505*t - 1683479771586043)x^{1} [](1)x^{0} > > > > > quit; Total time: 1102.529 seconds, Total memory usage: 309.98MB