Magma V2.19-8 Tue Aug 20 2013 16:17:13 on localhost [Seed = 762098160] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1452 geometric_solution 5.27117760 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.708680347528 0.306587203404 0 2 2 0 3201 0132 1023 0132 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 1 -1 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 1.097862362952 0.806177955269 3 1 1 4 0132 0132 1023 0132 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 1 0 -1 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.311614162402 0.207622982655 2 5 6 4 0132 0132 0132 0321 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 -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 1.037349920396 0.980226092023 6 3 2 5 0132 0321 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1.037349920396 0.980226092023 5 3 5 4 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.496398249317 0.916936389217 4 6 6 3 0132 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 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.173340192914 0.649243534463 ==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' : negation(d['1']), 's_3_2' : negation(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' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : negation(d['c_0011_0']), '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' : negation(d['c_0011_4']), '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_0101_5']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_6'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0011_4']), '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_0101_0, c_0101_3, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 575038938073289217506137547577361/73632621014407857525009513270496*\ c_0101_6^15 + 108995651123658559335099595627847/2301019406700245547\ 656547289703*c_0101_6^14 + 34178898010300232068076358984488459/7363\ 2621014407857525009513270496*c_0101_6^13 + 24458582095921743490392487864492289/1840815525360196438125237831762\ 4*c_0101_6^12 + 4296986761218760063999313101858203/1037079169217012\ 077817035398176*c_0101_6^11 + 46356021000303961059182433216343913/7\ 3632621014407857525009513270496*c_0101_6^10 + 85074448065621614521241518599926387/7363262101440785752500951327049\ 6*c_0101_6^9 - 277073424058660243174820710636739537/736326210144078\ 57525009513270496*c_0101_6^8 - 344297850318442074896831114237202057\ /73632621014407857525009513270496*c_0101_6^7 + 61195687498937392161747858957366243/3681631050720392876250475663524\ 8*c_0101_6^6 - 219375597535495917030269563136133019/368163105072039\ 28762504756635248*c_0101_6^5 + 13899768915269380272504956483549367/\ 73632621014407857525009513270496*c_0101_6^4 + 24336589016929489777509727678166639/7363262101440785752500951327049\ 6*c_0101_6^3 - 28417195108120149949393571912008193/3681631050720392\ 8762504756635248*c_0101_6^2 + 43964506336700049122563606985356529/7\ 3632621014407857525009513270496*c_0101_6 - 1607747348296405519543544881065275/73632621014407857525009513270496\ , c_0011_0 - 1, c_0011_1 - 67495588920309886499286619/790456683854429937360545273*c_010\ 1_6^15 - 411774756730774647035295241/790456683854429937360545273*c_\ 0101_6^14 - 4028737610343656715176813708/79045668385442993736054527\ 3*c_0101_6^13 - 11641824873754245238251474113/790456683854429937360\ 545273*c_0101_6^12 - 36374242705361283516485226185/7904566838544299\ 37360545273*c_0101_6^11 - 7226879874417896250616802649/790456683854\ 429937360545273*c_0101_6^10 - 11806121178228727775415032484/7904566\ 83854429937360545273*c_0101_6^9 + 31097465583593256697805657920/790\ 456683854429937360545273*c_0101_6^8 + 40899656637170079821683694161/790456683854429937360545273*c_0101_6^\ 7 - 11213894927054797784327151242/790456683854429937360545273*c_010\ 1_6^6 + 53467965984170459524951536847/790456683854429937360545273*c\ _0101_6^5 + 1200054024742090116257449887/79045668385442993736054527\ 3*c_0101_6^4 - 1883005150957511977127680828/79045668385442993736054\ 5273*c_0101_6^3 + 7015532641188793572893987980/79045668385442993736\ 0545273*c_0101_6^2 - 4490566316873222199765240314/79045668385442993\ 7360545273*c_0101_6 - 81812325327452164846050948/790456683854429937\ 360545273, c_0011_4 - 24402497921908821351634659/790456683854429937360545273*c_010\ 1_6^15 - 159623898379728036647430411/790456683854429937360545273*c_\ 0101_6^14 - 1517146090157232127883338171/79045668385442993736054527\ 3*c_0101_6^13 - 4817499645486474476929475870/7904566838544299373605\ 45273*c_0101_6^12 - 14691196089013929695088352976/79045668385442993\ 7360545273*c_0101_6^11 - 7391137277320638287548922536/7904566838544\ 29937360545273*c_0101_6^10 - 2323880289742089540685027882/790456683\ 854429937360545273*c_0101_6^9 + 11069488851564644649694653075/79045\ 6683854429937360545273*c_0101_6^8 + 20090325151682669869432872576/790456683854429937360545273*c_0101_6^\ 7 - 675642526592383343066616347/790456683854429937360545273*c_0101_\ 6^6 + 13286934089433704495715952223/790456683854429937360545273*c_0\ 101_6^5 + 8588045392514459275277829421/790456683854429937360545273*\ c_0101_6^4 - 1964998577636635650378046202/7904566838544299373605452\ 73*c_0101_6^3 + 895759956873713779288785762/79045668385442993736054\ 5273*c_0101_6^2 - 539526203863809945842894464/790456683854429937360\ 545273*c_0101_6 - 386664144151472269988134867/790456683854429937360\ 545273, c_0101_0 + 6103402333026293257843077/790456683854429937360545273*c_0101\ _6^15 + 53821446881475012422581795/790456683854429937360545273*c_01\ 01_6^14 + 461961652974164052364215808/790456683854429937360545273*c\ _0101_6^13 + 2019036614420124588463218926/7904566838544299373605452\ 73*c_0101_6^12 + 5928714474292517886140280046/790456683854429937360\ 545273*c_0101_6^11 + 8872540724864751563116241968/79045668385442993\ 7360545273*c_0101_6^10 + 739909887568214316564356153/79045668385442\ 9937360545273*c_0101_6^9 - 859913436635150216566041987/790456683854\ 429937360545273*c_0101_6^8 - 10348460438192156736695559176/79045668\ 3854429937360545273*c_0101_6^7 - 6230962587113447369873605599/79045\ 6683854429937360545273*c_0101_6^6 + 1972629055043705909995308834/790456683854429937360545273*c_0101_6^5 - 13930245712222278054511688155/790456683854429937360545273*c_0101_\ 6^4 - 210153599101712825345254796/790456683854429937360545273*c_010\ 1_6^3 + 227049257939524366527682906/790456683854429937360545273*c_0\ 101_6^2 - 2277611662886891088608121738/790456683854429937360545273*\ c_0101_6 + 759208397462052976160511103/790456683854429937360545273, c_0101_3 + 19007855777315611547259851/790456683854429937360545273*c_010\ 1_6^15 + 124372763087944232309981793/790456683854429937360545273*c_\ 0101_6^14 + 1179798444129680238855488331/79045668385442993736054527\ 3*c_0101_6^13 + 3737468107065030690714797105/7904566838544299373605\ 45273*c_0101_6^12 + 11296023478963065929827998056/79045668385442993\ 7360545273*c_0101_6^11 + 5168487921749686964673880730/7904566838544\ 29937360545273*c_0101_6^10 - 17912513337616519822569725/79045668385\ 4429937360545273*c_0101_6^9 - 10882801071377230074892929699/7904566\ 83854429937360545273*c_0101_6^8 - 16161770361015810325962759366/790\ 456683854429937360545273*c_0101_6^7 + 1349194399309328818414744629/790456683854429937360545273*c_0101_6^6 - 6545570128494113885003624260/790456683854429937360545273*c_0101_6\ ^5 - 4286086449692304421510883118/790456683854429937360545273*c_010\ 1_6^4 + 2281178257849881520149447314/790456683854429937360545273*c_\ 0101_6^3 + 1425351535696434305257395534/790456683854429937360545273\ *c_0101_6^2 + 154392257151835390241347729/7904566838544299373605452\ 73*c_0101_6 + 278016970535282757341891837/7904566838544299373605452\ 73, c_0101_5 + 49051642755821265116603357/790456683854429937360545273*c_010\ 1_6^15 + 294314374564728983358025284/790456683854429937360545273*c_\ 0101_6^14 + 2890949567663374654412587273/79045668385442993736054527\ 3*c_0101_6^13 + 8123905198381519912202776534/7904566838544299373605\ 45273*c_0101_6^12 + 25175299984965538665082620115/79045668385442993\ 7360545273*c_0101_6^11 + 1387672589669264883625664696/7904566838544\ 29937360545273*c_0101_6^10 + 4309065852355197377217329622/790456683\ 854429937360545273*c_0101_6^9 - 24435299537511244170166458908/79045\ 6683854429937360545273*c_0101_6^8 - 28374971165015226037671879853/790456683854429937360545273*c_0101_6^\ 7 + 15020318116991817998382296513/790456683854429937360545273*c_010\ 1_6^6 - 34802795287004061862086562607/790456683854429937360545273*c\ _0101_6^5 + 2282349202014237701146721116/79045668385442993736054527\ 3*c_0101_6^4 + 5740617880312486084328271707/79045668385442993736054\ 5273*c_0101_6^3 - 5341136138967160978081660467/79045668385442993736\ 0545273*c_0101_6^2 + 3760154103600648930337183683/79045668385442993\ 7360545273*c_0101_6 + 22164167145192465334052508/790456683854429937\ 360545273, c_0101_6^16 + 6*c_0101_6^15 + 59*c_0101_6^14 + 166*c_0101_6^13 + 517*c_0101_6^12 + 39*c_0101_6^11 + 121*c_0101_6^10 - 495*c_0101_6^9 - 575*c_0101_6^8 + 272*c_0101_6^7 - 754*c_0101_6^6 + 67*c_0101_6^5 + 73*c_0101_6^4 - 104*c_0101_6^3 + 85*c_0101_6^2 - 5*c_0101_6 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB