-
Notifications
You must be signed in to change notification settings - Fork 1
/
parameters.py
88 lines (85 loc) · 7.89 KB
/
parameters.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
"""
(c) 2020 Sergey Grebnev, [email protected]
"""
params = {
#
# Starting curve is D. Koshelev's E_19
#
'toy_example': {'eA': 4, 'eB': 3, 'f': 1, 'A': [104, 0], 'C': [1, 0],
'xp2': [349, 381],
'xq2': [52, 255],
'xr2': [357, 351],
'xp3': [126, 111],
'xq3': [219, 199],
'xr3': [98, 14]
},
#
# Large-scale test
#
'forsythia80': {'eA': 137, 'eB': 84, 'f': 1,
'A': [1697515660496260333664277950769004218366836292978277269037599020171750501119102405,
0],
'C': [1, 0],
'xp2': [522422669065078842121178374075221380702967188678242626309221604145431102848928362,
247405703781105551606345687695260444799049769254304627035480764604919092477393513],
'xq2': [1935719375068975114132323850650997729213850194744870562688286399344274453352521538,
1392414880196036042209526661794485734467392457965531424718263704605987281571078758],
'xr2': [326730451538212787712878139069670336778338106785713016573865175340742213327321,
1537197473986856443425048184105212707493203641760886610280536355975232918588188578],
'xp3': [1242019673579151378282358573982204479435854333343353419255048183921055246579249581,
1666773317262840167533615209246360419786884541146535296789773358382685934474358259],
'xq3': [1870312412146385036113006824318063366443144427846925504122731796477963524345584993,
101381397618719655616512673486178812026799883731587251393744313522319210756895963],
'xr3': [1355940430959122699383977573426359021645384327366856460395952015098679236349062962,
2051183253123910664141141590855659995581465394826565067955000590109229293369149536]
},
'forsythia128': {'eA': 208, 'eB': 129, 'f': 5,
'A': [
17493471122392659065800712772515557709670529132138038021277127480141235217844132013314393031224679806017205814419946118575015,
0],
'C': [1, 0],
'xp2': [
22844706363854284894147775134188266748171037718525606388952092973941461889797810760893250673350348263076107008036776087419684,
63841253474393277610681807551511151174539169124225858012406716798726146657651778558584054371003621807894257918476250082064384],
'xq2': [
34044695409104666325981838619655510021087561353322719531337987530201536824741279043514521861509851315864518032563593765265552
,
7452959005574056344724828511102403135482654493550936362957164066447002781721529155722396704782067294511069235423691009394527],
'xr2': [
25778018728727103180300005328978349553036935310641789949646362225128100781829983091015333508539827341144722183109249620913758,
11413233635764865559824758198216090792700224793521820794264309602886357645919539783830031513188654959267247865901357493441175],
'xp3': [
25887208518686915305880592111505623667305562112885313561494547900787514982371722513125288743654421705575186856690481973538601,
63171582405850212153392615420754749458906109385443911908471795928875505646527631230543450128882144819167248880126972102946985],
'xq3': [
51246862455156643703989113914829868661496743069715159976618019431407888217702674106039330579553028268602859658895210237203430,
65722901043151396079631139580312716370936696398017584560491049904137092648979706025324108129233876087941727320577731828052182],
'xr3': [
22045120116694800531460819349229131207455760935946806579883662380096575369678802160807315412792756473501707424823553744928011,
54405859870116959587573379590518177683471769362657147132415860485392441225213187894762521827615463033582873359637289624803801]
},
'forsythia256': {'eA': 372, 'eB': 239, 'f': 7,
'A': [
19050032500236975951931278238128480632077445205188090822184044312147401018675525735727466316601557305179049693269373659397768054906005239733641763499719652314977061249270313147430408303992114668076300721615669341333544474198989,
0],
'C': [1, 0],
'xp2': [
8648656999382074677882240794219490136294573508989082676738321803637477519043906761753223659141414070664816386550270280741386082729961886233127307451529429063084258610965544577226750750289488816199136214318456251128376463980048,
64259192729767540044988004900715344680403427439806371405537387554704573479807422435593341560125754058712971509028070115393430863778694513525738589522690846702715429274722978225198350305167742784981248321647091822840582808540223],
'xq2': [
53501523226293957631970862411521594868713466034932694309199860164408691421048717187209607996423536417322403528985550354051501480855243223386075134440599647166504304481235398652687289493082001590271005101764031356575782932328906,
33218490671585754785409720204622789346462491511496327493042371634129496086039602877992959114682399077983713717293561674492624956280246225326181804893336430121172467706750924777145914299949501454584078546882106880478568927137358],
'xr2': [
63578463805033493977035391813557265773183923509136578678207606100524244536233585881455565666580881062704820411504868376298916610871818586658904401188430554724516019300287741743876179054573805211733323613552630545997636369911135,
17313461086175694529620258756883772641556292895403505091651172372578883684090009110305497457078529597324920653841158747171674251818041258020890845199615073302148611186056992863737544433429932165022312320588072002842822131999443],
'xp3': [
33190627654476499250234639691951313471749823150285615037577358104391349346475299006978219588606416232478137366794531485770362521083210423062316996630936815935373087665001464211015773704027905476728033372355315302774215019940776,
63370536204609180951516214953621631679788244247337994180401273610024747239414599500257876623466984121053032823756635373096754229351190570690640855137799753459284487577503577104311924756155741538282548392058944694049356385296001],
'xq3': [
21295494775850270670595139409399729544208880533224922372617906004236505415410987974996799573615123559721119003503288062616481512386870181369934724908926025173062751173373415656799665652154416425280733993598202319493017083711031,
59214868194571895751675388958748106440681296673158104592466426026898281865590720278534415784450263062999651576780290468018865127834538982527761149420167681852121447665356648415791205136179533411304772274464460777378609031256635],
'xr3': [
1977665277450798308783591388463890709212498105731482966859464074275991640339254053695335161555811422800199419609794877809095895599767925401315245995560142838967120746009962315049817240660511657464935038802941993415846674253257,
17804853544171387742729317249041963906429999566902286849387935919738191959955048404494727246506027949670277973889903357495774231109069228965437070978886833479443411555611732882388988452771062030000361228880289143748390453223638]
},
}