? test(2,20)
[a, a^2 + a + 1, a^19 + a^18 + a^17 + a^15 + a^14 + a^13 + a^12 + a^8 + a^7 
+ a^6 + a^4 + a^2 + 1, 0, a + 1, 0, 0, 0, 0, a^19 + a^16 + a^15 + a^11 + a^8
 + a^5 + a^4 + a^3 + a^2 + a, a, a^2, a^12 + a^9 + a^6 + a^4 + a^3 + a^2 + a
, a^18 + a^17 + a^16 + a^14 + a^13 + a^12 + a^11 + a^10 + a^9 + a^8 + a^7 + 
a^4 + a^3 + a^2 + 1, a^18 + a^17 + a^16 + a^14 + a^13 + a^12 + a^11 + a^10 +
 a^9 + a^8 + a^7 + a^4 + a^3 + a^2 + 1, a^16 + a^12 + a^9 + a^6 + a^4 + a^3 
+ a^2 + a + 1, 0, Mod(1, 2), Mod(0, 2), Mod(1, 2)*x^20 + Mod(1, 2)*x^17 + Mo
d(1, 2)*x^16 + Mod(1, 2)*x^12 + Mod(1, 2)*x^9 + Mod(1, 2)*x^6 + Mod(1, 2)*x^
5 + Mod(1, 2)*x^4 + Mod(1, 2)*x^3 + Mod(1, 2)*x^2 + Mod(1, 2), Mod(1, 2)*x^2
0 + Mod(1, 2)*x^17 + Mod(1, 2)*x^16 + Mod(1, 2)*x^12 + Mod(1, 2)*x^9 + Mod(1
, 2)*x^6 + Mod(1, 2)*x^5 + Mod(1, 2)*x^4 + Mod(1, 2)*x^3 + Mod(1, 2)*x^2 + M
od(1, 2), [a, a^2, a^4, a^8, a^16, a^16 + a^12 + a^9 + a^6 + a^4 + a^3 + a^2
, a^16 + a^12 + a^9 + a^6 + a^4 + a^3 + a + 1, a^16 + a^12 + a^9 + a^6 + a^3
 + a^2 + a, a^16 + a^12 + a^9 + a^8 + a^6 + a^4 + a^3 + a^2 + a + 1, a^12 + 
a^9 + a^6 + a^4 + a^3 + a^2 + a, a + 1, a^2 + 1, a^4 + 1, a^8 + 1, a^16 + 1,
 a^16 + a^12 + a^9 + a^6 + a^4 + a^3 + a^2 + 1, a^16 + a^12 + a^9 + a^6 + a^
4 + a^3 + a, a^16 + a^12 + a^9 + a^6 + a^3 + a^2 + a + 1, a^16 + a^12 + a^9 
+ a^8 + a^6 + a^4 + a^3 + a^2 + a, a^12 + a^9 + a^6 + a^4 + a^3 + a^2 + a + 
1]~, [x^3 + (a^17 + a^16 + a^10 + a^7 + a^3), 1; x^3 + (a^17 + a^16 + a^10 +
 a^7 + a^3 + a), 1], [], a/x, 1, a^18 + a^17 + a^16 + a^15 + a^12 + a^8 + a^
2, 1048575, 1, a, [x + (a^18 + a^16 + a^13 + a^9 + a^8 + a^7 + a^6 + a^4 + a
^2 + a), 1; x + (a^18 + a^16 + a^13 + a^9 + a^8 + a^7 + a^6 + a^4 + a^2 + a 
+ 1), 1], [a^18 + a^16 + a^13 + a^9 + a^8 + a^7 + a^6 + a^4 + a^2 + a, a^18 
+ a^16 + a^13 + a^9 + a^8 + a^7 + a^6 + a^4 + a^2 + a + 1]~]
? test(7,7)
[a, a^2 + 3*a + 1, 6*a^6 + a^5 + 6*a^4 + a^3 + 6*a^2 + a + 1, 3*a + 3, a + 3
, 2*a^6 + 5*a^5 + 2*a^4 + 5*a^3 + 2*a^2 + 5*a, 2*a + 2, 2*a + 2, 4*a + 4, a^
6 + 6, 6*a, a^2, 4*a^6 + a^5 + 3*a^4 + 3*a^3 + 5*a^2 + 2*a + 5, a^2 + a + 1,
 a^2 + a + 1, 4, a^6 + 2*a^5 + 3*a^4 + a^2 + a + 6, Mod(5, 7), Mod(0, 7), Mo
d(1, 7)*x^7 + Mod(6, 7)*x + Mod(6, 7), Mod(1, 7)*x^7 + Mod(6, 7)*x + Mod(6, 
7), [a, a + 1, a + 2, a + 3, a + 4, a + 5, a + 6]~, [x^3 + (2*a^6 + 6*a^5 + 
2*a^4 + a^2 + 4*a + 2), 1; x^3 + (5*a^6 + a^5 + 5*a^4 + 6*a^2 + 2*a + 5), 1]
, a^6 + 5*a^5 + 4*a^4 + 2*a^3 + 3*a^2 + a + 2, a/x, (x + a)/(x + 6*a), a^6 +
 a^4 + 2*a^3 + 3*a^2 + a, 137257, 1, a, Mat([x^2 + x + a, 1]), []~]
? test(precprime(2^32),3)
[a, a^2 + 3*a + 1, 3435973833*a^2 + 3435973833, 2863311528*a + 2863311528, a
 + 3435973833, 3579139409*a^2 + 2863311528, 3579139410*a + 3579139410, 1024*
a + 1024, 859832319*a + 859832319, 4294967290*a^2 + 4294967290*a + 4, 429496
7290*a, a^2, 3885163399*a^2 + 2553150559*a + 523234686, a^2 + a + 1, a^2 + a
 + 1, 1, 4264202413*a^2 + 356078407*a + 3929909005, Mod(25, 4294967291), Mod
(4294967290, 4294967291), Mod(1, 4294967291)*x^3 + Mod(1, 4294967291)*x^2 + 
Mod(4294967287, 4294967291)*x + Mod(1, 4294967291), Mod(1, 4294967291)*x^3 +
 Mod(1, 4294967291)*x^2 + Mod(4294967287, 4294967291)*x + Mod(1, 4294967291)
, [a, a^2 + a + 4294967288, 4294967290*a^2 + 4294967289*a + 2]~, [x + (34444
7023*a^2 + 1616586690*a + 252460086), 1; x + (3340051543*a^2 + 1627577691*a 
+ 2021233148), 1; x^2 + (954915748*a^2 + 2667389600*a + 2273734143)*x + (816
322992*a^2 + 830924795*a + 1995175223), 1; x^2 + (3950520268*a^2 + 267838060
1*a + 4042507205)*x + (1642837480*a^2 + 2548350348*a + 1670376662), 1], 3618
892287*a^2 + 1482857269*a + 1021597254, a/x, (x + a)/(x + 4294967290*a), 349
0383416*a^2 + 1759576229*a + 3092551593, 36893488070109691946, 1, a, [x + (1
365670490*a^2 + 3373566631*a + 4083593885), 1; x + (2929296801*a^2 + 9214006
60*a + 211373407), 1], [1365670490*a^2 + 3373566631*a + 4083593884, 29292968
01*a^2 + 921400660*a + 211373406]~]
? test(nextprime(2^32),3)
[a, a^2 + 3*a + 1, a^2 + 4294967310, 1431655771*a + 1431655771, a + 34359738
49, 3579139425*a^2 + 1431655772, 715827886*a + 715827886, 1024*a + 1024, 114
5044996*a + 1145044996, a^2 + a + 4294967309, 4294967310*a, a^2, 264190711*a
^2 + 2629464558*a + 2494776416, 2086193154*a^2 + 2086193154*a + 2086193154, 
2208774156*a^2 + 2208774156*a + 2208774156, 2086193154, 996804783*a^2 + 2908
221018*a + 1206110100, Mod(13, 4294967311), Mod(4294967310, 4294967311), Mod
(1, 4294967311)*x^3 + Mod(1, 4294967311)*x^2 + Mod(4294967309, 4294967311)*x
 + Mod(4294967310, 4294967311), Mod(1, 4294967311)*x^3 + Mod(1, 4294967311)*
x^2 + Mod(4294967309, 4294967311)*x + Mod(4294967310, 4294967311), [a, a^2 +
 4294967309, 4294967310*a^2 + 4294967310*a + 1]~, [x^2 + (2086193155*a^2 + 1
22581001)*x + 2086193154, 1; x^2 + (2208774157*a^2 + 4172386308)*x + 2208774
156, 1; x^2 + (4294967310*a^2 + 2)*x + 1, 1], 1484088443*a^2 + 1141114953*a 
+ 4283364322, a/x, (x + a)/(x + 4294967310*a), 1892124804*a^2 + 446887574*a 
+ 1010425087, 6148914735617846011, 1, a, [x + (268392743*a^2 + 2459390605*a 
+ 1304316255), 1; x + (4026574568*a^2 + 1835576706*a + 2990651057), 1], [268
392743*a^2 + 2459390605*a + 1304316254, 4026574568*a^2 + 1835576706*a + 2990
651056]~]
? default(echo,0);
? stest(2,1005);
? stest(17,2);
? stest(17,3);
? stest(17,4);
? stest(nextprime(2^31),2);
? stest(nextprime(2^31),3);
? stest(nextprime(2^31),4);
? stest(nextprime(2^63),2);
? stest(nextprime(2^63),3);
? stest(nextprime(2^63),4);
? stest(nextprime(2^65),2);
? stest(nextprime(2^65),3);
? stest(nextprime(2^65),4);
? ftest(2,1005,7);
? ffgen(ffinit(2^32-5,101),'a)^10000
2904925334*a^100 + 700105542*a^99 + 1727200511*a^98 + 1173808205*a^97 + 9542
0994*a^96 + 3202419959*a^95 + 2481924190*a^94 + 3126863204*a^93 + 2955970830
*a^92 + 2548647191*a^91 + 1047527349*a^90 + 1607847794*a^89 + 1136036718*a^8
8 + 2224103182*a^87 + 234809824*a^86 + 1334629770*a^85 + 3694521682*a^84 + 2
888958800*a^83 + 2981717284*a^82 + 3586954794*a^81 + 956529198*a^80 + 193357
785*a^79 + 2461870083*a^78 + 2884929899*a^77 + 2136433918*a^76 + 3711607228*
a^75 + 332814573*a^74 + 2094440266*a^73 + 933657478*a^72 + 2778340755*a^71 +
 3169750773*a^70 + 2171979949*a^69 + 1221433421*a^68 + 901860002*a^67 + 2970
90232*a^66 + 3539970492*a^65 + 2076910613*a^64 + 2401092275*a^63 + 171183351
4*a^62 + 3584831951*a^61 + 2855998596*a^60 + 347617911*a^59 + 2423948087*a^5
8 + 2221962383*a^57 + 2749975174*a^56 + 1550735992*a^55 + 2529466701*a^54 + 
2598855843*a^53 + 4023905766*a^52 + 1486945524*a^51 + 2441781373*a^50 + 1138
122930*a^49 + 2066584358*a^48 + 1722922056*a^47 + 3744247345*a^46 + 29285190
73*a^45 + 1223452975*a^44 + 2713760803*a^43 + 2142407081*a^42 + 756824586*a^
41 + 3732788422*a^40 + 1164553813*a^39 + 771729217*a^38 + 3634297024*a^37 + 
2421113272*a^36 + 2598325671*a^35 + 3513778816*a^34 + 1539027125*a^33 + 3689
734857*a^32 + 4188593390*a^31 + 2825758998*a^30 + 3192363801*a^29 + 36501544
35*a^28 + 1334480978*a^27 + 2009094380*a^26 + 151875699*a^25 + 3435707889*a^
24 + 661453301*a^23 + 416421795*a^22 + 3246563523*a^21 + 985317917*a^20 + 33
10261776*a^19 + 4234321367*a^18 + 380085156*a^17 + 1049653093*a^16 + 6266755
65*a^15 + 1603594749*a^14 + 3130157282*a^13 + 844750099*a^12 + 3495279283*a^
11 + 1036502501*a^10 + 576151557*a^9 + 1040168751*a^8 + 1714788152*a^7 + 234
0199159*a^6 + 4175283296*a^5 + 2975302344*a^4 + 2428563952*a^3 + 443574314*a
^2 + 3215614405*a + 2183237283
? ffgen(ffinit(2^64-59,101),'a)^10000
11357361951151958121*a^100 + 5792035517727999732*a^99 + 7489923161672088612*
a^98 + 198291789480115765*a^97 + 7027135568582861768*a^96 + 7299386875942518
369*a^95 + 10681924511986429849*a^94 + 14721409711812770068*a^93 + 177845253
02221024156*a^92 + 7804341282953434235*a^91 + 6253292858501893536*a^90 + 375
2205311837838488*a^89 + 12205965799946763222*a^88 + 7579185967234550243*a^87
 + 7660231629286376323*a^86 + 8927589722637637677*a^85 + 6783475681455269614
*a^84 + 11968255844292754829*a^83 + 5819238353489370105*a^82 + 6918133330273
010048*a^81 + 8900778062932659277*a^80 + 15250824442906974876*a^79 + 2484274
759583929736*a^78 + 12662494501202465352*a^77 + 1658627870779087936*a^76 + 1
3011592420351927994*a^75 + 1429162280240510446*a^74 + 8085544061123262008*a^
73 + 12999730205733779276*a^72 + 14782490105219029716*a^71 + 970562341709006
1989*a^70 + 10676813376503700642*a^69 + 13433094161603852463*a^68 + 17199289
874783012603*a^67 + 4285333119776358644*a^66 + 16021251868058308047*a^65 + 1
5495498503350376322*a^64 + 5966197018829209744*a^63 + 12345332784539353625*a
^62 + 14865549204004875095*a^61 + 8272995682833482264*a^60 + 121032254702015
79677*a^59 + 17479835254811511245*a^58 + 3057285969116272639*a^57 + 14559795
162132711775*a^56 + 13046944472429221491*a^55 + 1019495020975929944*a^54 + 1
6803291081324517730*a^53 + 17710829803474400119*a^52 + 2594650197306879903*a
^51 + 12847996295434431851*a^50 + 9729674550253550622*a^49 + 109429518884359
53217*a^48 + 508631243443378452*a^47 + 4416164175737874514*a^46 + 4138550054
669964040*a^45 + 91535476336245596*a^44 + 11254247175995051473*a^43 + 336718
1085033412978*a^42 + 11302910178987761836*a^41 + 14219471129414354857*a^40 +
 3472640334363308855*a^39 + 44279726220391285*a^38 + 8772473950884549985*a^3
7 + 6773120702751407339*a^36 + 6996688466561413845*a^35 + 546584401725025696
5*a^34 + 7818703010175000236*a^33 + 13304920141834573258*a^32 + 114357960485
84276*a^31 + 4331469251417299625*a^30 + 17686902244060347692*a^29 + 17607783
19947200401*a^28 + 3012511890706784509*a^27 + 18319341252918336566*a^26 + 10
018340880050704466*a^25 + 3681292000887380307*a^24 + 6241896558174496327*a^2
3 + 9334414729239110374*a^22 + 14900454697774091776*a^21 + 77193581568725477
10*a^20 + 7957196232563221737*a^19 + 14008909657978711585*a^18 + 43480361564
79613902*a^17 + 1768274872694937073*a^16 + 6926632468462411736*a^15 + 138466
31025657876514*a^14 + 16445358444805977559*a^13 + 3015896265596741617*a^12 +
 3099427746327195442*a^11 + 7091419183460950797*a^10 + 13541704365745256080*
a^9 + 9319609099157088592*a^8 + 3845681432811214920*a^7 + 380965757660125686
6*a^6 + 14250915374958368396*a^5 + 5948030384875855137*a^4 + 434385110189972
4971*a^3 + 16736030436363202463*a^2 + 11764704170600631014*a + 1394491261297
3941130
? for(i=1,10,print(ffnbirred(11,i)));
11
55
440
3630
32208
295020
2783880
26793030
261994040
2593726344
? for(i=1,10,print(ffnbirred(11,i,1)));
11
66
506
4136
36344
331364
3115244
29908274
291902314
2885628658
? t=ffgen(2^64)^((2^64-1)\5);1/t
x^58 + x^57 + x^56 + x^52 + x^51 + x^49 + x^46 + x^45 + x^42 + x^39 + x^36 +
 x^35 + x^32 + x^30 + x^29 + x^25 + x^23 + x^22 + x^21 + x^20 + x^19 + x^12 
+ x^8 + x^7 + x^6 + x^2
? sqrt(Mod(-1,4296540161))
Mod(1086811600, 4296540161)
? sqrt(Mod(-1,18446744073944432641))
Mod(6687681666819568403, 18446744073944432641)
? centerlift(factorcantor(prod(i=-10,10,(x^2-i)),2^64+13)[,1])
[x, x + 1, x + 2, x + 3, x + 248527397336721375, x + 2370518075556110396, x 
+ 2888582621843189425, x + 4741036151112220792, x + 5193293969518580612, x +
 6494187761904104278, x + 7111554226668331188, x + 7312212166335540022, x + 
7562574061564804959, x - 7562574061564804959, x - 7312212166335540022, x - 7
111554226668331188, x - 6494187761904104278, x - 5193293969518580612, x - 47
41036151112220792, x - 2888582621843189425, x - 2370518075556110396, x - 248
527397336721375, x - 3, x - 2, x - 1, x^2 + 2, x^2 + 3, x^2 + 8, x^2 + 10, x
^2 - 10, x^2 - 8, x^2 - 3, x^2 - 2]~
? conjvec(Mod(x,x^2+Mod(1,3)))
[Mod(Mod(1, 3)*x, Mod(1, 3)*x^2 + Mod(1, 3)), Mod(Mod(2, 3)*x, Mod(1, 3)*x^2
 + Mod(1, 3))]~
? default(echo,0);
? test(2^5)
[t^4 + t^3; t^4 + t^3; 1]
[t, t^2; t + 1, t^2 + 1]
2
t^4 + t^2
[1, 0, 0; 0, 1, 0; 0, 0, 1]
[t^2 + t, t^4 + t^3 + 1, t^4 + t^3 + t]~
1
1
1
1
[0, 1]~
[]~
[;]
[Vecsmall([1]), Vecsmall([2])]
[0, 1; t, 0]
[]~
[1, 1]~
? test(7^5)
[3*t^4 + 5*t^3 + 6*t^2 + 2*t; 4*t^4 + 2*t^3 + t^2 + 5*t; 1]
[t, t^2; t + 1, t^2 + 1]
2
6*t^4 + 2*t^3 + 4*t^2 + 2*t + 2
[1, 0, 0; 0, 1, 0; 0, 0, 1]
[3*t^2 + 3*t, 6*t^4 + 5*t^3 + 4*t^2 + 5*t + 6, 6*t^4 + 5*t^3 + 4*t^2 + 6*t]~
1
1
1
1
[0, 1]~
[]~
[;]
[Vecsmall([1]), Vecsmall([2])]
[0, 1; t, 0]
[]~
[6, 1]~
? test((2^64+13)^5)
[3*t^4 + 5*t^3 + 18446744073709551621*t^2 + 18446744073709551617*t; 18446744
073709551626*t^4 + 18446744073709551624*t^3 + 8*t^2 + 12*t; 1]
[t, t^2; t + 1, t^2 + 1]
2
18446744073709551628*t^4 + 2*t^3 + 18446744073709551626*t^2 + 2*t + 2
[1, 0, 0; 0, 1, 0; 0, 0, 1]
[3*t^2 + 3*t, 18446744073709551628*t^4 + 5*t^3 + 4*t^2 + 1844674407370955162
7*t + 18446744073709551628, 18446744073709551628*t^4 + 5*t^3 + 4*t^2 + 18446
744073709551628*t]~
1
1
1
1
[0, 1]~
[]~
[;]
[Vecsmall([1]), Vecsmall([2])]
[0, 1; t, 0]
[]~
[18446744073709551628, 1]~
? default(echo,0);
? test(nextprime(2^7)^5)
? test(nextprime(2^15)^5)
? test(nextprime(2^31)^5)
? test(nextprime(2^63)^5)
? test(nextprime(2^80)^5)
? test(nextprime(2^7)^5,27)
? test(nextprime(2^15)^5,27)
? test(nextprime(2^31)^5,27)
? test(nextprime(2^63)^5,27)
? test(nextprime(2^80)^2,27)
? my(a=ffgen([2,100]));(0*a*x)*x
0
? default(echo,0);
? test(2,1,5,3)
error("domain error in ffcompomap: m domain does not contain codomain of [b,
 c^12 + c^10 + c^9 + c^5 + c^3 + c^2]")
error("domain error in ffcompomap: m domain does not contain codomain of [b,
 b^5 + b^4 + b^2 + b + 1]")
error("domain error in ffmap: m domain does not contain b^4 + b^3 + 1")
error("domain error in ffmap: m domain does not contain c^12 + c^10 + c^9 + 
c^5 + c^3 + c^2")
error("incorrect type in ffextend (t_POL).")
? test(2,5,5,3)
error("domain error in ffcompomap: m domain does not contain codomain of [b,
 c^70 + c^69 + c^67 + c^66 + c^64 + c^60 + c^58 + c^57 + c^56 + c^54 + c^51 
+ c^50 + c^48 + c^47 + c^45 + c^44 + c^42 + c^40 + c^39 + c^37 + c^34 + c^32
 + c^31 + c^30 + c^29 + c^28 + c^24 + c^20 + c^18 + c^15 + c^13 + c^9 + c^8 
+ c^7 + c^4 + c^3 + c^2 + c + 1]")
error("domain error in ffcompomap: m domain does not contain codomain of [b,
 b^5 + (a^4 + a^3 + a^2 + 1)*b^4 + (a^4 + a^3 + a^2)*b^3 + (a^4 + a^2 + a + 
1)*b^2 + (a^3 + a^2)*b + (a^4 + a^3)]")
error("domain error in ffmap: m domain does not contain b^23 + b^22 + b^20 +
 b^19 + b^18 + b^14 + b^13 + b^12 + b^9 + b^8 + b^7 + b^4 + b + 1")
error("domain error in ffmap: m domain does not contain c^70 + c^69 + c^67 +
 c^66 + c^64 + c^60 + c^58 + c^57 + c^56 + c^54 + c^51 + c^50 + c^48 + c^47 
+ c^45 + c^44 + c^42 + c^40 + c^39 + c^37 + c^34 + c^32 + c^31 + c^30 + c^29
 + c^28 + c^24 + c^20 + c^18 + c^15 + c^13 + c^9 + c^8 + c^7 + c^4 + c^3 + c
^2 + c + 1")
error("incorrect type in ffextend (t_POL).")
? test(3,1,2,3)
error("domain error in ffcompomap: m domain does not contain codomain of [b,
 c^4 + c^2 + c]")
error("domain error in ffcompomap: m domain does not contain codomain of [b,
 b^2 + b + 2]")
error("domain error in ffmap: m domain does not contain 2")
error("domain error in ffmap: m domain does not contain c^4 + c^2 + c")
error("incorrect type in ffextend (t_POL).")
? test(3,10,2,3)
error("domain error in ffcompomap: m domain does not contain codomain of [b,
 c^51 + c^49 + c^47 + 2*c^45 + c^43 + 2*c^42 + c^41 + 2*c^40 + c^39 + 2*c^38
 + 2*c^37 + c^35 + c^34 + 2*c^33 + c^32 + 2*c^31 + c^28 + 2*c^25 + 2*c^23 + 
2*c^21 + c^19 + 2*c^18 + 2*c^17 + c^16 + 2*c^15 + c^14 + 2*c^13 + 2*c^12 + c
^11 + c^10 + c^9 + 2*c^8 + c^7 + c^5 + c^3 + 1]")
error("domain error in ffcompomap: m domain does not contain codomain of [b,
 b^2 + (2*a^9 + 2*a^7 + 2*a^6)*b + (2*a^9 + 2*a^2)]")
error("domain error in ffmap: m domain does not contain b^19 + b^17 + b^16 +
 b^14 + b^12 + b^11 + 2*b^10 + 2*b^8 + b^7 + 2*b^6 + b^4 + b^2 + 2*b")
error("domain error in ffmap: m domain does not contain c^51 + c^49 + c^47 +
 2*c^45 + c^43 + 2*c^42 + c^41 + 2*c^40 + c^39 + 2*c^38 + 2*c^37 + c^35 + c^
34 + 2*c^33 + c^32 + 2*c^31 + c^28 + 2*c^25 + 2*c^23 + 2*c^21 + c^19 + 2*c^1
8 + 2*c^17 + c^16 + 2*c^15 + c^14 + 2*c^13 + 2*c^12 + c^11 + c^10 + c^9 + 2*
c^8 + c^7 + c^5 + c^3 + 1")
error("incorrect type in ffextend (t_POL).")
? test(nextprime(2^100),1,3,2)
error("domain error in ffcompomap: m domain does not contain codomain of [b,
 568210514509985430766932066568*c^5 + 227284205803994172306772826627*c^4 + 4
66744351204630889558551340395*c^3 + 82525812821688360182816323954*c^2 + 4153
34828463251255346305105801*c + 117700749434211267801721642361]")
error("domain error in ffcompomap: m domain does not contain codomain of [b,
 b^3 + b^2 + 1267650600228229401496703205649*b + 1]")
error("domain error in ffmap: m domain does not contain b^2 + 12676506002282
29401496703205652*b + 1")
error("domain error in ffmap: m domain does not contain 56821051450998543076
6932066568*c^5 + 227284205803994172306772826627*c^4 + 4667443512046308895585
51340395*c^3 + 82525812821688360182816323954*c^2 + 4153348284632512553463051
05801*c + 117700749434211267801721642361")
error("incorrect type in ffextend (t_POL).")
? test(nextprime(2^100),3,3,2)
error("domain error in ffcompomap: m domain does not contain codomain of [b,
 46484092795487340755616362656*c^17 + 1055644262063180547422327045544*c^16 +
 346641065720009000378954983294*c^15 + 639520333054888837052043648112*c^14 +
 957675960342270992241528178704*c^13 + 696402750970714831280062285793*c^12 +
 1102408057754003899068126760036*c^11 + 767540362444860636247634715531*c^10 
+ 1149362134291872086981828566611*c^9 + 430243837953824360545080751371*c^8 +
 789576238369354582328704492347*c^7 + 602440036890400798835137474014*c^6 + 5
80523431234345594424300815049*c^5 + 604254505049932046775583257110*c^4 + 105
6639807179138440960522156332*c^3 + 565071891011786154985459862809*c^2 + 2007
4844311373213928728633027*c + 370341892320446299776532835998]")
error("domain error in ffcompomap: m domain does not contain codomain of [b,
 b^3 + (1137416257572846559662200662715*a^2 + 503912325036190431090267314273
*a + 558673802978212002533596733572)*b^2 + (633503932536656128571933348442*a
^2 + 1136773522417929415309364153946*a + 168613510166980621382925613526)*b +
 (633503932536656128571933348442*a^2 + 1136773522417929415309364153946*a + 1
68613510166980621382925613525)]")
error("domain error in ffmap: m domain does not contain b^8 + b^7 + 12676506
00228229401496703205646*b^6 + 1267650600228229401496703205647*b^5 + 15*b^4 +
 10*b^3 + 1267650600228229401496703205643*b^2 + 1267650600228229401496703205
650*b + 4")
error("domain error in ffmap: m domain does not contain 46484092795487340755
616362656*c^17 + 1055644262063180547422327045544*c^16 + 34664106572000900037
8954983294*c^15 + 639520333054888837052043648112*c^14 + 95767596034227099224
1528178704*c^13 + 696402750970714831280062285793*c^12 + 11024080577540038990
68126760036*c^11 + 767540362444860636247634715531*c^10 + 1149362134291872086
981828566611*c^9 + 430243837953824360545080751371*c^8 + 78957623836935458232
8704492347*c^7 + 602440036890400798835137474014*c^6 + 5805234312343455944243
00815049*c^5 + 604254505049932046775583257110*c^4 + 105663980717913844096052
2156332*c^3 + 565071891011786154985459862809*c^2 + 2007484431137321392872863
3027*c + 370341892320446299776532835998")
error("incorrect type in ffextend (t_POL).")
? ffinit(1,1)
  ***   at top-level: ffinit(1,1)
  ***                 ^-----------
  *** ffinit: not a prime number in ffinit: 1.
? ffinit(4,2)
  ***   at top-level: ffinit(4,2)
  ***                 ^-----------
  *** ffinit: not a prime number in ffinit: 4.
? ffinit(2^64,2)
  ***   at top-level: ffinit(2^64,2)
  ***                 ^--------------
  *** ffinit: not a prime number in ffinit: 18446744073709551616.
? ffgen(x^2+x+Mod(1,3))
  ***   at top-level: ffgen(x^2+x+Mod(1,3))
  ***                 ^---------------------
  *** ffgen: not an irreducible polynomial in ffgen: x^2 + x + 1.
? ffembed(ffgen([3,5],'b),ffgen([3,6],'a));
  ***   at top-level: ffembed(ffgen([3,5],'b),ffgen([3,6],'a))
  ***                 ^----------------------------------------
  *** ffembed: domain error in ffembed: b is not a subfield of a
? a=ffgen(3^3,'a);ffinvmap(ffextend(a,x^2+x+a));
  ***   at top-level: a=ffgen(3^3,'a);ffinvmap(ffextend(a,x^2+x+a))
  ***                                 ^-----------------------------
  *** ffinvmap: incorrect type in ffinvmap (t_VEC).
? fforder(ffgen(8)*0)
  ***   at top-level: fforder(ffgen(8)*0)
  ***                 ^-------------------
  *** fforder: domain error in fforder: x = 0
? print("Total time spent: ",gettime);
Total time spent: 922
