Magma V2.19-8 Tue Aug 20 2013 16:17:21 on localhost [Seed = 2581071185] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1584 geometric_solution 5.35987192 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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.624423286398 0.126860874787 2 0 2 0 0132 2310 1023 0132 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 0 0 0 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.837581209843 0.185605779285 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.956771587311 0.524142806135 5 2 6 4 0132 0132 0132 1230 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 1 0 -1 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.993128194226 0.970697440828 3 6 2 5 3012 3201 0132 1023 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 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.993128194226 0.970697440828 3 5 5 4 0132 3201 2310 1023 0 0 0 0 0 -1 0 1 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 -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.021823513458 0.963621160802 6 6 4 3 1230 3012 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 -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.021823513458 0.963621160802 ==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' : 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_4'], 'c_1100_5' : negation(d['c_0011_1']), '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' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_6']), '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 819236603722135562537330383/9477633524040548139283704*c_0101_6^15 - 9017669097319977359783615/9477633524040548139283704*c_0101_6^14 + 2593639755592243637247480965/1579605587340091356547284*c_0101_6^13 + 73084612038671365255268331725/9477633524040548139283704*c_0101_6^12 + 7649122361236094123626438947/526535195780030452182428*c_0101_6^11 + 63684100535477381769090730565/3159211174680182713094568*c_0101_6^\ 10 + 14768622778209761235286490893/1579605587340091356547284*c_0101\ _6^9 - 210568694946584062477367325055/9477633524040548139283704*c_0\ 101_6^8 - 222358122961946160763429285685/2369408381010137034820926*\ c_0101_6^7 - 512984778060006846502767955439/94776335240405481392837\ 04*c_0101_6^6 - 192972730502211969077894356361/23694083810101370348\ 20926*c_0101_6^5 - 361685431884943728994540337425/31592111746801827\ 13094568*c_0101_6^4 - 42817947001038001287855891749/236940838101013\ 7034820926*c_0101_6^3 + 169199451231684697047288775607/947763352404\ 0548139283704*c_0101_6^2 + 94139056434638823756336388679/9477633524\ 040548139283704*c_0101_6 + 54347210251859152092266089415/9477633524\ 040548139283704, c_0011_0 - 1, c_0011_1 + 196811525499335853695837/6318422349360365426189136*c_0101_6^\ 15 - 168103106171812837706027/6318422349360365426189136*c_0101_6^14 - 603871072353072336754583/1053070391560060904364856*c_0101_6^13 - 14418406366999214302518943/6318422349360365426189136*c_0101_6^12 - 3340100301122051135435275/1053070391560060904364856*c_0101_6^11 - 8652875156488652576143375/2106140783120121808729712*c_0101_6^10 + 995328989999417637185257/1053070391560060904364856*c_0101_6^9 + 52284947116692514819247933/6318422349360365426189136*c_0101_6^8 + 42822935685921001852215637/1579605587340091356547284*c_0101_6^7 - 32602090123923641175814955/6318422349360365426189136*c_0101_6^6 + 45268918231960265514960169/1579605587340091356547284*c_0101_6^5 + 29195167514437725052097771/2106140783120121808729712*c_0101_6^4 - 16858997221577399759199041/1579605587340091356547284*c_0101_6^3 - 13818664848279799692901045/6318422349360365426189136*c_0101_6^2 - 17680604675898229657283485/6318422349360365426189136*c_0101_6 + 2858082051290293725258875/6318422349360365426189136, c_0011_4 + 170098549510223124381545/2106140783120121808729712*c_0011_6*\ c_0101_6^15 - 79614917809741050099795/2106140783120121808729712*c_0\ 011_6*c_0101_6^14 - 1585800951193863661832005/105307039156006090436\ 4856*c_0011_6*c_0101_6^13 - 13663929940111873144162755/210614078312\ 0121808729712*c_0011_6*c_0101_6^12 - 11218267964983309097757623/1053070391560060904364856*c_0011_6*c_010\ 1_6^11 - 30662723537532349864530789/2106140783120121808729712*c_001\ 1_6*c_0101_6^10 - 3353693726082592807535157/10530703915600609043648\ 56*c_0011_6*c_0101_6^9 + 42579102240412568354294537/210614078312012\ 1808729712*c_0011_6*c_0101_6^8 + 10165290708519601501335547/1316337\ 98945007613045607*c_0011_6*c_0101_6^7 + 33053201173829283226431245/2106140783120121808729712*c_0011_6*c_010\ 1_6^6 + 41221305078691611184549411/526535195780030452182428*c_0011_\ 6*c_0101_6^5 + 152589587220728448504108933/210614078312012180872971\ 2*c_0011_6*c_0101_6^4 - 757959029581476290953947/131633798945007613\ 045607*c_0011_6*c_0101_6^3 - 7221474859529859867093133/210614078312\ 0121808729712*c_0011_6*c_0101_6^2 - 10160723130489193205261905/2106140783120121808729712*c_0011_6*c_010\ 1_6 - 1944111197053299710755765/2106140783120121808729712*c_0011_6, c_0011_6^2 + 73444985711920360626641/2106140783120121808729712*c_0101_6\ ^15 - 54784023116001898512599/2106140783120121808729712*c_0101_6^14 - 676042432201181359154665/1053070391560060904364856*c_0101_6^13 - 5529747903171856957335099/2106140783120121808729712*c_0101_6^12 - 4093315424377207070507405/1053070391560060904364856*c_0101_6^11 - 11051288149574659358802273/2106140783120121808729712*c_0101_6^10 + 119648354380396120736863/1053070391560060904364856*c_0101_6^9 + 18419007576648236773982097/2106140783120121808729712*c_0101_6^8 + 16425694254187983703504749/526535195780030452182428*c_0101_6^7 - 3477598818786138424434455/2106140783120121808729712*c_0101_6^6 + 18330741526507837699785585/526535195780030452182428*c_0101_6^5 + 41931500826577061615788965/2106140783120121808729712*c_0101_6^4 - 3489189382155420240365305/526535195780030452182428*c_0101_6^3 - 4169435236618072776342793/2106140783120121808729712*c_0101_6^2 - 6436388368006554634674097/2106140783120121808729712*c_0101_6 - 78195785669256254125161/2106140783120121808729712, c_0101_0 + 9937399656445904431733/3159211174680182713094568*c_0101_6^15 - 47841970647921149113085/3159211174680182713094568*c_0101_6^14 - 24208063782612410387865/526535195780030452182428*c_0101_6^13 - 2300898913990826508247/3159211174680182713094568*c_0101_6^12 + 149350685846970302071993/263267597890015226091214*c_0101_6^11 + 769626796314044403112359/1053070391560060904364856*c_0101_6^10 + 787942924124643194288043/526535195780030452182428*c_0101_6^9 + 469033097436248291065973/3159211174680182713094568*c_0101_6^8 - 1086556027598549570869279/1579605587340091356547284*c_0101_6^7 - 34557242701839107442669029/3159211174680182713094568*c_0101_6^6 + 2534006241199821846488075/394901396835022839136821*c_0101_6^5 - 9623820232430403847908705/1053070391560060904364856*c_0101_6^4 - 9852378732163910165668777/1579605587340091356547284*c_0101_6^3 + 17464235651354751374697101/3159211174680182713094568*c_0101_6^2 + 3675011516033274300869351/3159211174680182713094568*c_0101_6 + 2368336654182090539343857/3159211174680182713094568, c_0101_1 + 31523386926325095653987/3159211174680182713094568*c_0101_6^1\ 5 - 23536808131456737532751/3159211174680182713094568*c_0101_6^14 - 95155434318067720107627/526535195780030452182428*c_0101_6^13 - 2381565713669618472156337/3159211174680182713094568*c_0101_6^12 - 153435957976424117693646/131633798945007613045607*c_0101_6^11 - 1806856344951317510228539/1053070391560060904364856*c_0101_6^10 - 140062622985540770856371/526535195780030452182428*c_0101_6^9 + 6605929703580355054389107/3159211174680182713094568*c_0101_6^8 + 14235668335616915631197669/1579605587340091356547284*c_0101_6^7 + 810728313591799563529873/3159211174680182713094568*c_0101_6^6 + 4944216546565359914270975/394901396835022839136821*c_0101_6^5 + 5225934325454095992121681/1053070391560060904364856*c_0101_6^4 + 1974608237759163526346111/1579605587340091356547284*c_0101_6^3 + 681461298281072985882167/3159211174680182713094568*c_0101_6^2 - 2570682832070073579227911/3159211174680182713094568*c_0101_6 + 1376160415312655512939955/3159211174680182713094568, c_0101_6^16 - 19*c_0101_6^14 - 89*c_0101_6^13 - 167*c_0101_6^12 - 231*c_0101_6^11 - 105*c_0101_6^10 + 259*c_0101_6^9 + 1083*c_0101_6^8 + 613*c_0101_6^7 + 931*c_0101_6^6 + 1313*c_0101_6^5 + 191*c_0101_6^4 - 213*c_0101_6^3 - 112*c_0101_6^2 - 64*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB