Magma V2.19-8 Tue Aug 20 2013 16:18:05 on localhost [Seed = 3549581083] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2319 geometric_solution 5.71267112 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.464318978130 0.240053782091 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.836235545654 0.638562714839 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.978456812369 1.067131357842 5 2 4 1 3201 1230 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.978456812369 1.067131357842 6 2 3 6 0132 0132 1023 3201 0 0 0 0 0 -1 0 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.198158103558 0.585736259914 5 5 2 3 1302 2031 0132 2310 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.696228135549 0.930497831676 4 4 6 6 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.021671418998 0.749714112585 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 3620080403500677398478443416516464391355851202711655724703/17801831\ 0799015733272541280968105131855544135948198756736*c_0101_6^33 - 604650386013334988899504803316274325948224405901342833364505/178018\ 310799015733272541280968105131855544135948198756736*c_0101_6^31 + 9771473635572977187727403771904463990743327316474410088391605/89009\ 155399507866636270640484052565927772067974099378368*c_0101_6^29 - 231907350673486697120058383337032949566022979532667603025126397/178\ 018310799015733272541280968105131855544135948198756736*c_0101_6^27 + 31829818532035562273913872489705991612241566949240073720091483/4045\ 870699977630301648665476547843905807821271549971744*c_0101_6^25 - 4828693717003393241322338273501610124654646166870600739474469363/17\ 8018310799015733272541280968105131855544135948198756736*c_0101_6^23 + 5196802899776313494671628008639141045081168566746564427920591117/\ 89009155399507866636270640484052565927772067974099378368*c_0101_6^2\ 1 - 160788904866903978706108652694760836107486476551400006517429121\ 73/178018310799015733272541280968105131855544135948198756736*c_0101\ _6^19 + 19971068031023162356595453666205088602914210137410126280572\ 561087/178018310799015733272541280968105131855544135948198756736*c_\ 0101_6^17 - 1967992179307346588118930028275439559988852609146400172\ 6271368577/17801831079901573327254128096810513185554413594819875673\ 6*c_0101_6^15 + 143051081437756027597529940473769442629105741272952\ 08512933832661/1780183107990157332725412809681051318555441359481987\ 56736*c_0101_6^13 - 37766756584029882246847883479598439682474937920\ 07554454734027249/8900915539950786663627064048405256592777206797409\ 9378368*c_0101_6^11 + 488920943154471380280745621301590568051912069\ 55429774553287117/2781536106234620832383457515126642685242877124190\ 605574*c_0101_6^9 - 53390576011951731655808746759371395127178144137\ 3484144413780597/89009155399507866636270640484052565927772067974099\ 378368*c_0101_6^7 + 24358784555299975771137791995906727047571842347\ 9946506910830191/17801831079901573327254128096810513185554413594819\ 8756736*c_0101_6^5 - 1842876222789171797911247250606767337892203468\ 8371172827668051/17801831079901573327254128096810513185554413594819\ 8756736*c_0101_6^3 - 4989599510362814186715475601931114653181993289\ 19586757239917/4450457769975393331813532024202628296388603398704968\ 9184*c_0101_6, c_0011_0 - 1, c_0011_1 - 4901816174401855357396795094995628669229777272327765/5057338\ 37497203787706083184568480488225977658943746468*c_0101_6^32 + 818540831287633036733581612796800188452275203139585043/505733837497\ 203787706083184568480488225977658943746468*c_0101_6^30 - 13215100185547740161293769568286672794879749792459645463/2528669187\ 48601893853041592284240244112988829471873234*c_0101_6^28 + 313001995060023743090213616504337389918126519223129490067/505733837\ 497203787706083184568480488225977658943746468*c_0101_6^26 - 471238735673687824139981283709342891014012256841532172547/126433459\ 374300946926520796142120122056494414735936617*c_0101_6^24 + 6474791147354920914991778027210087269734932084563880572893/50573383\ 7497203787706083184568480488225977658943746468*c_0101_6^22 - 6940552078764626314907457569868996734226376493560736343569/25286691\ 8748601893853041592284240244112988829471873234*c_0101_6^20 + 21427722552588456868726949710429882490001345400879972823563/5057338\ 37497203787706083184568480488225977658943746468*c_0101_6^18 - 26593472039994238185938653957661485690049912467420003653429/5057338\ 37497203787706083184568480488225977658943746468*c_0101_6^16 + 26153081036458079124388004977358108026528195339955699995991/5057338\ 37497203787706083184568480488225977658943746468*c_0101_6^14 - 18980581081624829573135866985859512255445495829651700948103/5057338\ 37497203787706083184568480488225977658943746468*c_0101_6^12 + 5022412387579967521998925922687532765923278631674808240943/25286691\ 8748601893853041592284240244112988829471873234*c_0101_6^10 - 1042911773649413438423238783862329124929822229502559784081/12643345\ 9374300946926520796142120122056494414735936617*c_0101_6^8 + 711541984130232392321964972249734581463497158647953775821/252866918\ 748601893853041592284240244112988829471873234*c_0101_6^6 - 327076064529868134060880522824728449351053326955577521813/505733837\ 497203787706083184568480488225977658943746468*c_0101_6^4 + 25878230883934201358495300664436855456356800652036629241/5057338374\ 97203787706083184568480488225977658943746468*c_0101_6^2 + 596141615678390902577628506906153847368599573710197559/126433459374\ 300946926520796142120122056494414735936617, c_0011_3 - 13303348501580885272555981572868561951530590623989413/202293\ 5349988815150824332738273921952903910635774985872*c_0101_6^32 + 1115000410619411113679344971094983490220856212360971185/10114676749\ 94407575412166369136960976451955317887492936*c_0101_6^30 - 18286424515939660533513857653017496718612442469285422913/5057338374\ 97203787706083184568480488225977658943746468*c_0101_6^28 + 894345276412946739557285437033614583328822709886793203883/202293534\ 9988815150824332738273921952903910635774985872*c_0101_6^26 - 5626766878422757315434939704911056274112057066494561707693/20229353\ 49988815150824332738273921952903910635774985872*c_0101_6^24 + 2559525191547251625630142013738587621843379350245607591591/25286691\ 8748601893853041592284240244112988829471873234*c_0101_6^22 - 23409288559518544513487027519165789502163626295277947786467/1011467\ 674994407575412166369136960976451955317887492936*c_0101_6^20 + 75652967526212626028284570294267468483203059881318107415537/2022935\ 349988815150824332738273921952903910635774985872*c_0101_6^18 - 12092521013798845709555165076801824640016170658508420437907/2528669\ 18748601893853041592284240244112988829471873234*c_0101_6^16 + 99397209970994719012426790875872418743997114579687411301155/2022935\ 349988815150824332738273921952903910635774985872*c_0101_6^14 - 4773911562036026417452327065705503067276580340039228651274/12643345\ 9374300946926520796142120122056494414735936617*c_0101_6^12 + 21118094473889609586548992775831737847502162273238157207459/1011467\ 674994407575412166369136960976451955317887492936*c_0101_6^10 - 8961930835258985098290231405789789029213932669571886597649/10114676\ 74994407575412166369136960976451955317887492936*c_0101_6^8 + 1584521324185173819932160791700151525315796542173089202005/50573383\ 7497203787706083184568480488225977658943746468*c_0101_6^6 - 1577629129115936651265034248502993024760866544363960923777/20229353\ 49988815150824332738273921952903910635774985872*c_0101_6^4 + 36294283771471607194605258417068372568447844306328670341/5057338374\ 97203787706083184568480488225977658943746468*c_0101_6^2 + 808768286568120790337381522854393047439750607262848109/126433459374\ 300946926520796142120122056494414735936617, c_0011_5 + 10177078522561556633338618940514137786927669174684351/505733\ 837497203787706083184568480488225977658943746468*c_0101_6^32 - 1698983570194902586636922816784858343065819871065792973/50573383749\ 7203787706083184568480488225977658943746468*c_0101_6^30 + 27399159517331340946707795148909913226760960335526078879/2528669187\ 48601893853041592284240244112988829471873234*c_0101_6^28 - 647533083431476718491817976588357291619403718306411531809/505733837\ 497203787706083184568480488225977658943746468*c_0101_6^26 + 972280644004076408138103604978111240757375108314372629709/126433459\ 374300946926520796142120122056494414735936617*c_0101_6^24 - 13320553008041106620350679773843250517358917321112028258783/5057338\ 37497203787706083184568480488225977658943746468*c_0101_6^22 + 14253498583789930079245541114068240159406956043788358169355/2528669\ 18748601893853041592284240244112988829471873234*c_0101_6^20 - 44049181154081232131998493387147191609717250415154888524093/5057338\ 37497203787706083184568480488225977658943746468*c_0101_6^18 + 54714889804449332747008579639437734492844906003599515145439/5057338\ 37497203787706083184568480488225977658943746468*c_0101_6^16 - 53823786135111881213979695784441175900339966959865467825133/5057338\ 37497203787706083184568480488225977658943746468*c_0101_6^14 + 39200579928869272471449778160451706922572539357060526387201/5057338\ 37497203787706083184568480488225977658943746468*c_0101_6^12 - 10429161947105884402246965815065356614518371089021855358763/2528669\ 18748601893853041592284240244112988829471873234*c_0101_6^10 + 2170466677499350327966523926209410277215602433239904400790/12643345\ 9374300946926520796142120122056494414735936617*c_0101_6^8 - 1484682147058879542657640973957441488987805041226986878405/25286691\ 8748601893853041592284240244112988829471873234*c_0101_6^6 + 691530862534172238677685512201448687299407288044751794707/505733837\ 497203787706083184568480488225977658943746468*c_0101_6^4 - 56244591643786074883701586685922621055516294645233268931/5057338374\ 97203787706083184568480488225977658943746468*c_0101_6^2 - 1448627596792363167784718012548104325346907219232939985/12643345937\ 4300946926520796142120122056494414735936617, c_0101_0 - 78449462325406087094989213127837566902615455090761251/505733\ 837497203787706083184568480488225977658943746468*c_0101_6^33 + 13104373552973720088549349829750700486127210208772479043/5057338374\ 97203787706083184568480488225977658943746468*c_0101_6^31 - 105927751360643222829667553582491489297718275662786720849/126433459\ 374300946926520796142120122056494414735936617*c_0101_6^29 + 5032181852865435437343050013458362957315400411625904039301/50573383\ 7497203787706083184568480488225977658943746468*c_0101_6^27 - 15214692387749536145300360723237429158577365620859278987369/2528669\ 18748601893853041592284240244112988829471873234*c_0101_6^25 + 105127948595061214626649168820587026504246206965452098786047/505733\ 837497203787706083184568480488225977658943746468*c_0101_6^23 - 56735372000965783114901466634422300677638526017632527876684/1264334\ 59374300946926520796142120122056494414735936617*c_0101_6^21 + 352131371946949216934313204818385304791624790510122402024581/505733\ 837497203787706083184568480488225977658943746468*c_0101_6^19 - 438408597014463569508126541322184618764049871891892900158941/505733\ 837497203787706083184568480488225977658943746468*c_0101_6^17 + 433336910702205397001841640923640172455971420577798531730655/505733\ 837497203787706083184568480488225977658943746468*c_0101_6^15 - 316660252023496310572977425322959849440824835001651640829871/505733\ 837497203787706083184568480488225977658943746468*c_0101_6^13 + 42072845122058705594735381742371879173306037425541847950207/1264334\ 59374300946926520796142120122056494414735936617*c_0101_6^11 - 17504052353977507151960745282277591257692547408418537111359/1264334\ 59374300946926520796142120122056494414735936617*c_0101_6^9 + 11994982405608793212255441687037426990122509159984633276667/2528669\ 18748601893853041592284240244112988829471873234*c_0101_6^7 - 5556460717355856645962948163565695306603616246508843873879/50573383\ 7497203787706083184568480488225977658943746468*c_0101_6^5 + 445832014474221846325465955326026487957416280057794611053/505733837\ 497203787706083184568480488225977658943746468*c_0101_6^3 + 22685133680900908598157298581723859947448084967668371635/2528669187\ 48601893853041592284240244112988829471873234*c_0101_6, c_0101_3 + 3481179847827456325539244030054187735907023754809219/2022935\ 349988815150824332738273921952903910635774985872*c_0101_6^33 - 296325687464007461047453645076105393035219370809011337/101146767499\ 4407575412166369136960976451955317887492936*c_0101_6^31 + 5164198924744376782753628758209363403499938657628194109/50573383749\ 7203787706083184568480488225977658943746468*c_0101_6^29 - 282282961811836097498739268696611923441597864348496794781/202293534\ 9988815150824332738273921952903910635774985872*c_0101_6^27 + 2026316222210892986551582455686827363291881631557702418087/20229353\ 49988815150824332738273921952903910635774985872*c_0101_6^25 - 2135211988353476149169531555045853127031381842447886941183/50573383\ 7497203787706083184568480488225977658943746468*c_0101_6^23 + 11216673469071498378911212459326800514819950308521530276637/1011467\ 674994407575412166369136960976451955317887492936*c_0101_6^21 - 39623760452973509816399730671449395125305149303153709612943/2022935\ 349988815150824332738273921952903910635774985872*c_0101_6^19 + 13343270840732022366464148153979700527112594252867251098235/5057338\ 37497203787706083184568480488225977658943746468*c_0101_6^17 - 58592033267307521110743757724964895751410371394338701384709/2022935\ 349988815150824332738273921952903910635774985872*c_0101_6^15 + 12219145653517681942098192563550038387231485129422867265855/5057338\ 37497203787706083184568480488225977658943746468*c_0101_6^13 - 14294326028276443695788160926042112411237338104785908251917/1011467\ 674994407575412166369136960976451955317887492936*c_0101_6^11 + 6140997443299646549701440860897608300388941773308893648483/10114676\ 74994407575412166369136960976451955317887492936*c_0101_6^9 - 1119213508270603033002427015542440539437652201341547328425/50573383\ 7497203787706083184568480488225977658943746468*c_0101_6^7 + 1199746581456933366969835302628197424827694091344323580231/20229353\ 49988815150824332738273921952903910635774985872*c_0101_6^5 - 6527590022700540983595621947061966329066548961433382379/12643345937\ 4300946926520796142120122056494414735936617*c_0101_6^3 - 905809787463914842624901192065636245659063469939141948/126433459374\ 300946926520796142120122056494414735936617*c_0101_6, c_0101_6^34 - 167*c_0101_6^32 + 5394*c_0101_6^30 - 63915*c_0101_6^28 + 385100*c_0101_6^26 - 1322833*c_0101_6^24 + 2831442*c_0101_6^22 - 4351683*c_0101_6^20 + 5371337*c_0101_6^18 - 5249803*c_0101_6^16 + 3759867*c_0101_6^14 - 1937922*c_0101_6^12 + 780560*c_0101_6^10 - 258910*c_0101_6^8 + 54505*c_0101_6^6 - 1789*c_0101_6^4 - 896*c_0101_6^2 - 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB