S = CuspForms(Gamma0(751),2); S
Cuspidal subspace of dimension 62 of Modular Forms space of dimension 63 for Congruence Subgroup Gamma0(751) of weight 2 over Rational Field
M = ModularForms(Gamma0(2351),2); M
Modular Forms space of dimension 197 for Congruence Subgroup Gamma0(2351) of weight 2 over Rational Field
E = M.eisenstein_submodule(); E
Eisenstein subspace of dimension 1 of Modular Forms space of dimension 197 for Congruence Subgroup Gamma0(2351) of weight 2 over Rational Field
E.basis()
[
1 + 12/1175*q + 36/1175*q^2 + 48/1175*q^3 + 84/1175*q^4 + 72/1175*q^5 + O(q^6)
]
S.base_ring()
Rational Field
Snew = S.newforms('a'); Snew
[q + a0*q^2 + (100888708977547/269248717578442*a0^23 + 64702931383293/38464102511206*a0^22 - 2160762997251333/269248717578442*a0^21 - 11624488800605005/269248717578442*a0^20 + 8697932082044990/134624358789221*a0^19 + 62763826889108426/134624358789221*a0^18 - 59143586045163413/269248717578442*a0^17 - 374952018684775081/134624358789221*a0^16 + 6595107726168530/134624358789221*a0^15 + 2736972292172264763/269248717578442*a0^14 + 269724233752975564/134624358789221*a0^13 - 3172708191505244972/134624358789221*a0^12 - 1789602776308199469/269248717578442*a0^11 + 9387436240442280199/269248717578442*a0^10 + 1331138743087662331/134624358789221*a0^9 - 8641114252729284905/269248717578442*a0^8 - 139973600743726726/19232051255603*a0^7 + 4648405116165344843/269248717578442*a0^6 + 603729037822980525/269248717578442*a0^5 - 641770166824544000/134624358789221*a0^4 - 6441524264405436/134624358789221*a0^3 + 129502318485318047/269248717578442*a0^2 - 7388111843041100/134624358789221*a0 + 153552307649161/134624358789221)*q^3 + (a0^2 - 2)*q^4 + (-40180507971769/134624358789221*a0^23 - 21626416041736/19232051255603*a0^22 + 943429910300125/134624358789221*a0^21 + 3845628646363600/134624358789221*a0^20 - 9123312278775514/134624358789221*a0^19 - 40910855064286764/134624358789221*a0^18 + 47949285880602713/134624358789221*a0^17 + 239127737870006192/134624358789221*a0^16 - 153774967368351044/134624358789221*a0^15 - 845484096993861133/134624358789221*a0^14 + 326457182282965934/134624358789221*a0^13 + 1872855227261677119/134624358789221*a0^12 - 495519677911411177/134624358789221*a0^11 - 2601017613411566442/134624358789221*a0^10 + 558152795745745714/134624358789221*a0^9 + 2205953913708604947/134624358789221*a0^8 - 62479292935573125/19232051255603*a0^7 - 1078810123140760742/134624358789221*a0^6 + 207201038221432615/134624358789221*a0^5 + 268431624977827785/134624358789221*a0^4 - 51597600666097602/134624358789221*a0^3 - 24335087831948199/134624358789221*a0^2 + 5738197159755371/134624358789221*a0 - 197138830046145/134624358789221)*q^5 + O(q^6),
 q + a1*q^2 + (-17395541010863144034799341307932789697707212190535289/131206462444894572852440083601852637572335309497435321750*a1^37 - 169294950637316657125248669984655856927231742017919797/262412924889789145704880167203705275144670618994870643500*a1^36 + 2538011369173313629527968873165909390169968697210054509/262412924889789145704880167203705275144670618994870643500*a1^35 + 1577328532730406746092859377604409090369964744302117423/43735487481631524284146694533950879190778436499145107250*a1^34 - 8231618376320760169546469091777165800481145642783432109/26241292488978914570488016720370527514467061899487064350*a1^33 - 120831933532415808408010369814723382566228669949679193473/131206462444894572852440083601852637572335309497435321750*a1^32 + 79330759570088188869673166251039320535964323782507393392/13120646244489457285244008360185263757233530949743532175*a1^31 + 3736183379094582721803968171272968013499238990189431424067/262412924889789145704880167203705275144670618994870643500*a1^30 - 928199017766199824803439870482680944909379843830696757229/11927860222263142986585462145622967052030482681585029250*a1^29 - 2605406520213277252395924978033290829669186994665876181857/17494194992652609713658677813580351676311374599658042900*a1^28 + 62157766427323439306066466874427819432947503495611292963817/87470974963263048568293389067901758381556872998290214500*a1^27 + 292772546218062659835619107879412579122967026432673692434237/262412924889789145704880167203705275144670618994870643500*a1^26 - 1251000402562872956932046872867356952488896174673625538062033/262412924889789145704880167203705275144670618994870643500*a1^25 - 810900051558659622974987670072489060049256730685214148381787/131206462444894572852440083601852637572335309497435321750*a1^24 + 3145652595996837370011695336856414316260913992818893151698949/131206462444894572852440083601852637572335309497435321750*a1^23 + 563501275436971817215441261333197399623086993669735594618258/21867743740815762142073347266975439595389218249572553625*a1^22 - 5991653311867899153329837972385927989481280421237267065799774/65603231222447286426220041800926318786167654748717660875*a1^21 - 21394613718903936308426249361904913155939424882966104671565373/262412924889789145704880167203705275144670618994870643500*a1^20 + 11562134508389330787561129694593932390524897276267686169348921/43735487481631524284146694533950879190778436499145107250*a1^19 + 17130950118151521952917115366287938854863234999114965660854529/87470974963263048568293389067901758381556872998290214500*a1^18 - 6911701539804581783341010754813391562411867134581537321012829/11927860222263142986585462145622967052030482681585029250*a1^17 - 31036765567368933392711277245335866575621254861175252014056373/87470974963263048568293389067901758381556872998290214500*a1^16 + 20822384736327804623616942864394945116501394759072290355699136/21867743740815762142073347266975439595389218249572553625*a1^15 + 11402504490742059670144401373397563131203249639497748173595131/23855720444526285973170924291245934104060965363170058500*a1^14 - 11630265950222275984302086739094027423746487170215716676713037/10092804803453428680956929507834818274795023807495024750*a1^13 - 185939980202968382437821223834612477155645718089464143059861/397595340742104766219515404854098901734349422719500975*a1^12 + 43660152464374731496585537505177980638372357095063639131415291/43735487481631524284146694533950879190778436499145107250*a1^11 + 14033516830683786117304503681973590591192825239741913167312291/43735487481631524284146694533950879190778436499145107250*a1^10 - 51789226978543210961839972633658822143698511666024469196807629/87470974963263048568293389067901758381556872998290214500*a1^9 - 38530338761182251608709424851376134643024354942553444957378269/262412924889789145704880167203705275144670618994870643500*a1^8 + 3909471381163143046998016262956662447469860731691333547497713/17494194992652609713658677813580351676311374599658042900*a1^7 + 2748945999686751758472594859611706151946063613890324983141783/65603231222447286426220041800926318786167654748717660875*a1^6 - 822743591594734333455159765513972457758033873829645837704201/17494194992652609713658677813580351676311374599658042900*a1^5 - 1812290110209608978090803178342824989660923077009313594011949/262412924889789145704880167203705275144670618994870643500*a1^4 + 35833158780807007668023586064145045760966835345741175700411/8747097496326304856829338906790175838155687299829021450*a1^3 + 152903855475471402996670047635231796042399456316884801889427/262412924889789145704880167203705275144670618994870643500*a1^2 - 3654416266048824230629697055250096784118321999967661851211/131206462444894572852440083601852637572335309497435321750*a1 - 20005598946165024479503236497255317677582776718330640172/21867743740815762142073347266975439595389218249572553625)*q^3 + (a1^2 - 2)*q^4 + (-19460346732040375080337403154331997142735605155842817/5248258497795782914097603344074105502893412379897412870*a1^37 + 131384790868040989439505878805483979182986400307240019/10496516995591565828195206688148211005786824759794825740*a1^36 + 2029725854935788650684700753208387459913819436470066077/10496516995591565828195206688148211005786824759794825740*a1^35 - 585787686114508859206197502220074444144401380388319218/874709749632630485682933890679017583815568729982902145*a1^34 - 4797335559868889493625473868990600622709671532606355657/1049651699559156582819520668814821100578682475979482574*a1^33 + 42776872918652755201235479543258364527132182976128598898/2624129248897891457048801672037052751446706189948706435*a1^32 + 68029727537304504459078346710819162774812643874010501111/1049651699559156582819520668814821100578682475979482574*a1^31 - 2510439453437482879590941003606685528003150639634719668629/10496516995591565828195206688148211005786824759794825740*a1^30 - 146774753328248052448674357076482280321098690343654232491/238557204445262859731709242912459341040609653631700585*a1^29 + 1652995821005707414681196842973367265009712677937316329183/699767799706104388546347112543214067052454983986321716*a1^28 + 14452557895904317888994950104606234242386871416151114262031/3498838998530521942731735562716070335262274919931608580*a1^27 - 174391969874329526537194160720008085004489285736316332148939/10496516995591565828195206688148211005786824759794825740*a1^26 - 212013032563662315392019073648221809393489342813525663662829/10496516995591565828195206688148211005786824759794825740*a1^25 + 225285936711553588057528149228816095872942842997585026461162/2624129248897891457048801672037052751446706189948706435*a1^24 + 383014823684636089303915655500469582042464302886919339872987/5248258497795782914097603344074105502893412379897412870*a1^23 - 579920282312819031650460626346312570615702603691540551540737/1749419499265260971365867781358035167631137459965804290*a1^22 - 1026160425774873593975811686522073635834099363481586604714729/5248258497795782914097603344074105502893412379897412870*a1^21 + 10112847638399454315515588341364326295417101552206663724714871/10496516995591565828195206688148211005786824759794825740*a1^20 + 337644882977796870106942819385407571107256098697676720595864/874709749632630485682933890679017583815568729982902145*a1^19 - 7372228766568570360420577063311758488689416519127524956390943/3498838998530521942731735562716070335262274919931608580*a1^18 - 131647880812488858225501538243345516149878254229857590281266/238557204445262859731709242912459341040609653631700585*a1^17 + 12042866003261817418303784702003878609050952757945094919517971/3498838998530521942731735562716070335262274919931608580*a1^16 + 966533710385772269711665598935380011722246952396428670264111/1749419499265260971365867781358035167631137459965804290*a1^15 - 3947379545803807042940178007311020248507864348080955537648717/954228817781051438926836971649837364162438614526802340*a1^14 - 73462134131406158641296342781297510411460902448961610828448/201856096069068573619138590156696365495900476149900495*a1^13 + 56741067659653281306667937401574531109777185464083251628379/15903813629684190648780616194163956069373976908780039*a1^12 + 121546242539781566720280263759560900989558956271870406508189/874709749632630485682933890679017583815568729982902145*a1^11 - 1857189569944405268182925677678536049660140105301642261353576/874709749632630485682933890679017583815568729982902145*a1^10 - 80079650239742701539061669640469971574775210221142720617277/3498838998530521942731735562716070335262274919931608580*a1^9 + 8593967149171315757741340186015244800425822852381665452498133/10496516995591565828195206688148211005786824759794825740*a1^8 + 2159898328702079070033954248527090742262624687947457245205/699767799706104388546347112543214067052454983986321716*a1^7 - 481876279312520844449780837623682929591461606190012889822456/2624129248897891457048801672037052751446706189948706435*a1^6 - 2822233579531256238076725654026162373116481720827913435619/699767799706104388546347112543214067052454983986321716*a1^5 + 203117661934165345097209021627650471921391739099623406610533/10496516995591565828195206688148211005786824759794825740*a1^4 + 242822277085329458997317464786811251000936980793307670767/174941949926526097136586778135803516763113745996580429*a1^3 - 5704553442334990588180170027861602314917029972800733913539/10496516995591565828195206688148211005786824759794825740*a1^2 - 293396880627956312224223938407925283444725423052195437873/5248258497795782914097603344074105502893412379897412870*a1 + 1828422122517575562199375805888360359595569599844655764/874709749632630485682933890679017583815568729982902145)*q^5 + O(q^6)]
f_1 = Snew[1]; f_1
q + a1*q^2 + (-17395541010863144034799341307932789697707212190535289/131206462444894572852440083601852637572335309497435321750*a1^37 - 169294950637316657125248669984655856927231742017919797/262412924889789145704880167203705275144670618994870643500*a1^36 + 2538011369173313629527968873165909390169968697210054509/262412924889789145704880167203705275144670618994870643500*a1^35 + 1577328532730406746092859377604409090369964744302117423/43735487481631524284146694533950879190778436499145107250*a1^34 - 8231618376320760169546469091777165800481145642783432109/26241292488978914570488016720370527514467061899487064350*a1^33 - 120831933532415808408010369814723382566228669949679193473/131206462444894572852440083601852637572335309497435321750*a1^32 + 79330759570088188869673166251039320535964323782507393392/13120646244489457285244008360185263757233530949743532175*a1^31 + 3736183379094582721803968171272968013499238990189431424067/262412924889789145704880167203705275144670618994870643500*a1^30 - 928199017766199824803439870482680944909379843830696757229/11927860222263142986585462145622967052030482681585029250*a1^29 - 2605406520213277252395924978033290829669186994665876181857/17494194992652609713658677813580351676311374599658042900*a1^28 + 62157766427323439306066466874427819432947503495611292963817/87470974963263048568293389067901758381556872998290214500*a1^27 + 292772546218062659835619107879412579122967026432673692434237/262412924889789145704880167203705275144670618994870643500*a1^26 - 1251000402562872956932046872867356952488896174673625538062033/262412924889789145704880167203705275144670618994870643500*a1^25 - 810900051558659622974987670072489060049256730685214148381787/131206462444894572852440083601852637572335309497435321750*a1^24 + 3145652595996837370011695336856414316260913992818893151698949/131206462444894572852440083601852637572335309497435321750*a1^23 + 563501275436971817215441261333197399623086993669735594618258/21867743740815762142073347266975439595389218249572553625*a1^22 - 5991653311867899153329837972385927989481280421237267065799774/65603231222447286426220041800926318786167654748717660875*a1^21 - 21394613718903936308426249361904913155939424882966104671565373/262412924889789145704880167203705275144670618994870643500*a1^20 + 11562134508389330787561129694593932390524897276267686169348921/43735487481631524284146694533950879190778436499145107250*a1^19 + 17130950118151521952917115366287938854863234999114965660854529/87470974963263048568293389067901758381556872998290214500*a1^18 - 6911701539804581783341010754813391562411867134581537321012829/11927860222263142986585462145622967052030482681585029250*a1^17 - 31036765567368933392711277245335866575621254861175252014056373/87470974963263048568293389067901758381556872998290214500*a1^16 + 20822384736327804623616942864394945116501394759072290355699136/21867743740815762142073347266975439595389218249572553625*a1^15 + 11402504490742059670144401373397563131203249639497748173595131/23855720444526285973170924291245934104060965363170058500*a1^14 - 11630265950222275984302086739094027423746487170215716676713037/10092804803453428680956929507834818274795023807495024750*a1^13 - 185939980202968382437821223834612477155645718089464143059861/397595340742104766219515404854098901734349422719500975*a1^12 + 43660152464374731496585537505177980638372357095063639131415291/43735487481631524284146694533950879190778436499145107250*a1^11 + 14033516830683786117304503681973590591192825239741913167312291/43735487481631524284146694533950879190778436499145107250*a1^10 - 51789226978543210961839972633658822143698511666024469196807629/87470974963263048568293389067901758381556872998290214500*a1^9 - 38530338761182251608709424851376134643024354942553444957378269/262412924889789145704880167203705275144670618994870643500*a1^8 + 3909471381163143046998016262956662447469860731691333547497713/17494194992652609713658677813580351676311374599658042900*a1^7 + 2748945999686751758472594859611706151946063613890324983141783/65603231222447286426220041800926318786167654748717660875*a1^6 - 822743591594734333455159765513972457758033873829645837704201/17494194992652609713658677813580351676311374599658042900*a1^5 - 1812290110209608978090803178342824989660923077009313594011949/262412924889789145704880167203705275144670618994870643500*a1^4 + 35833158780807007668023586064145045760966835345741175700411/8747097496326304856829338906790175838155687299829021450*a1^3 + 152903855475471402996670047635231796042399456316884801889427/262412924889789145704880167203705275144670618994870643500*a1^2 - 3654416266048824230629697055250096784118321999967661851211/131206462444894572852440083601852637572335309497435321750*a1 - 20005598946165024479503236497255317677582776718330640172/21867743740815762142073347266975439595389218249572553625)*q^3 + (a1^2 - 2)*q^4 + (-19460346732040375080337403154331997142735605155842817/5248258497795782914097603344074105502893412379897412870*a1^37 + 131384790868040989439505878805483979182986400307240019/10496516995591565828195206688148211005786824759794825740*a1^36 + 2029725854935788650684700753208387459913819436470066077/10496516995591565828195206688148211005786824759794825740*a1^35 - 585787686114508859206197502220074444144401380388319218/874709749632630485682933890679017583815568729982902145*a1^34 - 4797335559868889493625473868990600622709671532606355657/1049651699559156582819520668814821100578682475979482574*a1^33 + 42776872918652755201235479543258364527132182976128598898/2624129248897891457048801672037052751446706189948706435*a1^32 + 68029727537304504459078346710819162774812643874010501111/1049651699559156582819520668814821100578682475979482574*a1^31 - 2510439453437482879590941003606685528003150639634719668629/10496516995591565828195206688148211005786824759794825740*a1^30 - 146774753328248052448674357076482280321098690343654232491/238557204445262859731709242912459341040609653631700585*a1^29 + 1652995821005707414681196842973367265009712677937316329183/699767799706104388546347112543214067052454983986321716*a1^28 + 14452557895904317888994950104606234242386871416151114262031/3498838998530521942731735562716070335262274919931608580*a1^27 - 174391969874329526537194160720008085004489285736316332148939/10496516995591565828195206688148211005786824759794825740*a1^26 - 212013032563662315392019073648221809393489342813525663662829/10496516995591565828195206688148211005786824759794825740*a1^25 + 225285936711553588057528149228816095872942842997585026461162/2624129248897891457048801672037052751446706189948706435*a1^24 + 383014823684636089303915655500469582042464302886919339872987/5248258497795782914097603344074105502893412379897412870*a1^23 - 579920282312819031650460626346312570615702603691540551540737/1749419499265260971365867781358035167631137459965804290*a1^22 - 1026160425774873593975811686522073635834099363481586604714729/5248258497795782914097603344074105502893412379897412870*a1^21 + 10112847638399454315515588341364326295417101552206663724714871/10496516995591565828195206688148211005786824759794825740*a1^20 + 337644882977796870106942819385407571107256098697676720595864/874709749632630485682933890679017583815568729982902145*a1^19 - 7372228766568570360420577063311758488689416519127524956390943/3498838998530521942731735562716070335262274919931608580*a1^18 - 131647880812488858225501538243345516149878254229857590281266/238557204445262859731709242912459341040609653631700585*a1^17 + 12042866003261817418303784702003878609050952757945094919517971/3498838998530521942731735562716070335262274919931608580*a1^16 + 966533710385772269711665598935380011722246952396428670264111/1749419499265260971365867781358035167631137459965804290*a1^15 - 3947379545803807042940178007311020248507864348080955537648717/954228817781051438926836971649837364162438614526802340*a1^14 - 73462134131406158641296342781297510411460902448961610828448/201856096069068573619138590156696365495900476149900495*a1^13 + 56741067659653281306667937401574531109777185464083251628379/15903813629684190648780616194163956069373976908780039*a1^12 + 121546242539781566720280263759560900989558956271870406508189/874709749632630485682933890679017583815568729982902145*a1^11 - 1857189569944405268182925677678536049660140105301642261353576/874709749632630485682933890679017583815568729982902145*a1^10 - 80079650239742701539061669640469971574775210221142720617277/3498838998530521942731735562716070335262274919931608580*a1^9 + 8593967149171315757741340186015244800425822852381665452498133/10496516995591565828195206688148211005786824759794825740*a1^8 + 2159898328702079070033954248527090742262624687947457245205/699767799706104388546347112543214067052454983986321716*a1^7 - 481876279312520844449780837623682929591461606190012889822456/2624129248897891457048801672037052751446706189948706435*a1^6 - 2822233579531256238076725654026162373116481720827913435619/699767799706104388546347112543214067052454983986321716*a1^5 + 203117661934165345097209021627650471921391739099623406610533/10496516995591565828195206688148211005786824759794825740*a1^4 + 242822277085329458997317464786811251000936980793307670767/174941949926526097136586778135803516763113745996580429*a1^3 - 5704553442334990588180170027861602314917029972800733913539/10496516995591565828195206688148211005786824759794825740*a1^2 - 293396880627956312224223938407925283444725423052195437873/5248258497795782914097603344074105502893412379897412870*a1 + 1828422122517575562199375805888360359595569599844655764/874709749632630485682933890679017583815568729982902145)*q^5 + O(q^6)
K_1 = f_1.hecke_eigenvalue_field(); K_1
Number Field in a1 with defining polynomial x^38 - 4*x^37 - 50*x^36 + 213*x^35 + 1118*x^34 - 5158*x^33 - 14701*x^32 + 75251*x^31 + 125338*x^30 - 738678*x^29 - 714747*x^28 + 5160697*x^27 + 2650798*x^26 - 26472925*x^25 - 5290540*x^24 + 101404716*x^23 - 2609947*x^22 - 292148305*x^21 + 56074410*x^20 + 632756697*x^19 - 199964492*x^18 - 1022474115*x^17 + 418064412*x^16 + 1213783735*x^15 - 579558905*x^14 - 1032015492*x^13 + 542800458*x^12 + 604123689*x^11 - 335579250*x^10 - 228940739*x^9 + 128705016*x^8 + 50964376*x^7 - 26969538*x^6 - 5769232*x^5 + 2304666*x^4 + 296371*x^3 - 23999*x^2 - 1134*x + 36
K_1.factor(5)
(Fractional ideal (5, 1300125705913036882354758084736148374957536278590181303/52482584977957829140976033440741055028934123798974128700*a1^37 - 2078807377745506021098762684966929353029848383312789639/26241292488978914570488016720370527514467061899487064350*a1^36 - 68746833036356539635506736589000955245907363525692954759/52482584977957829140976033440741055028934123798974128700*a1^35 + 37216899532975766422502899607599320385816763501968288177/8747097496326304856829338906790175838155687299829021450*a1^34 + 82571903312350865155606950934111968698151519062910063902/2624129248897891457048801672037052751446706189948706435*a1^33 - 2727718952151529972509501467956097899153156071329791543627/26241292488978914570488016720370527514467061899487064350*a1^32 - 4775611869479271841651264967661543960046101025160600429623/10496516995591565828195206688148211005786824759794825740*a1^31 + 80311350191928572108478843820752053717203209930524159942833/52482584977957829140976033440741055028934123798974128700*a1^30 + 21104889285740196611081043588441383615118187651935831702733/4771144088905257194634184858249186820812193072634011700*a1^29 - 13259735069033597327352061389586325795231119579504150983537/874709749632630485682933890679017583815568729982902145*a1^28 - 267754274074503351177801514503056490271996731521621015493021/8747097496326304856829338906790175838155687299829021450*a1^27 + 2804789030767700014961188030615621810755016671403162721224819/26241292488978914570488016720370527514467061899487064350*a1^26 + 8174363198906440783964378760063968544136483527243363858408983/52482584977957829140976033440741055028934123798974128700*a1^25 - 14521087591213176061747238488540450738327762743348986643889963/26241292488978914570488016720370527514467061899487064350*a1^24 - 15590369976835897071663619102126597843141494574938932091225349/26241292488978914570488016720370527514467061899487064350*a1^23 + 9357219736419929216212566590786130482633619276099573104875892/4373548748163152428414669453395087919077843649914510725*a1^22 + 90205832630549982284964128469175826702486608082888973893241121/52482584977957829140976033440741055028934123798974128700*a1^21 - 326617317475713348138334348026062098132238877354068546322283127/52482584977957829140976033440741055028934123798974128700*a1^20 - 66440606438719523932760437502915162624429820513851891247486767/17494194992652609713658677813580351676311374599658042900*a1^19 + 238253403922025017533221273145730609119681172270777781485009771/17494194992652609713658677813580351676311374599658042900*a1^18 + 30718601801094856415497157484074722148973327728789585203890583/4771144088905257194634184858249186820812193072634011700*a1^17 - 389634833205226985142943183337799121967386990467908593262868277/17494194992652609713658677813580351676311374599658042900*a1^16 - 146902015574783379802634729934251479906152162733533456660446019/17494194992652609713658677813580351676311374599658042900*a1^15 + 128090160077005196474014805928770242873397583533353615549005619/4771144088905257194634184858249186820812193072634011700*a1^14 + 8498484769437823171751473234359345267977842838481361542686456/1009280480345342868095692950783481827479502380749502475*a1^13 - 3709176518210503342525378082573680247170942572002580724766123/159038136296841906487806161941639560693739769087800390*a1^12 - 28101234368299997321217284026379063573978547031357281628785258/4373548748163152428414669453395087919077843649914510725*a1^11 + 246726878847380287827348807072764753461708347310662394840384793/17494194992652609713658677813580351676311374599658042900*a1^10 + 15802023396143371526598758083541265002989857257889846610558176/4373548748163152428414669453395087919077843649914510725*a1^9 - 147459515610731608840901595226082163399966856517432501512083353/26241292488978914570488016720370527514467061899487064350*a1^8 - 4878805453191146645232709489015722139880566285074388837257223/3498838998530521942731735562716070335262274919931608580*a1^7 + 70438282630443186032450313603664085852767347441249163510070543/52482584977957829140976033440741055028934123798974128700*a1^6 + 281192341065713354294021456321523328094767088896714349088329/874709749632630485682933890679017583815568729982902145*a1^5 - 8292756005812006732922986113153757752238429637623119913502801/52482584977957829140976033440741055028934123798974128700*a1^4 - 114539637052226993377405121128549729779511156455817928234487/3498838998530521942731735562716070335262274919931608580*a1^3 + 261669808959458268206652131543836724724227937389028120421073/52482584977957829140976033440741055028934123798974128700*a1^2 + 7916849351733707303806329549867370124655198318275334064861/26241292488978914570488016720370527514467061899487064350*a1 - 205946591756412905029165847817597930133956377235198523103/4373548748163152428414669453395087919077843649914510725)) * (Fractional ideal (5, -681136534211423747742394499461581415610522627734841167/26241292488978914570488016720370527514467061899487064350*a1^37 + 4821061297183331497498284236359734008414752371691539359/52482584977957829140976033440741055028934123798974128700*a1^36 + 70132623524179256595333890636036546720844569355037380877/52482584977957829140976033440741055028934123798974128700*a1^35 - 21439447417143354343740330985432868750569527117405692278/4373548748163152428414669453395087919077843649914510725*a1^34 - 81512216383482432400530932695579913675737699328393669966/2624129248897891457048801672037052751446706189948706435*a1^33 + 1561166934266924467383347195512134526207828868987979927578/13120646244489457285244008360185263757233530949743532175*a1^32 + 1130771318623136291837213992433251875737751713890073682031/2624129248897891457048801672037052751446706189948706435*a1^31 - 91337225440962149356773995890361495795351581930816882345099/52482584977957829140976033440741055028934123798974128700*a1^30 - 4735892466940497566069034733137885057791704764564474137731/1192786022226314298658546214562296705203048268158502925*a1^29 + 59941051172945741259719674182079525003062305995430746787549/3498838998530521942731735562716070335262274919931608580*a1^28 + 447199659368960310629915337802505542671199996399036423979651/17494194992652609713658677813580351676311374599658042900*a1^27 - 6301538704508754266195628362009026751695731046298264872686989/52482584977957829140976033440741055028934123798974128700*a1^26 - 6168921803189636724755379818886137770367308808724736256879849/52482584977957829140976033440741055028934123798974128700*a1^25 + 8110859932314535314982430377586126673464196416132435431610357/13120646244489457285244008360185263757233530949743532175*a1^24 + 5062233329628860624803205773489418153262694431066196793655836/13120646244489457285244008360185263757233530949743532175*a1^23 - 20802507224008317030929562626411800240234082307133854919896127/8747097496326304856829338906790175838155687299829021450*a1^22 - 11505712383980906763282843338236270406439926531301753804696322/13120646244489457285244008360185263757233530949743532175*a1^21 + 361518983288718493945228191226261185978883393753639206869066681/52482584977957829140976033440741055028934123798974128700*a1^20 + 5421775864211677802542121505686540837893163850105182732785844/4373548748163152428414669453395087919077843649914510725*a1^19 - 262791963887576436303061649743307005809368585188778603164938613/17494194992652609713658677813580351676311374599658042900*a1^18 - 683908977020377910383360726139158478143180633883006218396231/1192786022226314298658546214562296705203048268158502925*a1^17 + 428527454923308066808954711964651628887902437902171079469303381/17494194992652609713658677813580351676311374599658042900*a1^16 - 14800413061268115158653752401740851247161844362818535665174709/8747097496326304856829338906790175838155687299829021450*a1^15 - 140488967079274396628340224310160644405951038749613291701567507/4771144088905257194634184858249186820812193072634011700*a1^14 + 4448589950397356141271116919073960329434761735416154244995357/1009280480345342868095692950783481827479502380749502475*a1^13 + 4053223122175851649346826407837513117607192636706733952520509/159038136296841906487806161941639560693739769087800390*a1^12 - 23219174847805444207443273598630378294418326698125199731742301/4373548748163152428414669453395087919077843649914510725*a1^11 - 133923812593163126651806951198725902285389057149640001448965127/8747097496326304856829338906790175838155687299829021450*a1^10 + 66023780345608721200019606947305384050091799852602924532416013/17494194992652609713658677813580351676311374599658042900*a1^9 + 316397384055853165621899873488255499816008887360124675411256793/52482584977957829140976033440741055028934123798974128700*a1^8 - 5523764395723053958861104809914157518680922659803140057104541/3498838998530521942731735562716070335262274919931608580*a1^7 - 18610994179548020256760189631144170689147087026895470484027701/13120646244489457285244008360185263757233530949743532175*a1^6 + 1219368940301374391982127069587737345564845461969420493770817/3498838998530521942731735562716070335262274919931608580*a1^5 + 8963054951071623798712372300520234906635901535795508348776503/52482584977957829140976033440741055028934123798974128700*a1^4 - 53391383905205020033643105531540157801093987048722049909437/1749419499265260971365867781358035167631137459965804290*a1^3 - 420923434155574297922102939747410859155419653807311160015369/52482584977957829140976033440741055028934123798974128700*a1^2 + 5454061450173653706504756755380195876053972675515961319246/13120646244489457285244008360185263757233530949743532175*a1 - 96569060041341861018361135780250079815463056502419139691/4373548748163152428414669453395087919077843649914510725)) * (Fractional ideal (5, -1675108008821172501131373720736836983648313114932536729/262412924889789145704880167203705275144670618994870643500*a1^37 - 100885114579361323517716520016246436760051092424689573/131206462444894572852440083601852637572335309497435321750*a1^36 + 104091258725507984744916436269538056695925086559781326137/262412924889789145704880167203705275144670618994870643500*a1^35 + 765351724534009295484430265276798670362333854490473407/21867743740815762142073347266975439595389218249572553625*a1^34 - 295634030200191608822270127975361433479597772261728794887/26241292488978914570488016720370527514467061899487064350*a1^33 - 48274472656207369800271776897236167245186111916621866482/65603231222447286426220041800926318786167654748717660875*a1^32 + 10176622261664872912148275356863363897627367476853505294949/52482584977957829140976033440741055028934123798974128700*a1^31 + 2575734106292674071530753526684298109710981736215602849631/262412924889789145704880167203705275144670618994870643500*a1^30 - 53934901671266210418186997841570434623414326151135735305069/23855720444526285973170924291245934104060965363170058500*a1^29 - 851865718909259110024281280514005331153571406409846114213/8747097496326304856829338906790175838155687299829021450*a1^28 + 413525537549594580709619098097916774176705943144057512861064/21867743740815762142073347266975439595389218249572553625*a1^27 + 51602016433914151508938781181216675905948865511889404602329/65603231222447286426220041800926318786167654748717660875*a1^26 - 30754070527598053832812022461192843558955863051571430882645169/262412924889789145704880167203705275144670618994870643500*a1^25 - 346404341678294919952593685452572228144917735515228517457108/65603231222447286426220041800926318786167654748717660875*a1^24 + 35959497927881199231904791943746733597163334776511773496805966/65603231222447286426220041800926318786167654748717660875*a1^23 + 1253283986911164205758403173927489954485408520201314454490063/43735487481631524284146694533950879190778436499145107250*a1^22 - 512260749091779677351136722541046181166517998352264561527687503/262412924889789145704880167203705275144670618994870643500*a1^21 - 31784571961054805390526914566474236865007711209403368023416789/262412924889789145704880167203705275144670618994870643500*a1^20 + 463885155381763447934572379978978617131132943709138825635872331/87470974963263048568293389067901758381556872998290214500*a1^19 + 33920633279863794292437722129748817976314884112617379436775997/87470974963263048568293389067901758381556872998290214500*a1^18 - 260986212912375556322548022169925139919443504044840572108105419/23855720444526285973170924291245934104060965363170058500*a1^17 - 80677146280852595857171144819553123558429809175302421852909539/87470974963263048568293389067901758381556872998290214500*a1^16 + 1482538647418086208994330526465255844581653738820691263525476267/87470974963263048568293389067901758381556872998290214500*a1^15 + 38224097209736680457484305134960389153902315306007988860075133/23855720444526285973170924291245934104060965363170058500*a1^14 - 195360878224617591346301531305769251767648665423289876617761091/10092804803453428680956929507834818274795023807495024750*a1^13 - 793034975943050633119930336047189340449578512453667868288048/397595340742104766219515404854098901734349422719500975*a1^12 + 692676882864867326978088502171293113109980309069836803502650513/43735487481631524284146694533950879190778436499145107250*a1^11 + 151845117849924892520712358024509619286724959441284727322143401/87470974963263048568293389067901758381556872998290214500*a1^10 - 388867079278398754445331829330318528799039696155628744441130211/43735487481631524284146694533950879190778436499145107250*a1^9 - 67095019260953352867825919264366815033639564627787279469888173/65603231222447286426220041800926318786167654748717660875*a1^8 + 55949188726200757520171636742903731605039813570486699261145859/17494194992652609713658677813580351676311374599658042900*a1^7 + 102423376783179094825315310052201859507586457748080419266940051/262412924889789145704880167203705275144670618994870643500*a1^6 - 5716259781256306433212623835770235560042943590792147358968859/8747097496326304856829338906790175838155687299829021450*a1^5 - 23484279924531070306665857101792219909626299371409972361414557/262412924889789145704880167203705275144670618994870643500*a1^4 + 1019166361852344281799336368508271441895352753989289608609121/17494194992652609713658677813580351676311374599658042900*a1^3 + 2593669505204439806623270704600988029670332719250084731996861/262412924889789145704880167203705275144670618994870643500*a1^2 - 43558734071730911528437048045879405882788298257448492586974/65603231222447286426220041800926318786167654748717660875*a1 - 944432409156635325125107762812303698225441422220750268896/21867743740815762142073347266975439595389218249572553625)) * (Fractional ideal (5, -225777399960177095542298588941825146549779724543607607/87470974963263048568293389067901758381556872998290214500*a1^37 + 1668193624309059632838011060930902670019397374489689907/87470974963263048568293389067901758381556872998290214500*a1^36 + 2394210963650543730041283956339149127423016672259583349/21867743740815762142073347266975439595389218249572553625*a1^35 - 22796911531790806552333670223295125565328681156343878782/21867743740815762142073347266975439595389218249572553625*a1^34 - 15795844426500948207964557909445111759572950984689850331/8747097496326304856829338906790175838155687299829021450*a1^33 + 568936535536814741164986902790433882792089790560788877744/21867743740815762142073347266975439595389218249572553625*a1^32 + 187597163977981854140865745437456264946178911369966076157/17494194992652609713658677813580351676311374599658042900*a1^31 - 17183598164248532640491882525177437980865929504742801530501/43735487481631524284146694533950879190778436499145107250*a1^30 + 731520390524749502365540907919790082558586059370301881523/7951906814842095324390308097081978034686988454390019500*a1^29 + 70174211405466587452859561318417148739381621737308059344671/17494194992652609713658677813580351676311374599658042900*a1^28 - 213903184715455456955731805757006898962008176690964191155881/87470974963263048568293389067901758381556872998290214500*a1^27 - 2562472941194827997955849847385467280523444692819391588741947/87470974963263048568293389067901758381556872998290214500*a1^26 + 543713612229235424953726038026400244616725885524029530840362/21867743740815762142073347266975439595389218249572553625*a1^25 + 3453064225172444765322844056185358094147057133170894459957686/21867743740815762142073347266975439595389218249572553625*a1^24 - 3485008207861639920986789762970029308570265258605507966267272/21867743740815762142073347266975439595389218249572553625*a1^23 - 13969105576997341260224875333883517000253895049197182136439669/21867743740815762142073347266975439595389218249572553625*a1^22 + 62606453657560215587102858026797259408984108991667057232192201/87470974963263048568293389067901758381556872998290214500*a1^21 + 85393105405264797591410242706828769826123462608583866251173169/43735487481631524284146694533950879190778436499145107250*a1^20 - 204785703818461095096525682907111968783756018974456158342692931/87470974963263048568293389067901758381556872998290214500*a1^19 - 196897226269642747393409474874472061632855387811892226365899111/43735487481631524284146694533950879190778436499145107250*a1^18 + 44961106011399230193909029752452279556820062217872836727933173/7951906814842095324390308097081978034686988454390019500*a1^17 + 169626196148674682025612117541799174794147012198979595710612391/21867743740815762142073347266975439595389218249572553625*a1^16 - 881245998433434845017339490644240046648914033545037771165123617/87470974963263048568293389067901758381556872998290214500*a1^15 - 19488438087884254732192479798516982061496524847891372463975834/1987976703710523831097577024270494508671747113597504875*a1^14 + 44009738172638735467335036914382855161744164014161809021715347/3364268267817809560318976502611606091598341269165008250*a1^13 + 7007927711965350110636333644610921906209203933627421595642081/795190681484209532439030809708197803468698845439001950*a1^12 - 527908470913493503962048120522220553566652341411833741015418763/43735487481631524284146694533950879190778436499145107250*a1^11 - 469336093317391602122021529447020759101552641432024399754137151/87470974963263048568293389067901758381556872998290214500*a1^10 + 663366179837088523843322672751252839570001748552818847527610947/87470974963263048568293389067901758381556872998290214500*a1^9 + 178450361612019995727294260831460144678914603043712859773831739/87470974963263048568293389067901758381556872998290214500*a1^8 - 13207659483601436068451475513420788011136034722729051349474336/4373548748163152428414669453395087919077843649914510725*a1^7 - 36753180543192694923016351725978169635237893930215598118286017/87470974963263048568293389067901758381556872998290214500*a1^6 + 11720258430943355178954841497056034694525415312516559829446263/17494194992652609713658677813580351676311374599658042900*a1^5 + 810774884714350231940646596418220391144984541908347621780036/21867743740815762142073347266975439595389218249572553625*a1^4 - 1105366065286743755509814170654317872844305290304321962312211/17494194992652609713658677813580351676311374599658042900*a1^3 - 83956809665128009547507103868243231507880824299659495910181/43735487481631524284146694533950879190778436499145107250*a1^2 + 23875914485409965133314755386502427374387725456019328794183/21867743740815762142073347266975439595389218249572553625*a1 - 262214457877899091073159192409890956966492712301143947504/21867743740815762142073347266975439595389218249572553625)) * (Fractional ideal (5, -657151372364821314348861461256694945689254077951270981/26241292488978914570488016720370527514467061899487064350*a1^37 + 2074995983329175816547194201774632011413044855876282591/26241292488978914570488016720370527514467061899487064350*a1^36 + 17279398144035043701670131058569736694010243457289203219/13120646244489457285244008360185263757233530949743532175*a1^35 - 18372848581670352682591447631707023178546113362292341399/4373548748163152428414669453395087919077843649914510725*a1^34 - 16545430941420565280054221622158863037438511242526063779/524825849779578291409760334407410550289341237989741287*a1^33 + 1331887747002651136407415085227773777083069624506411559999/13120646244489457285244008360185263757233530949743532175*a1^32 + 2390866904447650954685013026638817732806319208861729925769/5248258497795782914097603344074105502893412379897412870*a1^31 - 19395378271046978812568674414779199522949657582912115486298/13120646244489457285244008360185263757233530949743532175*a1^30 - 10603317308835311491266476045691750435832482682707095620871/2385572044452628597317092429124593410406096536317005850*a1^29 + 25350295791953778891332942954434453726829089084525272656009/1749419499265260971365867781358035167631137459965804290*a1^28 + 271533030999328162589664775129423167458608869280886141990879/8747097496326304856829338906790175838155687299829021450*a1^27 - 2654784803527649836080473002711096324051000082574078307352491/26241292488978914570488016720370527514467061899487064350*a1^26 - 2107453819353213430968645366661624649673860886309387297811763/13120646244489457285244008360185263757233530949743532175*a1^25 + 6811152434634934829339575032425267673748606579836000427906166/13120646244489457285244008360185263757233530949743532175*a1^24 + 8253812534116127337176706405899839063589704986127113111607583/13120646244489457285244008360185263757233530949743532175*a1^23 - 8711280690977550673202249503918757971783429842169229544433243/4373548748163152428414669453395087919077843649914510725*a1^22 - 49604966747887917174076882613365588249029769710959924875739387/26241292488978914570488016720370527514467061899487064350*a1^21 + 75563959747070043248220976342367933495037439898566947291377807/13120646244489457285244008360185263757233530949743532175*a1^20 + 38431519355329903377065000277127083633458901050846594248638039/8747097496326304856829338906790175838155687299829021450*a1^19 - 54900860274282835500028315110284144571291767045646916276907146/4373548748163152428414669453395087919077843649914510725*a1^18 - 18904370357780835552517847089937031114212765588736938560864481/2385572044452628597317092429124593410406096536317005850*a1^17 + 89628009267256490677836565204185656233838539000513624483928517/4373548748163152428414669453395087919077843649914510725*a1^16 + 96794064147816043169718168172158820292969091685362192881100313/8747097496326304856829338906790175838155687299829021450*a1^15 - 29482731643838107003116315489969282098434465007083634781902764/1192786022226314298658546214562296705203048268158502925*a1^14 - 11952501707458115809101137685805634460908451980475058532748839/1009280480345342868095692950783481827479502380749502475*a1^13 + 342388892768601254083227606691972730785661031542403418618590/15903813629684190648780616194163956069373976908780039*a1^12 + 41553781318685641738034313681116763848839732983775924431891142/4373548748163152428414669453395087919077843649914510725*a1^11 - 114229018000427616246069819796325556006073053263418428013950841/8747097496326304856829338906790175838155687299829021450*a1^10 - 48028094296624797002335220580505696024031353359257835562255913/8747097496326304856829338906790175838155687299829021450*a1^9 + 136430117980734960904761021097893910622310741043615264051820657/26241292488978914570488016720370527514467061899487064350*a1^8 + 1867536387590246874555806966797450649347994932232474026589071/874709749632630485682933890679017583815568729982902145*a1^7 - 32023104465986780926669243390965858290387040349030133911188091/26241292488978914570488016720370527514467061899487064350*a1^6 - 865821513561923125157784148230765631141613247483497252739959/1749419499265260971365867781358035167631137459965804290*a1^5 + 1742702833119310086367567918735016713685111662802877806874281/13120646244489457285244008360185263757233530949743532175*a1^4 + 92210048127772837664331319012411379955151334996602091381363/1749419499265260971365867781358035167631137459965804290*a1^3 - 31589729211535174837242148780398964724207265309565671893933/13120646244489457285244008360185263757233530949743532175*a1^2 - 10144723464480157709129287262453328710803718796453534297947/13120646244489457285244008360185263757233530949743532175*a1 + 166135072215793516842080745481584504899346365034348016502/4373548748163152428414669453395087919077843649914510725))
P_1 = K_1.factor(5)[0][0]; P_1
Fractional ideal (5, 1300125705913036882354758084736148374957536278590181303/52482584977957829140976033440741055028934123798974128700*a1^37 - 2078807377745506021098762684966929353029848383312789639/26241292488978914570488016720370527514467061899487064350*a1^36 - 68746833036356539635506736589000955245907363525692954759/52482584977957829140976033440741055028934123798974128700*a1^35 + 37216899532975766422502899607599320385816763501968288177/8747097496326304856829338906790175838155687299829021450*a1^34 + 82571903312350865155606950934111968698151519062910063902/2624129248897891457048801672037052751446706189948706435*a1^33 - 2727718952151529972509501467956097899153156071329791543627/26241292488978914570488016720370527514467061899487064350*a1^32 - 4775611869479271841651264967661543960046101025160600429623/10496516995591565828195206688148211005786824759794825740*a1^31 + 80311350191928572108478843820752053717203209930524159942833/52482584977957829140976033440741055028934123798974128700*a1^30 + 21104889285740196611081043588441383615118187651935831702733/4771144088905257194634184858249186820812193072634011700*a1^29 - 13259735069033597327352061389586325795231119579504150983537/874709749632630485682933890679017583815568729982902145*a1^28 - 267754274074503351177801514503056490271996731521621015493021/8747097496326304856829338906790175838155687299829021450*a1^27 + 2804789030767700014961188030615621810755016671403162721224819/26241292488978914570488016720370527514467061899487064350*a1^26 + 8174363198906440783964378760063968544136483527243363858408983/52482584977957829140976033440741055028934123798974128700*a1^25 - 14521087591213176061747238488540450738327762743348986643889963/26241292488978914570488016720370527514467061899487064350*a1^24 - 15590369976835897071663619102126597843141494574938932091225349/26241292488978914570488016720370527514467061899487064350*a1^23 + 9357219736419929216212566590786130482633619276099573104875892/4373548748163152428414669453395087919077843649914510725*a1^22 + 90205832630549982284964128469175826702486608082888973893241121/52482584977957829140976033440741055028934123798974128700*a1^21 - 326617317475713348138334348026062098132238877354068546322283127/52482584977957829140976033440741055028934123798974128700*a1^20 - 66440606438719523932760437502915162624429820513851891247486767/17494194992652609713658677813580351676311374599658042900*a1^19 + 238253403922025017533221273145730609119681172270777781485009771/17494194992652609713658677813580351676311374599658042900*a1^18 + 30718601801094856415497157484074722148973327728789585203890583/4771144088905257194634184858249186820812193072634011700*a1^17 - 389634833205226985142943183337799121967386990467908593262868277/17494194992652609713658677813580351676311374599658042900*a1^16 - 146902015574783379802634729934251479906152162733533456660446019/17494194992652609713658677813580351676311374599658042900*a1^15 + 128090160077005196474014805928770242873397583533353615549005619/4771144088905257194634184858249186820812193072634011700*a1^14 + 8498484769437823171751473234359345267977842838481361542686456/1009280480345342868095692950783481827479502380749502475*a1^13 - 3709176518210503342525378082573680247170942572002580724766123/159038136296841906487806161941639560693739769087800390*a1^12 - 28101234368299997321217284026379063573978547031357281628785258/4373548748163152428414669453395087919077843649914510725*a1^11 + 246726878847380287827348807072764753461708347310662394840384793/17494194992652609713658677813580351676311374599658042900*a1^10 + 15802023396143371526598758083541265002989857257889846610558176/4373548748163152428414669453395087919077843649914510725*a1^9 - 147459515610731608840901595226082163399966856517432501512083353/26241292488978914570488016720370527514467061899487064350*a1^8 - 4878805453191146645232709489015722139880566285074388837257223/3498838998530521942731735562716070335262274919931608580*a1^7 + 70438282630443186032450313603664085852767347441249163510070543/52482584977957829140976033440741055028934123798974128700*a1^6 + 281192341065713354294021456321523328094767088896714349088329/874709749632630485682933890679017583815568729982902145*a1^5 - 8292756005812006732922986113153757752238429637623119913502801/52482584977957829140976033440741055028934123798974128700*a1^4 - 114539637052226993377405121128549729779511156455817928234487/3498838998530521942731735562716070335262274919931608580*a1^3 + 261669808959458268206652131543836724724227937389028120421073/52482584977957829140976033440741055028934123798974128700*a1^2 + 7916849351733707303806329549867370124655198318275334064861/26241292488978914570488016720370527514467061899487064350*a1 - 205946591756412905029165847817597930133956377235198523103/4373548748163152428414669453395087919077843649914510725)
P_2 = K_1.factor(5)[1][0]; P_2
Fractional ideal (5, -681136534211423747742394499461581415610522627734841167/26241292488978914570488016720370527514467061899487064350*a1^37 + 4821061297183331497498284236359734008414752371691539359/52482584977957829140976033440741055028934123798974128700*a1^36 + 70132623524179256595333890636036546720844569355037380877/52482584977957829140976033440741055028934123798974128700*a1^35 - 21439447417143354343740330985432868750569527117405692278/4373548748163152428414669453395087919077843649914510725*a1^34 - 81512216383482432400530932695579913675737699328393669966/2624129248897891457048801672037052751446706189948706435*a1^33 + 1561166934266924467383347195512134526207828868987979927578/13120646244489457285244008360185263757233530949743532175*a1^32 + 1130771318623136291837213992433251875737751713890073682031/2624129248897891457048801672037052751446706189948706435*a1^31 - 91337225440962149356773995890361495795351581930816882345099/52482584977957829140976033440741055028934123798974128700*a1^30 - 4735892466940497566069034733137885057791704764564474137731/1192786022226314298658546214562296705203048268158502925*a1^29 + 59941051172945741259719674182079525003062305995430746787549/3498838998530521942731735562716070335262274919931608580*a1^28 + 447199659368960310629915337802505542671199996399036423979651/17494194992652609713658677813580351676311374599658042900*a1^27 - 6301538704508754266195628362009026751695731046298264872686989/52482584977957829140976033440741055028934123798974128700*a1^26 - 6168921803189636724755379818886137770367308808724736256879849/52482584977957829140976033440741055028934123798974128700*a1^25 + 8110859932314535314982430377586126673464196416132435431610357/13120646244489457285244008360185263757233530949743532175*a1^24 + 5062233329628860624803205773489418153262694431066196793655836/13120646244489457285244008360185263757233530949743532175*a1^23 - 20802507224008317030929562626411800240234082307133854919896127/8747097496326304856829338906790175838155687299829021450*a1^22 - 11505712383980906763282843338236270406439926531301753804696322/13120646244489457285244008360185263757233530949743532175*a1^21 + 361518983288718493945228191226261185978883393753639206869066681/52482584977957829140976033440741055028934123798974128700*a1^20 + 5421775864211677802542121505686540837893163850105182732785844/4373548748163152428414669453395087919077843649914510725*a1^19 - 262791963887576436303061649743307005809368585188778603164938613/17494194992652609713658677813580351676311374599658042900*a1^18 - 683908977020377910383360726139158478143180633883006218396231/1192786022226314298658546214562296705203048268158502925*a1^17 + 428527454923308066808954711964651628887902437902171079469303381/17494194992652609713658677813580351676311374599658042900*a1^16 - 14800413061268115158653752401740851247161844362818535665174709/8747097496326304856829338906790175838155687299829021450*a1^15 - 140488967079274396628340224310160644405951038749613291701567507/4771144088905257194634184858249186820812193072634011700*a1^14 + 4448589950397356141271116919073960329434761735416154244995357/1009280480345342868095692950783481827479502380749502475*a1^13 + 4053223122175851649346826407837513117607192636706733952520509/159038136296841906487806161941639560693739769087800390*a1^12 - 23219174847805444207443273598630378294418326698125199731742301/4373548748163152428414669453395087919077843649914510725*a1^11 - 133923812593163126651806951198725902285389057149640001448965127/8747097496326304856829338906790175838155687299829021450*a1^10 + 66023780345608721200019606947305384050091799852602924532416013/17494194992652609713658677813580351676311374599658042900*a1^9 + 316397384055853165621899873488255499816008887360124675411256793/52482584977957829140976033440741055028934123798974128700*a1^8 - 5523764395723053958861104809914157518680922659803140057104541/3498838998530521942731735562716070335262274919931608580*a1^7 - 18610994179548020256760189631144170689147087026895470484027701/13120646244489457285244008360185263757233530949743532175*a1^6 + 1219368940301374391982127069587737345564845461969420493770817/3498838998530521942731735562716070335262274919931608580*a1^5 + 8963054951071623798712372300520234906635901535795508348776503/52482584977957829140976033440741055028934123798974128700*a1^4 - 53391383905205020033643105531540157801093987048722049909437/1749419499265260971365867781358035167631137459965804290*a1^3 - 420923434155574297922102939747410859155419653807311160015369/52482584977957829140976033440741055028934123798974128700*a1^2 + 5454061450173653706504756755380195876053972675515961319246/13120646244489457285244008360185263757233530949743532175*a1 - 96569060041341861018361135780250079815463056502419139691/4373548748163152428414669453395087919077843649914510725)
P_1.absolute_ramification_index()
1
P_2.absolute_ramification_index()
1
P_3 = K_1.factor(5)[2][0]; P_3
Fractional ideal (5, -1675108008821172501131373720736836983648313114932536729/262412924889789145704880167203705275144670618994870643500*a1^37 - 100885114579361323517716520016246436760051092424689573/131206462444894572852440083601852637572335309497435321750*a1^36 + 104091258725507984744916436269538056695925086559781326137/262412924889789145704880167203705275144670618994870643500*a1^35 + 765351724534009295484430265276798670362333854490473407/21867743740815762142073347266975439595389218249572553625*a1^34 - 295634030200191608822270127975361433479597772261728794887/26241292488978914570488016720370527514467061899487064350*a1^33 - 48274472656207369800271776897236167245186111916621866482/65603231222447286426220041800926318786167654748717660875*a1^32 + 10176622261664872912148275356863363897627367476853505294949/52482584977957829140976033440741055028934123798974128700*a1^31 + 2575734106292674071530753526684298109710981736215602849631/262412924889789145704880167203705275144670618994870643500*a1^30 - 53934901671266210418186997841570434623414326151135735305069/23855720444526285973170924291245934104060965363170058500*a1^29 - 851865718909259110024281280514005331153571406409846114213/8747097496326304856829338906790175838155687299829021450*a1^28 + 413525537549594580709619098097916774176705943144057512861064/21867743740815762142073347266975439595389218249572553625*a1^27 + 51602016433914151508938781181216675905948865511889404602329/65603231222447286426220041800926318786167654748717660875*a1^26 - 30754070527598053832812022461192843558955863051571430882645169/262412924889789145704880167203705275144670618994870643500*a1^25 - 346404341678294919952593685452572228144917735515228517457108/65603231222447286426220041800926318786167654748717660875*a1^24 + 35959497927881199231904791943746733597163334776511773496805966/65603231222447286426220041800926318786167654748717660875*a1^23 + 1253283986911164205758403173927489954485408520201314454490063/43735487481631524284146694533950879190778436499145107250*a1^22 - 512260749091779677351136722541046181166517998352264561527687503/262412924889789145704880167203705275144670618994870643500*a1^21 - 31784571961054805390526914566474236865007711209403368023416789/262412924889789145704880167203705275144670618994870643500*a1^20 + 463885155381763447934572379978978617131132943709138825635872331/87470974963263048568293389067901758381556872998290214500*a1^19 + 33920633279863794292437722129748817976314884112617379436775997/87470974963263048568293389067901758381556872998290214500*a1^18 - 260986212912375556322548022169925139919443504044840572108105419/23855720444526285973170924291245934104060965363170058500*a1^17 - 80677146280852595857171144819553123558429809175302421852909539/87470974963263048568293389067901758381556872998290214500*a1^16 + 1482538647418086208994330526465255844581653738820691263525476267/87470974963263048568293389067901758381556872998290214500*a1^15 + 38224097209736680457484305134960389153902315306007988860075133/23855720444526285973170924291245934104060965363170058500*a1^14 - 195360878224617591346301531305769251767648665423289876617761091/10092804803453428680956929507834818274795023807495024750*a1^13 - 793034975943050633119930336047189340449578512453667868288048/397595340742104766219515404854098901734349422719500975*a1^12 + 692676882864867326978088502171293113109980309069836803502650513/43735487481631524284146694533950879190778436499145107250*a1^11 + 151845117849924892520712358024509619286724959441284727322143401/87470974963263048568293389067901758381556872998290214500*a1^10 - 388867079278398754445331829330318528799039696155628744441130211/43735487481631524284146694533950879190778436499145107250*a1^9 - 67095019260953352867825919264366815033639564627787279469888173/65603231222447286426220041800926318786167654748717660875*a1^8 + 55949188726200757520171636742903731605039813570486699261145859/17494194992652609713658677813580351676311374599658042900*a1^7 + 102423376783179094825315310052201859507586457748080419266940051/262412924889789145704880167203705275144670618994870643500*a1^6 - 5716259781256306433212623835770235560042943590792147358968859/8747097496326304856829338906790175838155687299829021450*a1^5 - 23484279924531070306665857101792219909626299371409972361414557/262412924889789145704880167203705275144670618994870643500*a1^4 + 1019166361852344281799336368508271441895352753989289608609121/17494194992652609713658677813580351676311374599658042900*a1^3 + 2593669505204439806623270704600988029670332719250084731996861/262412924889789145704880167203705275144670618994870643500*a1^2 - 43558734071730911528437048045879405882788298257448492586974/65603231222447286426220041800926318786167654748717660875*a1 - 944432409156635325125107762812303698225441422220750268896/21867743740815762142073347266975439595389218249572553625)
P_4=K_1.factor(5)[3][0]; P_4
Fractional ideal (5, -225777399960177095542298588941825146549779724543607607/87470974963263048568293389067901758381556872998290214500*a1^37 + 1668193624309059632838011060930902670019397374489689907/87470974963263048568293389067901758381556872998290214500*a1^36 + 2394210963650543730041283956339149127423016672259583349/21867743740815762142073347266975439595389218249572553625*a1^35 - 22796911531790806552333670223295125565328681156343878782/21867743740815762142073347266975439595389218249572553625*a1^34 - 15795844426500948207964557909445111759572950984689850331/8747097496326304856829338906790175838155687299829021450*a1^33 + 568936535536814741164986902790433882792089790560788877744/21867743740815762142073347266975439595389218249572553625*a1^32 + 187597163977981854140865745437456264946178911369966076157/17494194992652609713658677813580351676311374599658042900*a1^31 - 17183598164248532640491882525177437980865929504742801530501/43735487481631524284146694533950879190778436499145107250*a1^30 + 731520390524749502365540907919790082558586059370301881523/7951906814842095324390308097081978034686988454390019500*a1^29 + 70174211405466587452859561318417148739381621737308059344671/17494194992652609713658677813580351676311374599658042900*a1^28 - 213903184715455456955731805757006898962008176690964191155881/87470974963263048568293389067901758381556872998290214500*a1^27 - 2562472941194827997955849847385467280523444692819391588741947/87470974963263048568293389067901758381556872998290214500*a1^26 + 543713612229235424953726038026400244616725885524029530840362/21867743740815762142073347266975439595389218249572553625*a1^25 + 3453064225172444765322844056185358094147057133170894459957686/21867743740815762142073347266975439595389218249572553625*a1^24 - 3485008207861639920986789762970029308570265258605507966267272/21867743740815762142073347266975439595389218249572553625*a1^23 - 13969105576997341260224875333883517000253895049197182136439669/21867743740815762142073347266975439595389218249572553625*a1^22 + 62606453657560215587102858026797259408984108991667057232192201/87470974963263048568293389067901758381556872998290214500*a1^21 + 85393105405264797591410242706828769826123462608583866251173169/43735487481631524284146694533950879190778436499145107250*a1^20 - 204785703818461095096525682907111968783756018974456158342692931/87470974963263048568293389067901758381556872998290214500*a1^19 - 196897226269642747393409474874472061632855387811892226365899111/43735487481631524284146694533950879190778436499145107250*a1^18 + 44961106011399230193909029752452279556820062217872836727933173/7951906814842095324390308097081978034686988454390019500*a1^17 + 169626196148674682025612117541799174794147012198979595710612391/21867743740815762142073347266975439595389218249572553625*a1^16 - 881245998433434845017339490644240046648914033545037771165123617/87470974963263048568293389067901758381556872998290214500*a1^15 - 19488438087884254732192479798516982061496524847891372463975834/1987976703710523831097577024270494508671747113597504875*a1^14 + 44009738172638735467335036914382855161744164014161809021715347/3364268267817809560318976502611606091598341269165008250*a1^13 + 7007927711965350110636333644610921906209203933627421595642081/795190681484209532439030809708197803468698845439001950*a1^12 - 527908470913493503962048120522220553566652341411833741015418763/43735487481631524284146694533950879190778436499145107250*a1^11 - 469336093317391602122021529447020759101552641432024399754137151/87470974963263048568293389067901758381556872998290214500*a1^10 + 663366179837088523843322672751252839570001748552818847527610947/87470974963263048568293389067901758381556872998290214500*a1^9 + 178450361612019995727294260831460144678914603043712859773831739/87470974963263048568293389067901758381556872998290214500*a1^8 - 13207659483601436068451475513420788011136034722729051349474336/4373548748163152428414669453395087919077843649914510725*a1^7 - 36753180543192694923016351725978169635237893930215598118286017/87470974963263048568293389067901758381556872998290214500*a1^6 + 11720258430943355178954841497056034694525415312516559829446263/17494194992652609713658677813580351676311374599658042900*a1^5 + 810774884714350231940646596418220391144984541908347621780036/21867743740815762142073347266975439595389218249572553625*a1^4 - 1105366065286743755509814170654317872844305290304321962312211/17494194992652609713658677813580351676311374599658042900*a1^3 - 83956809665128009547507103868243231507880824299659495910181/43735487481631524284146694533950879190778436499145107250*a1^2 + 23875914485409965133314755386502427374387725456019328794183/21867743740815762142073347266975439595389218249572553625*a1 - 262214457877899091073159192409890956966492712301143947504/21867743740815762142073347266975439595389218249572553625)
P_5=K_1.factor(5)[4][0]; P_5
Fractional ideal (5, -657151372364821314348861461256694945689254077951270981/26241292488978914570488016720370527514467061899487064350*a1^37 + 2074995983329175816547194201774632011413044855876282591/26241292488978914570488016720370527514467061899487064350*a1^36 + 17279398144035043701670131058569736694010243457289203219/13120646244489457285244008360185263757233530949743532175*a1^35 - 18372848581670352682591447631707023178546113362292341399/4373548748163152428414669453395087919077843649914510725*a1^34 - 16545430941420565280054221622158863037438511242526063779/524825849779578291409760334407410550289341237989741287*a1^33 + 1331887747002651136407415085227773777083069624506411559999/13120646244489457285244008360185263757233530949743532175*a1^32 + 2390866904447650954685013026638817732806319208861729925769/5248258497795782914097603344074105502893412379897412870*a1^31 - 19395378271046978812568674414779199522949657582912115486298/13120646244489457285244008360185263757233530949743532175*a1^30 - 10603317308835311491266476045691750435832482682707095620871/2385572044452628597317092429124593410406096536317005850*a1^29 + 25350295791953778891332942954434453726829089084525272656009/1749419499265260971365867781358035167631137459965804290*a1^28 + 271533030999328162589664775129423167458608869280886141990879/8747097496326304856829338906790175838155687299829021450*a1^27 - 2654784803527649836080473002711096324051000082574078307352491/26241292488978914570488016720370527514467061899487064350*a1^26 - 2107453819353213430968645366661624649673860886309387297811763/13120646244489457285244008360185263757233530949743532175*a1^25 + 6811152434634934829339575032425267673748606579836000427906166/13120646244489457285244008360185263757233530949743532175*a1^24 + 8253812534116127337176706405899839063589704986127113111607583/13120646244489457285244008360185263757233530949743532175*a1^23 - 8711280690977550673202249503918757971783429842169229544433243/4373548748163152428414669453395087919077843649914510725*a1^22 - 49604966747887917174076882613365588249029769710959924875739387/26241292488978914570488016720370527514467061899487064350*a1^21 + 75563959747070043248220976342367933495037439898566947291377807/13120646244489457285244008360185263757233530949743532175*a1^20 + 38431519355329903377065000277127083633458901050846594248638039/8747097496326304856829338906790175838155687299829021450*a1^19 - 54900860274282835500028315110284144571291767045646916276907146/4373548748163152428414669453395087919077843649914510725*a1^18 - 18904370357780835552517847089937031114212765588736938560864481/2385572044452628597317092429124593410406096536317005850*a1^17 + 89628009267256490677836565204185656233838539000513624483928517/4373548748163152428414669453395087919077843649914510725*a1^16 + 96794064147816043169718168172158820292969091685362192881100313/8747097496326304856829338906790175838155687299829021450*a1^15 - 29482731643838107003116315489969282098434465007083634781902764/1192786022226314298658546214562296705203048268158502925*a1^14 - 11952501707458115809101137685805634460908451980475058532748839/1009280480345342868095692950783481827479502380749502475*a1^13 + 342388892768601254083227606691972730785661031542403418618590/15903813629684190648780616194163956069373976908780039*a1^12 + 41553781318685641738034313681116763848839732983775924431891142/4373548748163152428414669453395087919077843649914510725*a1^11 - 114229018000427616246069819796325556006073053263418428013950841/8747097496326304856829338906790175838155687299829021450*a1^10 - 48028094296624797002335220580505696024031353359257835562255913/8747097496326304856829338906790175838155687299829021450*a1^9 + 136430117980734960904761021097893910622310741043615264051820657/26241292488978914570488016720370527514467061899487064350*a1^8 + 1867536387590246874555806966797450649347994932232474026589071/874709749632630485682933890679017583815568729982902145*a1^7 - 32023104465986780926669243390965858290387040349030133911188091/26241292488978914570488016720370527514467061899487064350*a1^6 - 865821513561923125157784148230765631141613247483497252739959/1749419499265260971365867781358035167631137459965804290*a1^5 + 1742702833119310086367567918735016713685111662802877806874281/13120646244489457285244008360185263757233530949743532175*a1^4 + 92210048127772837664331319012411379955151334996602091381363/1749419499265260971365867781358035167631137459965804290*a1^3 - 31589729211535174837242148780398964724207265309565671893933/13120646244489457285244008360185263757233530949743532175*a1^2 - 10144723464480157709129287262453328710803718796453534297947/13120646244489457285244008360185263757233530949743532175*a1 + 166135072215793516842080745481584504899346365034348016502/4373548748163152428414669453395087919077843649914510725)
P_1*P_2*P_3*P_4*P_5
Fractional ideal (5)
P_1.residue_class_degree()
19
P_2.residue_class_degree()
16
P_3.residue_class_degree()
1
P_4.residue_class_degree()
1
P_5.residue_class_degree()
1
f_1
q + a1*q^2 + (-17395541010863144034799341307932789697707212190535289/131206462444894572852440083601852637572335309497435321750*a1^37 - 169294950637316657125248669984655856927231742017919797/262412924889789145704880167203705275144670618994870643500*a1^36 + 2538011369173313629527968873165909390169968697210054509/262412924889789145704880167203705275144670618994870643500*a1^35 + 1577328532730406746092859377604409090369964744302117423/43735487481631524284146694533950879190778436499145107250*a1^34 - 8231618376320760169546469091777165800481145642783432109/26241292488978914570488016720370527514467061899487064350*a1^33 - 120831933532415808408010369814723382566228669949679193473/131206462444894572852440083601852637572335309497435321750*a1^32 + 79330759570088188869673166251039320535964323782507393392/13120646244489457285244008360185263757233530949743532175*a1^31 + 3736183379094582721803968171272968013499238990189431424067/262412924889789145704880167203705275144670618994870643500*a1^30 - 928199017766199824803439870482680944909379843830696757229/11927860222263142986585462145622967052030482681585029250*a1^29 - 2605406520213277252395924978033290829669186994665876181857/17494194992652609713658677813580351676311374599658042900*a1^28 + 62157766427323439306066466874427819432947503495611292963817/87470974963263048568293389067901758381556872998290214500*a1^27 + 292772546218062659835619107879412579122967026432673692434237/262412924889789145704880167203705275144670618994870643500*a1^26 - 1251000402562872956932046872867356952488896174673625538062033/262412924889789145704880167203705275144670618994870643500*a1^25 - 810900051558659622974987670072489060049256730685214148381787/131206462444894572852440083601852637572335309497435321750*a1^24 + 3145652595996837370011695336856414316260913992818893151698949/131206462444894572852440083601852637572335309497435321750*a1^23 + 563501275436971817215441261333197399623086993669735594618258/21867743740815762142073347266975439595389218249572553625*a1^22 - 5991653311867899153329837972385927989481280421237267065799774/65603231222447286426220041800926318786167654748717660875*a1^21 - 21394613718903936308426249361904913155939424882966104671565373/262412924889789145704880167203705275144670618994870643500*a1^20 + 11562134508389330787561129694593932390524897276267686169348921/43735487481631524284146694533950879190778436499145107250*a1^19 + 17130950118151521952917115366287938854863234999114965660854529/87470974963263048568293389067901758381556872998290214500*a1^18 - 6911701539804581783341010754813391562411867134581537321012829/11927860222263142986585462145622967052030482681585029250*a1^17 - 31036765567368933392711277245335866575621254861175252014056373/87470974963263048568293389067901758381556872998290214500*a1^16 + 20822384736327804623616942864394945116501394759072290355699136/21867743740815762142073347266975439595389218249572553625*a1^15 + 11402504490742059670144401373397563131203249639497748173595131/23855720444526285973170924291245934104060965363170058500*a1^14 - 11630265950222275984302086739094027423746487170215716676713037/10092804803453428680956929507834818274795023807495024750*a1^13 - 185939980202968382437821223834612477155645718089464143059861/397595340742104766219515404854098901734349422719500975*a1^12 + 43660152464374731496585537505177980638372357095063639131415291/43735487481631524284146694533950879190778436499145107250*a1^11 + 14033516830683786117304503681973590591192825239741913167312291/43735487481631524284146694533950879190778436499145107250*a1^10 - 51789226978543210961839972633658822143698511666024469196807629/87470974963263048568293389067901758381556872998290214500*a1^9 - 38530338761182251608709424851376134643024354942553444957378269/262412924889789145704880167203705275144670618994870643500*a1^8 + 3909471381163143046998016262956662447469860731691333547497713/17494194992652609713658677813580351676311374599658042900*a1^7 + 2748945999686751758472594859611706151946063613890324983141783/65603231222447286426220041800926318786167654748717660875*a1^6 - 822743591594734333455159765513972457758033873829645837704201/17494194992652609713658677813580351676311374599658042900*a1^5 - 1812290110209608978090803178342824989660923077009313594011949/262412924889789145704880167203705275144670618994870643500*a1^4 + 35833158780807007668023586064145045760966835345741175700411/8747097496326304856829338906790175838155687299829021450*a1^3 + 152903855475471402996670047635231796042399456316884801889427/262412924889789145704880167203705275144670618994870643500*a1^2 - 3654416266048824230629697055250096784118321999967661851211/131206462444894572852440083601852637572335309497435321750*a1 - 20005598946165024479503236497255317677582776718330640172/21867743740815762142073347266975439595389218249572553625)*q^3 + (a1^2 - 2)*q^4 + (-19460346732040375080337403154331997142735605155842817/5248258497795782914097603344074105502893412379897412870*a1^37 + 131384790868040989439505878805483979182986400307240019/10496516995591565828195206688148211005786824759794825740*a1^36 + 2029725854935788650684700753208387459913819436470066077/10496516995591565828195206688148211005786824759794825740*a1^35 - 585787686114508859206197502220074444144401380388319218/874709749632630485682933890679017583815568729982902145*a1^34 - 4797335559868889493625473868990600622709671532606355657/1049651699559156582819520668814821100578682475979482574*a1^33 + 42776872918652755201235479543258364527132182976128598898/2624129248897891457048801672037052751446706189948706435*a1^32 + 68029727537304504459078346710819162774812643874010501111/1049651699559156582819520668814821100578682475979482574*a1^31 - 2510439453437482879590941003606685528003150639634719668629/10496516995591565828195206688148211005786824759794825740*a1^30 - 146774753328248052448674357076482280321098690343654232491/238557204445262859731709242912459341040609653631700585*a1^29 + 1652995821005707414681196842973367265009712677937316329183/699767799706104388546347112543214067052454983986321716*a1^28 + 14452557895904317888994950104606234242386871416151114262031/3498838998530521942731735562716070335262274919931608580*a1^27 - 174391969874329526537194160720008085004489285736316332148939/10496516995591565828195206688148211005786824759794825740*a1^26 - 212013032563662315392019073648221809393489342813525663662829/10496516995591565828195206688148211005786824759794825740*a1^25 + 225285936711553588057528149228816095872942842997585026461162/2624129248897891457048801672037052751446706189948706435*a1^24 + 383014823684636089303915655500469582042464302886919339872987/5248258497795782914097603344074105502893412379897412870*a1^23 - 579920282312819031650460626346312570615702603691540551540737/1749419499265260971365867781358035167631137459965804290*a1^22 - 1026160425774873593975811686522073635834099363481586604714729/5248258497795782914097603344074105502893412379897412870*a1^21 + 10112847638399454315515588341364326295417101552206663724714871/10496516995591565828195206688148211005786824759794825740*a1^20 + 337644882977796870106942819385407571107256098697676720595864/874709749632630485682933890679017583815568729982902145*a1^19 - 7372228766568570360420577063311758488689416519127524956390943/3498838998530521942731735562716070335262274919931608580*a1^18 - 131647880812488858225501538243345516149878254229857590281266/238557204445262859731709242912459341040609653631700585*a1^17 + 12042866003261817418303784702003878609050952757945094919517971/3498838998530521942731735562716070335262274919931608580*a1^16 + 966533710385772269711665598935380011722246952396428670264111/1749419499265260971365867781358035167631137459965804290*a1^15 - 3947379545803807042940178007311020248507864348080955537648717/954228817781051438926836971649837364162438614526802340*a1^14 - 73462134131406158641296342781297510411460902448961610828448/201856096069068573619138590156696365495900476149900495*a1^13 + 56741067659653281306667937401574531109777185464083251628379/15903813629684190648780616194163956069373976908780039*a1^12 + 121546242539781566720280263759560900989558956271870406508189/874709749632630485682933890679017583815568729982902145*a1^11 - 1857189569944405268182925677678536049660140105301642261353576/874709749632630485682933890679017583815568729982902145*a1^10 - 80079650239742701539061669640469971574775210221142720617277/3498838998530521942731735562716070335262274919931608580*a1^9 + 8593967149171315757741340186015244800425822852381665452498133/10496516995591565828195206688148211005786824759794825740*a1^8 + 2159898328702079070033954248527090742262624687947457245205/699767799706104388546347112543214067052454983986321716*a1^7 - 481876279312520844449780837623682929591461606190012889822456/2624129248897891457048801672037052751446706189948706435*a1^6 - 2822233579531256238076725654026162373116481720827913435619/699767799706104388546347112543214067052454983986321716*a1^5 + 203117661934165345097209021627650471921391739099623406610533/10496516995591565828195206688148211005786824759794825740*a1^4 + 242822277085329458997317464786811251000936980793307670767/174941949926526097136586778135803516763113745996580429*a1^3 - 5704553442334990588180170027861602314917029972800733913539/10496516995591565828195206688148211005786824759794825740*a1^2 - 293396880627956312224223938407925283444725423052195437873/5248258497795782914097603344074105502893412379897412870*a1 + 1828422122517575562199375805888360359595569599844655764/874709749632630485682933890679017583815568729982902145)*q^5 + O(q^6)
P_5.divides(f_1[2]-3)
True
P=P_5
P.divides(f_1[199]-200)
True