Magma V2.19-8 Tue Aug 20 2013 16:16:20 on localhost [Seed = 1814950025] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0601 geometric_solution 4.61125920 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 3201 0132 0 0 0 0 0 0 0 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 0 0 1 -1 1 0 0 -1 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.607585000913 0.615724644562 0 3 3 4 0132 0321 1302 0132 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 0 0 1 -1 -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 0.664187889613 0.622047077815 0 0 5 5 2310 0132 2310 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 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 2.255202023600 1.437428337247 1 4 0 1 2031 1023 0132 0321 0 0 0 0 0 -1 0 1 -1 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 0 0 -1 1 0 -1 0 1 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.664187889613 0.622047077815 3 6 1 6 1023 0132 0132 1023 0 0 0 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 0 0 0 0 0 0 1 -1 1 0 -1 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.770004889454 0.273384135229 5 2 2 5 3012 3201 0132 1230 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 0 0 0 0 0 0 0 -0.263315158511 0.131648686879 6 4 6 4 2031 0132 1302 1023 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 -1 1 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631653782834 0.103341257854 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : 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' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0110_4'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0110_4'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0110_4'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0110_4'], 'c_1010_0' : 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_3, c_0011_5, c_0101_0, c_0101_2, c_0110_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 186996390947741207058854411892838250308/532917188965305409640486683\ 91272055029*c_0110_6^25 - 2998732900513532969453701447214302940779/\ 53291718896530540964048668391272055029*c_0110_6^24 - 6668815202035623239651177165087864443029/53291718896530540964048668\ 391272055029*c_0110_6^23 + 1871076385995482877533383111537673416848\ 6/53291718896530540964048668391272055029*c_0110_6^22 + 62027836340485531582176588843615380726351/5329171889653054096404866\ 8391272055029*c_0110_6^21 + 337898570645804589681310411767894366543\ 9/53291718896530540964048668391272055029*c_0110_6^20 - 60905600127356763492585099457567331782018/5329171889653054096404866\ 8391272055029*c_0110_6^19 + 721325505138648426952686684250216617477\ 68/53291718896530540964048668391272055029*c_0110_6^18 + 141965843847206070470652040586821876817222/532917188965305409640486\ 68391272055029*c_0110_6^17 + 27296570656557912838907965668657932738\ 6035/53291718896530540964048668391272055029*c_0110_6^16 + 869328496756528019179710151238301875896863/532917188965305409640486\ 68391272055029*c_0110_6^15 + 14532891801234454098565305322766911311\ 98644/53291718896530540964048668391272055029*c_0110_6^14 + 1764554466058018961801480032487325856733941/53291718896530540964048\ 668391272055029*c_0110_6^13 + 1757726139987967855592194140045924137\ 998150/53291718896530540964048668391272055029*c_0110_6^12 + 1071934232962880479839013352071829907226944/53291718896530540964048\ 668391272055029*c_0110_6^11 - 3504572975851552481158863371306113063\ 15994/53291718896530540964048668391272055029*c_0110_6^10 - 1565974758420493813009571994078513019274926/53291718896530540964048\ 668391272055029*c_0110_6^9 - 10106796424799753124732194212482242957\ 79444/53291718896530540964048668391272055029*c_0110_6^8 + 543198291955846031418596184464859990939581/532917188965305409640486\ 68391272055029*c_0110_6^7 + 863715743697747246786248456654126099697\ 957/53291718896530540964048668391272055029*c_0110_6^6 + 29333140885208888531865307512136819545990/5329171889653054096404866\ 8391272055029*c_0110_6^5 - 3031119270847943786861945831080284789946\ 92/53291718896530540964048668391272055029*c_0110_6^4 - 22528332520238208140899222848942548283399/5329171889653054096404866\ 8391272055029*c_0110_6^3 + 4793059504846671502183704202505064337225\ 5/53291718896530540964048668391272055029*c_0110_6^2 - 4876111105326395319536842565840080593976/53291718896530540964048668\ 391272055029*c_0110_6 - 99292740496102549483865856423591506570/5329\ 1718896530540964048668391272055029, c_0011_0 - 1, c_0011_3 - 25302401265763135897897147245023098520/532917188965305409640\ 48668391272055029*c_0110_6^25 - 47900343132647171244446769597137343\ 3723/53291718896530540964048668391272055029*c_0110_6^24 - 2277374496285645779884430939059221132574/53291718896530540964048668\ 391272055029*c_0110_6^23 - 3838054905760572998317443168266849683535\ /53291718896530540964048668391272055029*c_0110_6^22 - 1615007209977523369643293497820241502313/53291718896530540964048668\ 391272055029*c_0110_6^21 - 2162249618213632320337603514594072416242\ /53291718896530540964048668391272055029*c_0110_6^20 - 13149671349814782877434025780999649152217/5329171889653054096404866\ 8391272055029*c_0110_6^19 - 267757239245026190062861026044448763025\ 55/53291718896530540964048668391272055029*c_0110_6^18 - 51796410987101811114408322572049245040704/5329171889653054096404866\ 8391272055029*c_0110_6^17 - 991317433450178436272506684224631011138\ 98/53291718896530540964048668391272055029*c_0110_6^16 - 141532958783087037368106174031276746543467/532917188965305409640486\ 68391272055029*c_0110_6^15 - 15926177304900222839111351182420286848\ 3751/53291718896530540964048668391272055029*c_0110_6^14 - 141736176147859450419554390727004898511664/532917188965305409640486\ 68391272055029*c_0110_6^13 - 74893142229235632676205479110926039290\ 776/53291718896530540964048668391272055029*c_0110_6^12 + 24055496447220866167404577996638139396572/5329171889653054096404866\ 8391272055029*c_0110_6^11 + 869559199627947664257643489974712821438\ 63/53291718896530540964048668391272055029*c_0110_6^10 + 50084361985432875415079176040250615993786/5329171889653054096404866\ 8391272055029*c_0110_6^9 - 2739257657320122508013051121854268537612\ 3/53291718896530540964048668391272055029*c_0110_6^8 - 40742295104932918149719223477479438102553/5329171889653054096404866\ 8391272055029*c_0110_6^7 - 2903880984207483691743024812486130270552\ /53291718896530540964048668391272055029*c_0110_6^6 + 11300228610176678190467812312593235855976/5329171889653054096404866\ 8391272055029*c_0110_6^5 + 223131363970701987411513672609791734664/\ 53291718896530540964048668391272055029*c_0110_6^4 - 1860854145612628453180459972539860219257/53291718896530540964048668\ 391272055029*c_0110_6^3 + 574912558585914579523669023700239759333/5\ 3291718896530540964048668391272055029*c_0110_6^2 + 118201014417369772787326654874522283025/532917188965305409640486683\ 91272055029*c_0110_6 - 85453399013024438701165794206418076408/53291\ 718896530540964048668391272055029, c_0011_5 - 7525493635276763533563086233317530517/5329171889653054096404\ 8668391272055029*c_0110_6^25 - 153806689105550228064462469988651639\ 633/53291718896530540964048668391272055029*c_0110_6^24 - 893060227477409996032424818211338804510/532917188965305409640486683\ 91272055029*c_0110_6^23 - 2176784905872237476534458345770846205909/\ 53291718896530540964048668391272055029*c_0110_6^22 - 2202044712703268274740602252229719425925/53291718896530540964048668\ 391272055029*c_0110_6^21 - 1123090480419057062471389371170113085358\ /53291718896530540964048668391272055029*c_0110_6^20 - 4363914253015723336163501327793833826658/53291718896530540964048668\ 391272055029*c_0110_6^19 - 1375679532908970827919977074839427193958\ 6/53291718896530540964048668391272055029*c_0110_6^18 - 27375343022891770527364867899049106955237/5329171889653054096404866\ 8391272055029*c_0110_6^17 - 514729053987156582909042347089004725550\ 38/53291718896530540964048668391272055029*c_0110_6^16 - 84365548641172310228711060225996452349946/5329171889653054096404866\ 8391272055029*c_0110_6^15 - 105892552266522569845194697513438870066\ 247/53291718896530540964048668391272055029*c_0110_6^14 - 102790182179532611816264486375308241195498/532917188965305409640486\ 68391272055029*c_0110_6^13 - 69464163540330699550677442859419633718\ 501/53291718896530540964048668391272055029*c_0110_6^12 - 6009712795298095287748767453256525376535/53291718896530540964048668\ 391272055029*c_0110_6^11 + 5696220942822387378182553690324549810551\ 6/53291718896530540964048668391272055029*c_0110_6^10 + 67692702252510133896108625707810667948712/5329171889653054096404866\ 8391272055029*c_0110_6^9 + 1546790760374015209108675076506249833833\ 1/53291718896530540964048668391272055029*c_0110_6^8 - 33510115182768244680741979807473128594523/5329171889653054096404866\ 8391272055029*c_0110_6^7 - 2575785121070414905420736374838957562665\ 6/53291718896530540964048668391272055029*c_0110_6^6 + 4212921252695376119703916120543752496916/53291718896530540964048668\ 391272055029*c_0110_6^5 + 9707963062485382511344299653544077619875/\ 53291718896530540964048668391272055029*c_0110_6^4 + 401765490602331959062375557696644584746/532917188965305409640486683\ 91272055029*c_0110_6^3 - 1519844978982464162907920309710408919618/5\ 3291718896530540964048668391272055029*c_0110_6^2 + 53469700834916026481685837861918792183/5329171889653054096404866839\ 1272055029*c_0110_6 + 55292546195644745314107332682606233425/532917\ 18896530540964048668391272055029, c_0101_0 + 10978788812644469884815425764597881550/532917188965305409640\ 48668391272055029*c_0110_6^25 + 20354253450959758502406487980489213\ 8789/53291718896530540964048668391272055029*c_0110_6^24 + 908009501526957486378102968021269472862/532917188965305409640486683\ 91272055029*c_0110_6^23 + 1300849549434046341814019584410079755293/\ 53291718896530540964048668391272055029*c_0110_6^22 + 144144695318324310683946184147756821020/532917188965305409640486683\ 91272055029*c_0110_6^21 + 783084005995025677294615831487725934042/5\ 3291718896530540964048668391272055029*c_0110_6^20 + 5321223429481995715961001340858931046115/53291718896530540964048668\ 391272055029*c_0110_6^19 + 9480133656073305337546930245569506103841\ /53291718896530540964048668391272055029*c_0110_6^18 + 18506148914297750198035961223192537853994/5329171889653054096404866\ 8391272055029*c_0110_6^17 + 351173862013976727754541447887366466856\ 53/53291718896530540964048668391272055029*c_0110_6^16 + 46387437874917830338926110745547137811507/5329171889653054096404866\ 8391272055029*c_0110_6^15 + 485120447805819683811363370604803364035\ 64/53291718896530540964048668391272055029*c_0110_6^14 + 38725780802017520703430394750432457406223/5329171889653054096404866\ 8391272055029*c_0110_6^13 + 127473213740787356760571976903518280493\ 15/53291718896530540964048668391272055029*c_0110_6^12 - 19818139823338962132688047235577220140814/5329171889653054096404866\ 8391272055029*c_0110_6^11 - 328365091670650228018700209054855409655\ 30/53291718896530540964048668391272055029*c_0110_6^10 - 9042085866463396645817254223174435452668/53291718896530540964048668\ 391272055029*c_0110_6^9 + 17639704951932636480713865507813282347583\ /53291718896530540964048668391272055029*c_0110_6^8 + 12972979386831835723139863604199238147475/5329171889653054096404866\ 8391272055029*c_0110_6^7 - 3724143238588762951534321012307217380951\ /53291718896530540964048668391272055029*c_0110_6^6 - 4747328522647256848867640635013665375268/53291718896530540964048668\ 391272055029*c_0110_6^5 + 1067682090421206892096669300896764018089/\ 53291718896530540964048668391272055029*c_0110_6^4 + 605851462354290280394887051078811969278/532917188965305409640486683\ 91272055029*c_0110_6^3 - 188883267834325751480653296532772072463/53\ 291718896530540964048668391272055029*c_0110_6^2 + 94474536530230434558135764000741593674/5329171889653054096404866839\ 1272055029*c_0110_6 + 8139831167398775490372478660106631359/5329171\ 8896530540964048668391272055029, c_0101_2 + 45237057694365005992018091381071748942/532917188965305409640\ 48668391272055029*c_0110_6^25 + 84592310493795793642158800174934803\ 9935/53291718896530540964048668391272055029*c_0110_6^24 + 3869891302114149204316369277262678335316/53291718896530540964048668\ 391272055029*c_0110_6^23 + 5849262723647469737046076307650756309877\ /53291718896530540964048668391272055029*c_0110_6^22 + 926431533054909307898682718110444455260/532917188965305409640486683\ 91272055029*c_0110_6^21 + 2412313888798747055153673375188556370933/\ 53291718896530540964048668391272055029*c_0110_6^20 + 21986070062563736476057423680533831709682/5329171889653054096404866\ 8391272055029*c_0110_6^19 + 419984519260036854551282291837580385365\ 02/53291718896530540964048668391272055029*c_0110_6^18 + 79496926830939446182711208662403641570844/5329171889653054096404866\ 8391272055029*c_0110_6^17 + 150622528475329721644946253482306123342\ 541/53291718896530540964048668391272055029*c_0110_6^16 + 201927180753745049767078280653366796491714/532917188965305409640486\ 68391272055029*c_0110_6^15 + 20687484445631822098199850066322046002\ 9406/53291718896530540964048668391272055029*c_0110_6^14 + 157342664465486180956724405240534043286551/532917188965305409640486\ 68391272055029*c_0110_6^13 + 38629011406860422395852171862846767519\ 223/53291718896530540964048668391272055029*c_0110_6^12 - 109343122261740148304350312885735813219022/532917188965305409640486\ 68391272055029*c_0110_6^11 - 16884109466470919752982482525781431049\ 2458/53291718896530540964048668391272055029*c_0110_6^10 - 55406980008248846346228474292018827220577/5329171889653054096404866\ 8391272055029*c_0110_6^9 + 8692965328269803045039112491642247176673\ 5/53291718896530540964048668391272055029*c_0110_6^8 + 79186223836955754847516937666145369806895/5329171889653054096404866\ 8391272055029*c_0110_6^7 - 1057049618910470437979633337068578157439\ 5/53291718896530540964048668391272055029*c_0110_6^6 - 31264164933103343162444719358648178414407/5329171889653054096404866\ 8391272055029*c_0110_6^5 - 1178408472121686482737649774687905242082\ /53291718896530540964048668391272055029*c_0110_6^4 + 4974226373307051974676576944055913504154/53291718896530540964048668\ 391272055029*c_0110_6^3 - 207955952963766348550549007319496722944/5\ 3291718896530540964048668391272055029*c_0110_6^2 - 195768677321360285663830653790726155874/532917188965305409640486683\ 91272055029*c_0110_6 + 38507913996678301753283788274103028793/53291\ 718896530540964048668391272055029, c_0110_4 + 12581419730090796397503619796359778813/532917188965305409640\ 48668391272055029*c_0110_6^25 + 25031687791807454059619335592860046\ 2188/53291718896530540964048668391272055029*c_0110_6^24 + 1361454908123264635343404758061290368207/53291718896530540964048668\ 391272055029*c_0110_6^23 + 2988302108078945774843448308405948898635\ /53291718896530540964048668391272055029*c_0110_6^22 + 2595713680976542807483167791220610058215/53291718896530540964048668\ 391272055029*c_0110_6^21 + 1801729125354532163834748399859377078857\ /53291718896530540964048668391272055029*c_0110_6^20 + 7581207293000377028804973786900925189297/53291718896530540964048668\ 391272055029*c_0110_6^19 + 1949929477463537842326908633067934214021\ 8/53291718896530540964048668391272055029*c_0110_6^18 + 38271770307917275867547744872588858707688/5329171889653054096404866\ 8391272055029*c_0110_6^17 + 737471077333470333277564576656778807810\ 32/53291718896530540964048668391272055029*c_0110_6^16 + 116939347880280318087018374127721982956551/532917188965305409640486\ 68391272055029*c_0110_6^15 + 14520372304944401422244766117182949286\ 7051/53291718896530540964048668391272055029*c_0110_6^14 + 144554972706801749278901035018558036546857/532917188965305409640486\ 68391272055029*c_0110_6^13 + 10238372602424015914930035457353976518\ 4209/53291718896530540964048668391272055029*c_0110_6^12 + 20997570625717074110795071125900217438059/5329171889653054096404866\ 8391272055029*c_0110_6^11 - 568629800129197917740079416367981398411\ 99/53291718896530540964048668391272055029*c_0110_6^10 - 67442604636780680608060745641452602618515/5329171889653054096404866\ 8391272055029*c_0110_6^9 - 1055952752808494017248994711403189559766\ 7/53291718896530540964048668391272055029*c_0110_6^8 + 33178134427619116572214202263023616979110/5329171889653054096404866\ 8391272055029*c_0110_6^7 + 2141457131762136156354149232181892636964\ 7/53291718896530540964048668391272055029*c_0110_6^6 - 3081880866698705487918701852415989831452/53291718896530540964048668\ 391272055029*c_0110_6^5 - 5300116402436327954639861161812054390136/\ 53291718896530540964048668391272055029*c_0110_6^4 + 22227691762582059916578069390207929126/5329171889653054096404866839\ 1272055029*c_0110_6^3 + 232226247903176609376929261964905745174/532\ 91718896530540964048668391272055029*c_0110_6^2 - 73930433038045227680247956277573745262/5329171889653054096404866839\ 1272055029*c_0110_6 + 52011166579862527312896168301288346529/532917\ 18896530540964048668391272055029, c_0110_6^26 + 19*c_0110_6^25 + 91*c_0110_6^24 + 152*c_0110_6^23 + 46*c_0110_6^22 + 41*c_0110_6^21 + 503*c_0110_6^20 + 1068*c_0110_6^19 + 1960*c_0110_6^18 + 3721*c_0110_6^17 + 5209*c_0110_6^16 + 5433*c_0110_6^15 + 4240*c_0110_6^14 + 1318*c_0110_6^13 - 2541*c_0110_6^12 - 4434*c_0110_6^11 - 1871*c_0110_6^10 + 2126*c_0110_6^9 + 2413*c_0110_6^8 - 99*c_0110_6^7 - 1031*c_0110_6^6 - 146*c_0110_6^5 + 232*c_0110_6^4 + 26*c_0110_6^3 - 27*c_0110_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB