Magma V2.19-8 Tue Aug 20 2013 16:14:09 on localhost [Seed = 3970789578] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s111 geometric_solution 3.98134358 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 0 1 0 0132 2310 1023 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 -1 0 1 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.739008881176 0.049538231159 0 2 0 2 0132 0132 1023 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 1 -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.540558106569 0.152990382343 3 1 3 1 0132 0132 2310 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 -1 0 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.494800120984 2.363880661154 2 2 5 4 0132 3201 0132 0132 0 0 0 0 0 0 -1 1 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 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.450779844883 0.881660642103 5 5 3 5 1302 1023 0132 3012 0 0 0 0 0 1 -1 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 -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.475524646720 0.857208351568 4 4 4 3 1023 2031 1230 0132 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 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.475524646720 0.857208351568 ==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' : negation(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_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' : negation(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_5' : d['c_0110_4'], 'c_1100_4' : d['c_0110_4'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0110_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0110_4']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0110_4'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 4422879268180970282599888/35052275390676526247737*c_0110_4^16 + 24559327332597602610676786/35052275390676526247737*c_0110_4^15 + 170135096705569085024967626/35052275390676526247737*c_0110_4^14 - 1820874671337118231108612201/35052275390676526247737*c_0110_4^13 + 5804733110377836595658531686/35052275390676526247737*c_0110_4^12 - 4649317441461493124741638701/35052275390676526247737*c_0110_4^11 + 560193448842951072469098358/35052275390676526247737*c_0110_4^10 + 1154956339213495934550390592/35052275390676526247737*c_0110_4^9 - 5723854870215341610085362022/35052275390676526247737*c_0110_4^8 + 1111464969334279184149565613/35052275390676526247737*c_0110_4^7 + 1126457907150072859435790676/35052275390676526247737*c_0110_4^6 - 110722240868332011810577355/35052275390676526247737*c_0110_4^5 + 611924420868581384984179523/35052275390676526247737*c_0110_4^4 - 27387282350669348497209333/35052275390676526247737*c_0110_4^3 - 173981832047982310401250105/35052275390676526247737*c_0110_4^2 - 507964028509572948258311/35052275390676526247737*c_0110_4 + 9292977801751250414667259/35052275390676526247737, c_0011_0 - 1, c_0011_4 - 89787122617616262307729/35052275390676526247737*c_0110_4^16 + 477267279435284631059527/35052275390676526247737*c_0110_4^15 + 3582121047587111775551181/35052275390676526247737*c_0110_4^14 - 36205642163289591423870403/35052275390676526247737*c_0110_4^13 + 108713831956972210263372646/35052275390676526247737*c_0110_4^12 - 62144551522681319498637766/35052275390676526247737*c_0110_4^11 - 26156960914655302101389563/35052275390676526247737*c_0110_4^10 + 43781842749202028815049137/35052275390676526247737*c_0110_4^9 - 120149975404926164190006068/35052275390676526247737*c_0110_4^8 - 3189877493955666158387574/35052275390676526247737*c_0110_4^7 + 40324129917847994917492094/35052275390676526247737*c_0110_4^6 - 5043918279961011581894238/35052275390676526247737*c_0110_4^5 + 13123846473578566472584800/35052275390676526247737*c_0110_4^4 + 2075706819790150229078912/35052275390676526247737*c_0110_4^3 - 4938590337453572911495827/35052275390676526247737*c_0110_4^2 - 217196772020273178971408/35052275390676526247737*c_0110_4 + 288810138238787965696240/35052275390676526247737, c_0101_0 + 404397387242160731077405/35052275390676526247737*c_0110_4^16 - 2262424496151655006203452/35052275390676526247737*c_0110_4^15 - 15459388333209847166408822/35052275390676526247737*c_0110_4^14 + 167122216756688438656175979/35052275390676526247737*c_0110_4^13 - 537804668200884192214633900/35052275390676526247737*c_0110_4^12 + 448421998116553146898416297/35052275390676526247737*c_0110_4^11 - 72706212153633728835653646/35052275390676526247737*c_0110_4^10 - 100226383313019779455900617/35052275390676526247737*c_0110_4^9 + 526864998802723868489195895/35052275390676526247737*c_0110_4^8 - 124112665979042291062612217/35052275390676526247737*c_0110_4^7 - 94852313542320083429074043/35052275390676526247737*c_0110_4^6 + 13338362867041286989114178/35052275390676526247737*c_0110_4^5 - 56506817826231579958885820/35052275390676526247737*c_0110_4^4 + 5168635194332230396148270/35052275390676526247737*c_0110_4^3 + 15222846350601193690992345/35052275390676526247737*c_0110_4^2 - 517717087778641700520403/35052275390676526247737*c_0110_4 - 800546795093727376586497/35052275390676526247737, c_0101_1 + 245776869498276009987102/35052275390676526247737*c_0110_4^16 - 1380516666731399245391577/35052275390676526247737*c_0110_4^15 - 9355114328889692202504488/35052275390676526247737*c_0110_4^14 + 101724267831111647510451705/35052275390676526247737*c_0110_4^13 - 329487689840476378457790496/35052275390676526247737*c_0110_4^12 + 283933074834535509841246922/35052275390676526247737*c_0110_4^11 - 64175670001070192780263890/35052275390676526247737*c_0110_4^10 - 45336244107641189815535525/35052275390676526247737*c_0110_4^9 + 314225660111703089763364003/35052275390676526247737*c_0110_4^8 - 81302620227547039176919261/35052275390676526247737*c_0110_4^7 - 44330194380902267289806397/35052275390676526247737*c_0110_4^6 + 3743575469323951107620817/35052275390676526247737*c_0110_4^5 - 33426301738083117330000447/35052275390676526247737*c_0110_4^4 + 3463189877391808779528053/35052275390676526247737*c_0110_4^3 + 7932361342629776558070165/35052275390676526247737*c_0110_4^2 - 155146167526759361411786/35052275390676526247737*c_0110_4 - 397208820459638500945122/35052275390676526247737, c_0101_3 + 369323440212358575874078/35052275390676526247737*c_0110_4^16 - 2039220927605988251715738/35052275390676526247737*c_0110_4^15 - 14277526735106976232446645/35052275390676526247737*c_0110_4^14 + 151644465221778374325615266/35052275390676526247737*c_0110_4^13 - 479725828612715604611976800/35052275390676526247737*c_0110_4^12 + 370211984293593459115694372/35052275390676526247737*c_0110_4^11 - 24283132478014568029239033/35052275390676526247737*c_0110_4^10 - 110793418016537144861650752/35052275390676526247737*c_0110_4^9 + 482522790128870983950013604/35052275390676526247737*c_0110_4^8 - 79792184095527232014357639/35052275390676526247737*c_0110_4^7 - 104697811816430941117006309/35052275390676526247737*c_0110_4^6 + 12709002540369986540456070/35052275390676526247737*c_0110_4^5 - 52053387572763588391718620/35052275390676526247737*c_0110_4^4 + 1091954973116222152146692/35052275390676526247737*c_0110_4^3 + 15286327257253425430959737/35052275390676526247737*c_0110_4^2 - 1702228122192975517866/35052275390676526247737*c_0110_4 - 821132783286793062402478/35052275390676526247737, c_0110_4^17 - 6*c_0110_4^16 - 36*c_0110_4^15 + 429*c_0110_4^14 - 1496*c_0110_4^13 + 1631*c_0110_4^12 - 570*c_0110_4^11 - 241*c_0110_4^10 + 1436*c_0110_4^9 - 839*c_0110_4^8 - 160*c_0110_4^7 + 158*c_0110_4^6 - 156*c_0110_4^5 + 70*c_0110_4^4 + 38*c_0110_4^3 - 19*c_0110_4^2 - 2*c_0110_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB