  ***   Warning: new stack size = 44000000 (41.962 Mbytes).
1
[x^2 - 2]
2
[x^2 - 5, x^2 + 3]
3
[x^4 + (y - 1)*x^2 - 3]
4
[x^2 + 3, x^3 + 3*x + 5]
5
1
6
[1]
7
[1, 1]
8
1
9
[1]
10
[1, 1, 1]
11
1
12
1
13
[1, 1]
14
[x^3 - 24*x + (-2*y + 1), x^3 + 48*x + (-19838*y + 9919)]
15
[x^2 - 7, x^2 - 3, x^2 + 7]
16
1
17
[1]
18
[1, 1, 1]
19
[x^2 + 3, x^4 + 5*x^2 + 5]
20
[1, 1]
21
[1]
22
[1, 1]
23
[1]
24
[1, 1, 1, 1]
sanitize
25
[x]
[x^2 - 2]
hard DLs (#2228)
[1, 2, 1624384359015881850161120870813]
[1, 4, 3506795120905895253346115478005586436761515635553951033]
[x^2 - 1594287814679644276013]
26
x^128 - 16*x^127 - 228*x^126 + 3064*x^125 + 50832*x^124 - 373432*x^123 - 730
2544*x^122 + 21594104*x^121 + 766204924*x^120 + 212292184*x^119 - 5873995830
4*x^118 - 170760151536*x^117 + 3292940546760*x^116 + 18971984731480*x^115 - 
130738025225900*x^114 - 1316726409328216*x^113 + 2722481022140880*x^112 + 66
628399984403736*x^111 + 70008277613389744*x^110 - 2448605526808429704*x^109 
- 9803699456259235828*x^108 + 53838762598346919864*x^107 + 50957171970140348
3136*x^106 + 254075334990248880992*x^105 - 14637527708137946256820*x^104 - 8
2475407541976968859112*x^103 + 45236250071657695032468*x^102 + 3625411488337
264192466920*x^101 + 19047985734810262862108592*x^100 - 51654839839203088996
853944*x^99 - 1060248680202979534618904528*x^98 - 27207544920157464328669258
64*x^97 + 26725014150579667173782974092*x^96 + 19757914473019010298014416114
4*x^95 + 5775427032731349814695048096*x^94 - 5620826950775937202910233009296
*x^93 - 23818221235751044035246875238248*x^92 + 2496614995306295123610482085
7784*x^91 + 750726891387392444973679090973956*x^90 + 37147375086824804205965
05666464904*x^89 - 497106667601178868745669332882608*x^88 - 1203747002943352
92351389053807364200*x^87 - 709129635774884867328794466641890960*x^86 + 4123
26888658751452750735135397160664*x^85 + 200020882861408082883303430862775045
40*x^84 + 82076392192873046279185442068541264600*x^83 - 11197303027173639808
826565567784489920*x^82 - 1841801180926720822436446258282461160960*x^81 - 10
030183700183896895709225226641637639434*x^80 - 40114894024601677706207815838
779630108840*x^79 + 113639081842807440941183639728148602277404*x^78 + 208056
1714068783617981510807958428868517624*x^77 + 8648477808065015303280417984426
466684326224*x^76 - 13977243672381414476618634071646029564524840*x^75 - 3463
59684536166319199296580086250957641920176*x^74 - 727961748867164932015370770
728660233835181080*x^73 + 1717923860482517243836554759736687164495626932*x^7
2 + 24359904294168484897951860015092965549304870280*x^71 + 10575198513460925
2182263564468042195662852738336*x^70 - 1388167872993753926293326511222208906
64415590928*x^69 - 421796261315883720303005652296547738830768394568*x^68 - 1
4292464538808527800843067950457992747182734361592*x^67 - 4441096343369261157
2474294078439635971830475099844*x^66 + 2279088059705936850906606672010097638
14913086562424*x^65 + 971259100087919708629231377249287259556648705069296*x^
64 + 6582296272477549559284659013681893161650584606295304*x^63 - 20374169486
878369498601671633217651563183974568252656*x^62 - 15742408636327472224931001
9540777422010998072707675288*x^61 + 2179076691587906828827288853178237589384
0108314525796*x^60 - 409085348487544025097909090366870748693252973295649112*
x^59 + 11214160939459953904143650818217453129050026712649878400*x^58 + 22296
300798438039834285980917256499572223738243739999712*x^57 - 56508793340539842
499223173214412235446756286592155863252*x^56 - 35627697628680065818313696500
397295246478138253827382072*x^55 - 47855343706162800611585190391059239949156
73022413996536356*x^54 - 163626373042716534536887265477095044265283473334938
722568*x^53 + 65609627205723812197719873422598211882647878180289938658064*x^
52 + 120762952578276747148147579855830128544277445437351118688216*x^51 + 333
139654252335337884194998388810240798260740527219196938256*x^50 - 45209953103
11952161599404870460475590430208940546425355958456*x^49 - 106215697382634281
80004725617803204069082139218843099571927356*x^48 + 359195123165091289340127
20414815262474134493415159250285634728*x^47 + 148355170007444474925481014944
8119204029574370735704736890208*x^46 + 5694032336684635337723325702522943113
31512236498136607444329104*x^45 + 186689731333374814532013452810404989236838
2802981691430873884008*x^44 - 9541505434203575017946662918733542907107797431
464488408844713752*x^43 - 36019061385192245840331828377254240744896373056342
605497727923860*x^42 - 82148994981513000222564844797093963686753511496936351
247177399464*x^41 + 54113815672124705589880573157434023804246393100911053504
4833229296*x^40 + 3530528356737769709970833809021907668366824448875203125924
191397448*x^39 - 57647115473573934652425050271914183392509149889386562110584
17174576*x^38 - 417339291218301808385722381832172388793452164898199064395264
65704888*x^37 + 276600986730497064192503477967431991107982651143397431080359
70148468*x^36 + 210939020396720111436241215041193172108495211082742836025618
811174088*x^35 + 16188015797553562792109859689457248930201913298353840929069
7933391936*x^34 + 5240448974350370534024648076176647940056187176952618051237
46077938368*x^33 - 212189870172806425297829169575435345590047033554026773347
3703481988079*x^32 - 1159509177227105754957521902904551717347142625065522273
7980698241895464*x^31 + 3599335541671289848423606910856624888711418623558031
708113659751896920*x^30 + 49167213976698472654795599831482806141526533402302
533989042273716235312*x^29 + 13842235039218507509644611799411228828414236270
0573969235783804623045984*x^28 + 4157969944186456921978522771536340723295806
90323424144558174610231196864*x^27 - 253546561738984321479986511558935556482
493828842181800871628672316661760*x^26 - 29428206051804640906377385461988765
08164002795140528509564213918973587456*x^25 - 339534137522858795070293460828
6792234866417660378030235826535141672635136*x^24 - 2710078144101079057351653
676915619092403042291138044396960928045894708224*x^23 + 23755753263292782137
54124484749342202226425460305635747239213406105282560*x^22 + 432089291303502
23604642028616396910653697853755963866815658624894864236544*x^21 + 521440910
99438288217897000596923405588384761571305832169553637965743050752*x^20 - 363
32091023462972083028987940063915608669516264102001374265476609415790592*x^19
 - 3738926330218988637876369895933730738852887935147128496707888526731437670
4*x^18 - 2670029752986810201510977562976486531511945140603398663257734850306
50544128*x^17 - 366955957834541488814852501802943522123331786988470378964715
255317615804416*x^16 + 13695860696438170890159629473438338587272078872746719
60001875927300078043136*x^15 + 149930367520325586675834311736887015175756753
323932699539430334730698489856*x^14 - 51770235496333086980611199163469054487
80789454331268527681992208132178182144*x^13 + 341630894295684906431328824237
5639586847286808263501256959535184230099189760*x^12 + 1215909219521352940174
1736006314683749960605248853624912233089112000872579072*x^11 - 1177411981769
6539833110428620900605700132320256721016947901679931705522126848*x^10 - 1291
6029944249685444818994980288373229506370481457841888768945030517005221888*x^
9 + 244610851608111385298633043691532798114946631898672111233073967763514122
56768*x^8 - 1196845932312833943314032394304082677668010256206410736625018216
092234940416*x^7 - 357822607416712182139583675158984320849040966925168233217
56592895954404769792*x^6 + 1562925882226342636316834214779143133430932194953
4586083588473969506116435968*x^5 + 32955478139999974001098488939923392497133
086264874944775778918855896316510208*x^4 - 132810536007060819704886616555158
70329158794863024330775273947298401236287488*x^3 - 1635909273165088428972972
8896250202271717207853591724960951713433577932718080*x^2 + 39143579743733780
60486714724337255682967462150454617722605616725132528582656*x + 366077646690
1881901138804270621171088062544906012468181269894733801933766656
27
x^4 + 8*x^2 + 64
28
1
29
1
30
x^8 - x^6 + 4*x^4 + 3*x^2 + 9
31
x^16 + 2*x^15 + 23*x^14 + 2*x^13 + 241*x^12 - 42*x^11 + 1223*x^10 - 46*x^9 +
 2984*x^8 + 174*x^7 + 2919*x^6 + 20*x^5 + 419*x^4 - 378*x^3 - 116*x^2 + 394*
x + 131
32
1
correct absolute, incorrect relative extension
1
8
1
8
[x^2 + (-28*y^2 + 36*y - 25), x^2 + (-y^2 + 2*y - 5)]
[x^2 + (-5*y^2 + 5*y - 3)]
segfault bug with character input
1
bug: relative polynomial instead of absolute
12
examples from doc
[4, 2]
x^8 - 2*x^7 + Mod(-2*y^2 - 4*y - 27, y^3 + 14*y - 1)*x^6 + Mod(2*y^2 + 6*y +
 28, y^3 + 14*y - 1)*x^5 + Mod(18*y^2 + 6*y + 177, y^3 + 14*y - 1)*x^4 + Mod
(-8*y^2 - 8*y - 40, y^3 + 14*y - 1)*x^3 + Mod(-35*y^2 + 46*y - 296, y^3 + 14
*y - 1)*x^2 + Mod(8*y^2 - 18*y + 4, y^3 + 14*y - 1)*x + Mod(11*y^2 - 82*y + 
116, y^3 + 14*y - 1)
1
[24, 12, 12, 2]
[x^2 + (-21*y - 105), x^2 + (-5*y - 25), x^2 + (-y - 5), x^2 + (-y - 1)]
1
tough discrete log
[x^3 - 1220909029402133157056664768993*x + 228173780956868462063268259363773
647292715351]
tough factorization for structure of k(pr)^*
[x^3 - 124605152776383880390723164330780836681247395669702932114626903273810
0335653842887163737345746603468166565713887746845621352923776537140672180761
81167534459523573834583687437400009382330108311817598283*x + 377143528906672
9356539838692927482115948230537325657974061964131050584561046525436227324582
0622952576483473221925056061538198425966101542406349670238672049800945490332
6355918086715061533824316389015991356954063061961914858980761767635379232210
677361394668132952855129411876734922669237206671971928041]
tough conductor factorization
[x^7 + (-2488690901109897064049863992606012618917666942469541293587644*a - 3
063269196991987310447414268221764697286677021432648792509846)*x^4 + (-642192
118585169200748345356330125311089698298235863825539552157786290050345982204*
a - 133365494431207575162435475365485400375764861835188466316100940685901556
1780069519)*x^3 + (340232991495144387468334348532066123240992620566063535109
92561405632363362036584637112116210859170932*a - 263138446490595960628601220
91538769030478902628479463404263936798836164724456179145809571515647166048)*
x^2 + (159537922162631362359749173993456969734831474582539482651051736195012
22828101532841688538587642592023261187569184359486658*a - 119532340027417020
0791086853737065481226940343547721428140019378449603681196774484283067574482
1586776703165099355158621752)*x + (17500518530049070055430577944332050955678
8260420556567224467767217256477841710392318226018479914381847995053447485426
9596297096541830710839284*a - 2277818608242330547768173463905672593578106563
2356940539281515239333565833639507075733945268717528354911129285649389681284
8395667994815164491), x^7 + (-2488690901109897064049863992606012618917666942
469541293587644*a + 57457829588209024639755027561575207836901007896310749892
2202)*x^4 + (642192118585169200748345356330125311089698298235863825539552157
786290050345982204*a - 69146282572690655087600939732472869266795032011602083
7621457249072725511434087315)*x^3 + (340232991495144387468334348532066123240
99262056606353510992561405632363362036584637112116210859170932*a + 603371437
9857403480969355694474538135457816468508581691525649820446852808649276378292
1687726506336980)*x^2 + (-15953792216263136235974917399345696973483147458253
948265105173619501222828101532841688538587642592023261187569184359486658*a -
 279070262190048382438857859367163517857525508937311625465053674039972596400
69277684519214332464178799964352668539518108410)*x + (1750051853004907005543
0577944332050955678826042055656722446776721725647784171039231822601847991438
18479950534474854269596297096541830710839284*a + 197783371382914006031987514
0823772354925693260529135077637492824565900436753498993939599637486319102029
061827331348166409145492209825526003775), x^7 + (-76153100636760396491647925
4136*a - 17450457279632374082134698072858)*x^4 + (29638579109988460158600391
4706038033921370*a + 865584363186737906459373183630751480733673)*x^3 + (-620
5122555182848676136477906642526198746588841812956*a + 6348799923449844511612
452311190705620451406417652188)*x^2 + (5721072833965395266638810750876372287
9320125120778867080968320*a - 5577140923407444224524941238759279100364694560
45573617674380254)*x + (1786120850509865384579306791433240841633233296604069
006055279495102110194*a + 94766359081620270352777674576571427107130313283685
81445426933931128807729), x^7 + (-761531006367603964916479254136*a + 1668892
6273264770117218218818722)*x^4 + (-29638579109988460158600391470603803392137
0*a + 569198572086853304873369268924713446812303)*x^3 + (-620512255518284867
6136477906642526198746588841812956*a - 1255392247863269318774893021783323181
9197995259465144)*x^2 + (-57210728339653952666388107508763722879320125120778
867080968320*a - 61492482068039837511888223138469163291578958116635248475534
8574)*x + (17861208505098653845793067914332408416332332966040690060552794951
02110194*a - 769051505765216165069846066622390186907979803176451243937165443
6026697535)]
vector of subgroups
[[-x^3 - 8*x + Mod(-y, y^2 + 3299)], [-x^3 - 26*x + Mod(-y, y^2 + 3299)], [x
^3 - x^2 + Mod(1/2*y + 11/2, y^2 + 3299)*x + Mod(-1/2*y + 25/2, y^2 + 3299)]
, [-x^3 - 6*x + Mod(-y, y^2 + 3299)]]
[-x^3 - 8*x + Mod(-y, y^2 + 3299), -x^3 - 26*x + Mod(-y, y^2 + 3299), x^3 - 
x^2 + Mod(1/2*y + 11/2, y^2 + 3299)*x + Mod(-1/2*y + 25/2, y^2 + 3299), -x^3
 - 6*x + Mod(-y, y^2 + 3299)]
[x^6 + 16*x^4 + 64*x^2 + 3299, x^6 + 52*x^4 + 676*x^2 + 3299, x^6 - 2*x^5 + 
12*x^4 + 14*x^3 + 830*x^2 - 1512*x + 981, x^6 + 12*x^4 + 36*x^2 + 3299]
[]
[[x^3 + 3*x + y]]
1
[x^3 + (-3/10*y^3 - 1/2*y^2 + 1/2*y + 19/5)]
[x]
x
x^3 - 2
[[x], [x]]
[x, x]
[x^3 - 2, x^3 - 2]
[x]
bad inputs
  ***   at top-level: bnrclassfield(y^2+6,Mat(2))
  ***                 ^---------------------------
  *** bnrclassfield: incorrect type in checkbnr [please apply bnrinit()] (t_POL).
  ***   at top-level: bnrclassfield(bnr,m)
  ***                 ^--------------------
  *** bnrclassfield: overflow in bnrclassfield [too large degree].
  ***   at top-level: bnrclassfield(bnr,[m])
  ***                 ^----------------------
  *** bnrclassfield: overflow in bnrclassfield [too large degree].
  ***   at top-level: bnrclassfield(K,Mat(1/2))
  ***                 ^-------------------------
  *** bnrclassfield: incorrect type in allhnfmod [integer matrix] (t_MAT).
  ***   at top-level: bnrclassfield(K,1/2)
  ***                 ^--------------------
  *** bnrclassfield: incorrect type in bnr_subroup_sanitize [subgroup] (t_FRAC).
  ***   at top-level: bnrclassfield(K,matid(2))
  ***                 ^-------------------------
  *** bnrclassfield: inconsistent dimensions in ZM_hnfmod.
  ***   at top-level: bnrclassfield(K,Mat(2),3)
  ***                 ^-------------------------
  *** bnrclassfield: invalid flag in bnrclassfield [must be 0,1 or 2].
  ***   at top-level: bnrclassfield(K,Mat(2),-1)
  ***                 ^--------------------------
  *** bnrclassfield: invalid flag in bnrclassfield [must be 0,1 or 2].
  ***   at top-level: bnrclassfield(vector(6),Mat(2))
  ***                 ^-------------------------------
  *** bnrclassfield: incorrect type in checkbnr [please apply bnrinit()] (t_VEC).
  ***   at top-level: bnrclassfield(bnrinit(bnfinit(y,1),[7378697629
  ***                 ^----------------------------------------------
  *** bnrclassfield: overflow in bnrclassfield [too large degree].
  ***   at top-level: bnrclassfield(bnfinit(x))
  ***                 ^-------------------------
  *** bnrclassfield: incorrect priority in bnrclassfield: variable x = x
Total time spent: 4906
