(-y + 1)*x + (y^2 - 2*y - 1)
(-y + 1)*x + (y^2 - 2*y - 1)
(-y + 1)*x + (y^2 - 2*y - 1)
(-y + 1)*x + (y^2 - 2*y - 1)
x^4 - 16*x^2
x^4 - 16*x^2
x^2 - 4*x

[1 14/39]

[0     1]


[1 0.35897435897435897435897435897435897438]

[0                                        1]

[[5/3, 21/10]~, [1, 14/39; 0, 1]]
[0.025784835985469857086599615759958975735, 0.199915025473745745510054037511
86752336, 0.45186281535484114060969116665631585174, 429.32243732318594325679
365518007185765]~
-113

[1.0000000000000000000000000000000000000 0.E-38 0.E-38]

[0.E-38 1.0000000000000000000000000000000000000 0.E-38]

[0.E-38 0.E-38 1.0000000000000000000000000000000000000]

-x^2 + (-y - w)*x + (-y + (w^2 - w))
x - 1
x - 1.0000000000000000000000000000000000000
x + Mod(2, 3)
x - 1/2
x + (2 + O(3))
x^2 + 1
x^2 - x - 1
Mod(1, 3)*x^2 + Mod(1, 3)*x + Mod(1, 3)
Mod(1, 18446744073709551629)*x^2 + Mod(18446744073709551627, 184467440737095
51629)*x + Mod(1, 18446744073709551629)
1
x^6 - x^5 - 3*x^4 - 3*x^3 - 3*x^2 - x + 1
x^4 - 4*x^3 + 6*x^2 - 4*x + 1
x^4 - 4*x^3 + 6*x^2 - 4*x + 1
x^4 - 73786976294838206516*x^3 + 2041694201525630783657939720089299321846*x^
2 - 25108406941546723108427206932497066002105857518694949724756*x + 11579208
9237316195749980275248795307917777354730270819790751905975615430356881
Mod(1, 3)*x^4 + Mod(1, 3)*x^3 + Mod(1, 3)*x^2 + Mod(1, 3)*x
Mod(1, 18446744073709551629)*x^4 + Mod(18446744073709551600, 184467440737095
51629)*x^3 + Mod(46, 18446744073709551629)*x^2 + Mod(16, 1844674407370955162
9)*x

[1 0]

[0 1]

[;]

[1]


[0 0 0]

[0 0 0]

[0 0 0]


[Mod(0, 2) Mod(0, 2) Mod(0, 2)]

[Mod(0, 2) Mod(0, 2) Mod(0, 2)]

[Mod(0, 2) Mod(0, 2) Mod(0, 2)]

0
1
1
1
1
x^4 - 4*x^3 + 6*x^2 - 4*x + 2
x^2
x^2 - 2*x + 1
x^2 - 2*y*x + y^2
x^24 - 24*x^23 + 276*x^22 - 2024*x^21 + 10626*x^20 - 42504*x^19 + 134596*x^1
8 - 346104*x^17 + 735471*x^16 - 1307504*x^15 + 1961256*x^14 - 2496144*x^13 +
 2704156*x^12 - 2496144*x^11 + 1961256*x^10 - 1307504*x^9 + 735471*x^8 - 346
104*x^7 + 134596*x^6 - 42504*x^5 + 10626*x^4 - 2024*x^3 + 276*x^2 - 24*x + 1
x^2 - 2*x + 1
x^2 + Mod(1, 2)/(Mod(1, 2)*t^2)*x + ((Mod(1, 2)*t + Mod(1, 2))/(Mod(1, 2)*t^
3))
1
1
1
1
x^4 - 4*x^3 + 6*x^2 - 4*x + 2
x^2
x - 1
x - y
x - 1
x - 1
Mod(1, 2)*t^3*x^2 + Mod(1, 2)*t*x + (Mod(1, 2)*t + Mod(1, 2))
[;]
[[]~, [;]]

[1]

[[1]~, Mat(1)]

[0.70710678118654752440084436210484903928 0.E-38 0.E-38 0.E-38 0.70710678118
654752440084436210484903929 0.E-38 0.E-38]

[0.70710678118654752440084436210484903929 0.E-38 0.E-38 0.E-38 -0.7071067811
8654752440084436210484903928 0.E-38 0.E-38]

[0.E-38 0.24373122300633066954020736278503474656 -0.284812171319961831234040
73812497718628 0.67784741498352490114358571421871281082 0.E-38 0.63212803846
462776027075421087968215938 0.020350503356479583243493659815291893983]

[0.E-38 0.57385756295294759467755694788810816268 0.4865570688209816639818628
1360101902408 -0.18425448765779980591944184389341005418 0.E-38 0.17598382767
940412330824712618673699762 0.60747814149589431555675383978471662715]

[0.E-38 -0.23644978944819743622921280755431844857 0.282815343098973235602073
94246068309481 0.68125397523809954806495962606448347633 0.E-38 -0.5233640514
8845147873480556420966537210 0.35509163551060099493124554642463174683]

[0.E-38 0.74452870812417701778581883500764159239 -0.158892859897201912389621
36814785879288 0.14293376736318185715087666152760133974 0.E-38 -0.4994405999
8911713260188609335583592884 -0.38801944162955377827268775981921630952]

[0.E-38 -0.032420490779586029295675065702427588626 0.75954775138225604527819
804744624687755 0.14844569763980813033776324808689067747 0.E-38 0.2146927853
3353672775769032049908214393 -0.59490083873342111545880528620542395846]

[[0.E-38, -3.0867424721126069029068811406331146456 E-39, -1.1427466882966356
787440537512366342432 E-39, 2.2693545005306519341159955112025735075 E-39, 2.
0000000000000000000000000000000000000, 2.50000000000000000000000000000000000
00, 2.5000000000000000000000000000000000000]~, [0.70710678118654752440084436
210484903928, 0.E-38, 0.E-38, 0.E-38, 0.707106781186547524400844362104849039
29, 0.E-38, 0.E-38; 0.70710678118654752440084436210484903929, 0.E-38, 0.E-38
, 0.E-38, -0.70710678118654752440084436210484903928, 0.E-38, 0.E-38; 0.E-38,
 0.24373122300633066954020736278503474656, -0.284812171319961831234040738124
97718628, 0.67784741498352490114358571421871281082, 0.E-38, 0.63212803846462
776027075421087968215938, 0.020350503356479583243493659815291893983; 0.E-38,
 0.57385756295294759467755694788810816268, 0.4865570688209816639818628136010
1902408, -0.18425448765779980591944184389341005418, 0.E-38, 0.17598382767940
412330824712618673699762, 0.60747814149589431555675383978471662715; 0.E-38, 
-0.23644978944819743622921280755431844857, 0.2828153430989732356020739424606
8309481, 0.68125397523809954806495962606448347633, 0.E-38, -0.52336405148845
147873480556420966537210, 0.35509163551060099493124554642463174683; 0.E-38, 
0.74452870812417701778581883500764159239, -0.1588928598972019123896213681478
5879288, 0.14293376736318185715087666152760133974, 0.E-38, -0.49944059998911
713260188609335583592884, -0.38801944162955377827268775981921630952; 0.E-38,
 -0.032420490779586029295675065702427588626, 0.75954775138225604527819804744
624687755, 0.14844569763980813033776324808689067747, 0.E-38, 0.2146927853335
3672775769032049908214393, -0.59490083873342111545880528620542395846]]

[0.094247377762193110823572405894446819110 0.1007319779597465661840061702737
0826505 -0.13796838008981869099272360326078603959 0.194993074636186339533837
20407359667016 -0.27522271898194095574315490823181620856 0.38617091980744374
260336948522072070636 -0.52878630957763874247700837996424775674 0.6476283207
1729815428349355195312315376]

[-0.10882178928969198042785567455777466243 -0.116259829019504336645161834954
87266815 0.15900102463277054464665632731646012970 -0.22339955664906057708388
046975432400941 0.30786857735194148013221023380783069167 -0.3901727978820578
0056615333825748428218 0.30529491817843851256955368319244250026 0.7478167706
0191475552514472942688281961]

[0.14864767241019140314390370955655238429 0.15853826566217279199899358765867
120249 -0.21553827130184423833830446357901146946 0.2956515293984901502336085
4053093504941 -0.36732309203066635458019288577262250711 0.250220063544559156
85723782746140625324 0.77463706559500199287630149469514751653 0.145958888196
50902244968277200547896340]

[-0.20836942434367765354495379928158186619 -0.220722470192972771838213290584
56186766 0.29289931779648172913702226291407895325 -0.36203541623658169056969
850464786050190 0.23760016126641020610963463018920404239 0.77938866060189419
518245923528690081774 0.16449913947567352290562539148928205511 0.00660555663
67593717394750689706182518100]

[0.29311269821551284468605156340666800889 0.30199159016749032837546806561477
677755 -0.36079394521481966306467252709292749449 0.2345102225993577866319464
9222217670106 0.78047544541528484932007064793946338720 0.1688765514483696645
7325284882609782529 0.0075824989973347732698502576653284742318 7.34120692436
17626911895906327535194927 E-5]

[-0.40874691656100117214073288701980681899 -0.373847777666460341231624084522
51032351 0.23379620286291741370344659221846917553 0.780741106732999003151624
99600342745502 0.16995676864482051628193580745139458477 0.007819638546366871
2356314062791686639905 8.4644610562694015620551693596200336179 E-5 2.0307160
171909465650112069515723482575 E-7]

[0.54669721570318168483733648069363453752 0.24968260684711249931702042700872
169599 0.78085966032955569706540596275120518417 0.17022591404290783653133162
661579054145 0.0078785532858503322198934102971566544785 8.738852106526657370
2802308261684708781 E-5 2.3440098646058821590480529354923735286 E-7 1.402792
1134460678902341070026165839405 E-10]

[-0.60157656298724075146212329751181192466 0.7805007653330039911647689955662
1062820 0.16988790125523000704561514362887737473 0.0078922385706886901729850
888296874730012 8.8070604359810882602528939286099732678 E-5 2.42066018050937
77923217045368544976644 E-7 1.6196564620116883989531147963955877855 E-10 2.4
219107376156469122768726740568133345 E-14]

x^30 - 0.76516931571532443949977397460018697741*x^29 - 0.1073023603581493760
8734526925455561214*x^28 + 0.019457062241521787634276969284992617893*x^27 - 
0.31275367314185866456349716808080489485*x^26 + 0.22780195826554292132541327
312088864285*x^25 - 0.016193346168520792074795805806845803517*x^24 + 0.00355
25086801107690870149444990035091058*x^23 - 0.0636454763432968902234398339866
82291752*x^22 + 0.040324627302586751431502318425872942402*x^21 - 0.027342646
226471509522212232582336974893*x^20 + 0.026850469736486930978355865504127910
235*x^19 - 0.0026254132222286115118328660227464357649*x^18 - 0.0002275391252
8284814022789257758203208913*x^17 + 0.00016821803823439175193590331665685235
694*x^16 - 0.0020112520694333278505699057453120175166*x^15 + 0.0006447099710
8889332311642873461933780548*x^14 - 0.00037581999335954534509286659829661314
659*x^13 + 0.00019215028415136985280165854606938798620*x^12 + 4.676879321222
3338067823872655470453602 E-5*x^11 - 1.8671738292175717801594568814404467612
 E-5*x^10 + 6.8751870320490202943891939671979515391 E-6*x^9 - 2.789936446132
5364867088576623136852097 E-6*x^8 - 2.4568247268367038251402226383778614333 
E-6*x^7 - 9.1606728883384639895109722489861445877 E-8*x^6 + 7.01786353698582
98211825773057452554631 E-7*x^5 - 2.4854865076454988606280719185511336021 E-
7*x^4 + 8.8955438505235556907853087847010591359 E-8*x^3 + 9.1041350759191250
869609873161898997733 E-9*x^2 - 1.9360051774746636290650582547013488672 E-8*
x + 3.5251905160916583918731318966948840204 E-9
  ***   at top-level: charpoly(Mod('b,'b^2+Mod('a,'a^2+1)),'newvar)
  ***                 ^---------------------------------------------
  *** charpoly: incorrect priority in RgXQ_charpoly: variable newvar < a
  ***   at top-level: minpoly(Mod(y,x),'y)
  ***                 ^--------------------
  *** minpoly: incorrect priority in minpoly: variable x < y
Total time spent: 65
