Commit 5775d3c0 authored by GUILLEVIC Aurore's avatar GUILLEVIC Aurore

twice checked estimates for MNT6 up to 128

parent e489fcbb
......@@ -31,234 +31,345 @@ test_vector_MNT6 = [
50253671152694998821674152405431130940,
56254089356276649159967188298070667219,
126, 59, 2, "pbc-gen"),
#h = y^2 + y - 1 # [-1, 1, 1]
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 - 8261653936315654576*x^2 - 8261653936315654579*x - 1
(5384955105191589518,
41950339,
1,
14269379633715077198267749174418746951,
105925207508528130899607670808395788810,
127, 59, 2, "pbc-gen"),
#h = y^2 + y - 1 # [-1, 1, 1]
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 - 10769910210383179036*x^2 - 10769910210383179039*x - 1
(84830405333130581645,
17851507,
1,
17291537018279152219909231341390500685282,
28411823606395357878598331293444826296859,
135, 60, 2, "pbc-gen"),
135, 62, 2, "pbc-gen"),
#h = y^2 - 2 # [-2, 0, 1]
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 - 169660810666261163290*x^2 - 169660810666261163293*x - 1
(-95685896826187919745,
1430907,
1,
26895317857715578679027738558607491103464,
5722490769901213235432743342310912915609,
135, 60, 2, "pbc-gen"),
135, 62, 2, "pbc-gen"),
#h = y^2 - 2 # [-2, 0, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 + 191371793652375839490*x^2 + 191371793652375839487*x - 1
(203535690277711545611112,
8911723,
1,
87486397822101810019333484071193420959877665976,
7352135763369085840395146845416790295482248623,
157, 65, 2, "pbc-gen"),
#h = y^2 + y - 1 # [-1, 1, 1]
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 - 407071380555423091222224*x^2 - 407071380555423091222227*x - 1
(-395554295667128312395673,
62003,
3,
275491388596882387013356420427985788797141819487,
264499381458233901823520133231282838048012113411,
159, 65, 2, "pbc-gen"),
#h = y^2 + y - 1 # [-1, 1, 1]
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 + 791108591334256624791346*x^2 + 791108591334256624791343*x - 1
(-698641870279835749100775,
12574563,
1,
693579144839590083437956173338095110514012851907,
1113186713770535845182024882723119268637482702105,
161, 65, 2, "pbc-gen"),
161, 66, 2, "pbc-gen"),
#h = y^2 - 2 # [-2, 0, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 + 1397283740559671498201550*x^2 + 1397283740559671498201547*x - 1
(1265882309357691486190542,
1807467,
1,
68732498016021991452034604407934724145908487047,
709739394650607258710315264474117439627487895356,
163, 66, 2, "pbc-gen"),
#h = y^2 + y - 1 # [-1, 1, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 - 2531764618715382972381084*x^2 - 2531764618715382972381087*x - 1
(31171680203341980338330385,
3447443,
397,
1785327510947900482552187652325019165174909461925223,
364829632839857324630279416018569929146845903866978,
172, 68, 2, "pbc-gen"),
#h = y^2 - 2 # [-2, 0, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 - 62343360406683960676660770*x^2 - 62343360406683960676660773*x - 1
(216670820936602348867731950,
28894627,
1,
18462758699528012816979998940254106318496885954345599,
146867354524821723149921944411064246468403036232940301,
177, 0, 2, "pbc-gen"),
177, 70, 2, "pbc-gen"),
#h = y^2 + y - 3 # [-3, 1, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 - 433341641873204697735463900*x^2 - 433341641873204697735463903*x - 1
(-1696049984560259057160035704690,
1060147,
1,
6119357301529324572677646001310748191027966171423198595420549,
4079571534352883048451764000873832127351977447615465730280366,
203, 76, 2, "pbc-gen"),
203, 74, 2, "pbc-gen"),
#h = y^2 + 2*y - 2 # [-2, 2, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 + 3392099969120518114320071409380*x^2 + 3392099969120518114320071409377*x - 1
(-3794971059826772759023915964100,
9877443,
1,
28956182711090960262054727671930882962377748666787535160201021,
30982277402654298314678108596386269419213107978919521370263065,
206, 76, 2, "pbc-gen"),
206, 75, 2, "pbc-gen"),
#h = y^2 + 3*y - 2 # [-2, 3, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 + 7589942119653545518047831928200*x^2 + 7589942119653545518047831928197*x - 1
(1938349788736867434758349971322498,
496659,
1,
1001291722538363704181624300303631831863955713930548190241173345691,
6365233108291542798180780003520134461857454056154978744117245610571,
224, 77, 2, "pbc-gen"),
224, 76, 2, "pbc-gen"),
#h = y^2 + y - 1 # [-1, 1, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 - 3876699577473734869516699942644996*x^2 - 3876699577473734869516699942644999*x - 1
(-4982041728402861549215077902907203,
16460547,
1,
89718592443887796472772598505258012940727217280273009440523047691238,
50004124702336250680090729842086971657374474862459551794541422777346,
226, 77, 2, "pbc-gen"),
226, 76, 2, "pbc-gen"),
#h = y^2 + y - 1 # [-1, 1, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 + 9964083456805723098430155805814406*x^2 + 9964083456805723098430155805814403*x - 1
(44172322254557522724268179895949940,
34794363,
1,
1550190191104238488281835887525637158371273507766647846278627136712445,
3635052198550129375383777110286378493863816384763718351712171405813097,
233, 78, 2, "pbc-gen"),
233, 79, 2, "pbc-gen"),
#h = y^2 + y - 3 # [-3, 1, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 - 88344644509115045448536359791899880*x^2 - 88344644509115045448536359791899883*x - 1
(-33582045857890190310635473845604505650,
205483,
4759,
3463067170966756706392655288477918155704635246117569327991670543731974738108,
2947864615072379388169510667516368539858010021521055247698481966791293793516,
252, 81, 2, "pbc-gen"),
252, 82, 2, "pbc-gen"),
#h = y^2 + 2*y - 2 # [-2, 2, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 + 67164091715780380621270947691209011300*x^2 + 67164091715780380621270947691209011297*x - 1
(769507362289368771813661511702821940285,
15496387,
1,
1356151359510816506978920157347142807587424212107321026255289748137982849840861,
1937049716128933686036836421589069057743144221412608058158254179306909658357138,
261, 82, 2, "pbc-gen"),
261, 83, 2, "pbc-gen"),
#h = y^2 - 2 # [-2, 0, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 - 1539014724578737543627323023405643880570*x^2 - 1539014724578737543627323023405643880573*x - 1
(1470532125847643239607608435529808709560,
17960923,
1,
2200240809128417052244224986842961428074012087400313073630140205523953014534369,
7233399827818914980116470682928992128228425957388686146929265592817655170739180,
263, 82, 2, "pbc-gen"),
263, 83, 2, "pbc-gen"),
#h = y^2 + y - 3 # [-3, 1, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 - 2941064251695286479215216871059617419120*x^2 - 2941064251695286479215216871059617419123*x - 1
(6554113386296748402746423835995870738365160,
41614147,
1,
129688406782442456392861097298254976480388913411711542546440290312204754734017583703743,
143734140895540611399930026023893402799912230017705232607400203198415395104691058236629,
287, 85, 2, "pbc-gen"),
287, 87, 2, "pbc-gen"),
#h = y^2 + y - 3 # [-3, 1, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 - 13108226772593496805492847671991741476730320*x^2 - 13108226772593496805492847671991741476730323*x - 1
(158645192594517746727586883448300666448177452,
1695003,
1,
27669705526614691968139953624492016467343665111432948117070075149574430992856261082078843,
34295329458190029154715469752209040346628189450039988945813326934013552946845885677600232,
296, 86, 2, "pbc-gen"),
#h = y^2 + y - 1 # [-1, 1, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 - 317290385189035493455173766896601332896354904*x^2 - 317290385189035493455173766896601332896354907*x - 1
(480046030089227734515719018222515898622111108,
6555651,
1,
344913826828279963189638889957666721181035530007506831123626351738433672740334413488106409,
809913666555802071886625625938006015687162068454000907573583491376786554105959213882413536,
299, 86, 2, "pbc-gen"),
299, 87, 2, "pbc-gen"),
#h = y^2 + y - 1 # [-1, 1, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 - 960092060178455469031438036445031797244222216*x^2 - 960092060178455469031438036445031797244222219*x - 1
(6977132794998645463332845764032208509272432427,
12121323,
1,
161855685245256421343458700392139897337891468615488433621100326790800786801339059904551484306,
107903790163504280895639133594759931558594312410325622414066884527200524534226039936367656204,
307, 87, 2, "pbc-gen"),
307, 88, 2, "pbc-gen"),
#h = y^2 + y - 1 # [-1, 1, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 - 13954265589997290926665691528064417018544864854*x^2 - 13954265589997290926665691528064417018544864857*x - 1
(-51343031645863160670206429888523767956769471527,
1475251,
1,
8383532933974588579598460259981999961283873269029210608422616614805013421542415476525180428922,
2074212757865584416750971742334012648456023576444500118610858222202256861099762232276968670309,
313, 88, 2, "pbc-gen"),
313, 89, 2, "pbc-gen"),
#h = y^2 + y - 1 # [-1, 1, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 + 102686063291726321340412859777047535913538943054*x^2 + 102686063291726321340412859777047535913538943051*x - 1
(126948280472262180701916209045034599134047677034651904812,
1535827,
1,
40119871608866861131938790126663781553237970057935494866984545137625196170443175393341510563847914926529111677459,
29806564155509859240707992832846036769431367803529725208534913007073103085509314622717729618536888310774798433481,
375, 96, 2, "pbc-gen"),
375, 97, 2, "pbc-gen"),
#h = y^2 + y - 1 # [-1, 1, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 - 253896560944524361403832418090069198268095354069303809624*x^2 - 253896560944524361403832418090069198268095354069303809627*x - 1
(-8025709127804452848309461305928934644002043364033586948900692,
238859,
14741701,
199333051087479284390310607543734347167330609232582339340725634243446394020825667400406337589711054290971909632338642944305,
101138665743848093542093258651879895907281554364695051584885636008878664616361302779557583229705621245195937427968469643548,
407, 100, 2, "pbc-gen"),
#h = y^2 + y - 1 # [-1, 1, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 + 16051418255608905696618922611857869288004086728067173897801384*x^2 + 16051418255608905696618922611857869288004086728067173897801381*x - 1
(-251156483704431166695283450971208597684962467000019526749443348183,
140963,
152841,
159902275132940081457184049640683899479963011171624085073919555882147588022612549211390136361416667944871596003884839966819474017540,
223217755522420122018410711053093773481994452651483007007530048303638320461648967189068699215763941434125137501550701966504679084089,
437, 104, 2, "pbc-gen"),
#h = y^2 + y - 1 # [-1, 1, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 + 502312967408862333390566901942417195369924934000039053498886696366*x^2 + 502312967408862333390566901942417195369924934000039053498886696363*x - 1
(-59670725154939196496491748381173013335188744950057731410437987360338,
27397843,
1,
13304046632846426264909921077227792900177175878861480402121692314255920146701696098563628502772768514001331631846703564043958272791659064,
13278938310981185302323236269577620745034514951730956927763355445693455734799149734035535352080894245262051292039114891116117689479462231,
453, 106, 2, "pbc-gen"),
#h = y^2 + y - 1 # [-1, 1, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 + 119341450309878392992983496762346026670377489900115462820875974720676*x^2 + 119341450309878392992983496762346026670377489900115462820875974720673*x - 1
(2307177965601185668651770657847671985209080909347060730029059618801653,
15411979,
1,
6976277467254292089485043588042554838044752714669217094664533894193489923570158929191207554617346394512599489892967355352076499135063643350,
14563805997821692384972962447224144854697019970271045525044360003115155448550771236529403209394601225208976724319017768412707067093063224992,
463, 107, 2, "pbc-gen"),
#h = y^2 + y - 1 # [-1, 1, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 - 4614355931202371337303541315695343970418161818694121460058119237603306*x^2 - 4614355931202371337303541315695343970418161818694121460058119237603309*x - 1
(-74798719073557471512470182760409281390525778719818598323229458790351962,
2212219,
392551,
10649481944411329995718048035290337492212078484081842552296903203702329150169134252133231723739625511705130629077426118391657767062460458023928,
7679967284835623494256065416078656341767810085706959133892559209733566843765225178977916664149044523681802854691703084781259440585787237919577,
473, 109, 2, "pbc-gen"),
473, 108, 2, "pbc-gen"),
#h = y^2 + y - 1 # [-1, 1, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 + 149597438147114943024940365520818562781051557439637196646458917580703924*x^2 + 149597438147114943024940365520818562781051557439637196646458917580703921*x - 1
(-5974503207739722790978777156984703363304476092620978103612538443570715883,
873867,
16462302129913,
7455736614208708531282146515009352756585082672549322637958302876078097833036371245935693115752364931774143715213682800514000085091666144445178837,
52563409181862121985567536868913351207958784857865849001719902665956954933558134079888818396090808878219831522379486143818206702143906705774745477,
486, 110, 2, "pbc-gen"),
486, 109, 2, "pbc-gen"),
#h = y^2 + y - 1 # [-1, 1, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 + 11949006415479445581957554313969406726608952185241956207225076887141431766*x^2 + 11949006415479445581957554313969406726608952185241956207225076887141431763*x - 1
(19801723793915224557488658547896543796816525175161217410800405299152494174447,
1974603,
1,
846878956943018380330535397829909231928159479216046479807128588378420453919357684913041290214423151670825502920155584160975576446320713831817046154255169,
564585971295345586887023598553272821285439652810697653204752392252280302612905123275360860142948767780550335280103722773983717630880475887878030769503446,
509, 112, 2, "pbc-gen"),
(-35768591194869186941534158154361756461333828736541516716136444467760394790939096193,
6347203,
1,
944089375266774592325855804196968329766550097562372031305029083618147349335826651885100886010867505462521576435470135824430891889001521065309464349141626243075761766,
2335249071598747768753973803277909464873914335476547634814508256626298316631925299168846274428405026080477090048568680193715679075840543954364362989846378294993298843,
551, 117, 2, "pbc-gen"),
#h = y^2 + y - 1 # [-1, 1, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 - 39603447587830449114977317095793087593633050350322434821600810598304988348894*x^2 - 39603447587830449114977317095793087593633050350322434821600810598304988348897*x - 1
(-1424774400921006686022749694913000498361384809489377751748089675771720653824978,
311387,
201,
6754837010213324928674528659776898053069847268354311221510560838989737197820819992346553657148622538692883002591137645146015719793475616881164566742892109996,
3491481923599098678314617433864903287771390746576342891782644514415367345892276168000238217736270904591221306170265065665196724998648214603211908363816242983,
522, 114, 2, "pbc-gen"),
#h = y^2 + y - 1 # [-1, 1, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 + 2849548801842013372045499389826000996722769618978755503496179351543441307649956*x^2 + 2849548801842013372045499389826000996722769618978755503496179351543441307649953*x - 1
(-35768591194869186941534158154361756461333828736541516716136444467760394790939096193,
6347203,
1,
944089375266774592325855804196968329766550097562372031305029083618147349335826651885100886010867505462521576435470135824430891889001521065309464349141626243075761766,
2335249071598747768753973803277909464873914335476547634814508256626298316631925299168846274428405026080477090048568680193715679075840543954364362989846378294993298843,
551, 117, 2, "pbc-gen"),
#h = y^2 + y - 1 # [-1, 1, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 + 71537182389738373883068316308723512922667657473083033432272888935520789581878192386*x^2 + 71537182389738373883068316308723512922667657473083033432272888935520789581878192383*x - 1
(486230838031222546864657834100679061837351255196961808538929035714439351105469602520,
2257627,
1,
250324500334784123704077084873739581409556150149173018383957359885462450232297600936205354337910079019508456090157206577351410169389695738143084438098469325439300297781,
166883000223189415802718056582493054273037433432782012255971573256974966821531733957470236225273386013005637393438137718234273446259797158762056292065646216959533531854,
559, 118, 2, "pbc-gen"),
#h = y^2 + y - 3 # [-3, 1, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 - 972461676062445093729315668201358123674702510393923617077858071428878702210939205040*x^2 - 972461676062445093729315668201358123674702510393923617077858071428878702210939205043*x - 1
(2886912940369866022292186380843115903708500321279708516598849616859443812779293102627,
19353667,
1,
16675127231309393023258849286237665199277700080480177474240687306528140999805626099922841299723457784431057394911059711001553648489980531210327647032402803626579466936016,
4396387172947866465788161569426216202279276423464658572967580282324469997854909062889582467486966678476441309074783842249957239690294263066835827721965017698372222505,
564, 117, 2, "pbc-gen"),
564, 118, 2, "pbc-gen"),
#h = y^2 + y - 1 # [-1, 1, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 - 5773825880739732044584372761686231807417000642559417033197699233718887625558586205254*x^2 - 5773825880739732044584372761686231807417000642559417033197699233718887625558586205257*x - 1
(-13862638983406696462899471167969043605027491665809224078777415458211270435701652380982758,
10128667,
1,
377449499234591034717048861366399596117930992255032707880435046573390940709629592795652055354895200162067001236358613459193817351863815955194951824872477559416543870631505937313,
302458529991795832793004377314714570066637007401476665386210381570624387218637557095347199089928933573231609349981352106821930039240031907045895301715720292978217886807872167172,
588, 120, 2, "pbc-gen"),
#h = y^2 + y - 1 # [-1, 1, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 + 27725277966813392925798942335938087210054983331618448157554830916422540871403304761965516*x^2 + 27725277966813392925798942335938087210054983331618448157554830916422540871403304761965513*x - 1
(-286258941193034280651468854457961837519830319300970683963753653791624491536474911440626003,
7701427,
1,
298537489125849573952119684128328983837116250748680937673619684362907636188761913680889313692344325976340717233340111700577121871847119261942936500263465978607285419501644342624467,
199024992750566382634746456085552655891410833832453958449079789575271757459174609120592875794896217317560478155560074467051414581231412841295291000175643985738190279667762895082978,
597, 121, 2, "pbc-gen"),
#h = y^2 + y - 1 # [-1, 1, 1] class number Kh = 1
#f = x^6 - 5*x^4 + 10*x^2 + 6*x + 1
#g = x^3 + 572517882386068561302937708915923675039660638601941367927507307583248983072949822881252006*x^2 + 572517882386068561302937708915923675039660638601941367927507307583248983072949822881252003*x - 1
(873723667900031396506414143162332159382674816702805606206979732381600254701804231398281169537138620,
8317003,
1,
209307816050232262803672282154940341360062431838092388077917610639183322072827259682607127795420474686833003315766797546568469776750651773087882545447646552119008299040167030969895802846139484415144,
2319663192174958547181026340141410918530227127674793888869119262391240421488942353013995765010333162065568990954578077256489549792305772041454141172011940607053889955897003759289947924385489341215143,
660, 128, 2, "pbc-gen"),
660, 128, 2, "pbc-gen"), # 37
(-357143138848442331899588578345206703917170203370177236192539388344839484685919381530533342400476454842,
594739,
135683527,
22721229752435563356977057805825075078899595798779621514210544919447122905378322391326692750763158036410598986064209241072948932271562541289456806816130088541998601518466620700472601122072867654206322035,
436991162316614527578277530502951962733848690697491522332105244240431070726832359187203654983508381340464254972858965498992157448609883010700435563146217763445451133246202894779374351911958645241201949522,
677, 128, 2, "pbc-gen"),
677, 128, 2, "pbc-gen"), # 38
(-99356217616119993319028359973307303573636073178742571214898170675094051002488663812679865703994666062730581548225343,
4329347,
1,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment