Magma V2.19-8 Tue Aug 20 2013 17:56:09 on localhost [Seed = 2118109620] Type ? for help. Type -D to quit. Loading file "11_145__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_145 geometric_solution 9.99628740 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 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 0 -1 0 0 1 -1 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.984612803484 1.506427728183 0 4 3 5 0132 3120 3120 0132 0 0 0 0 0 0 1 -1 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 1 -5 4 0 0 0 0 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.068869943385 0.799072711906 6 0 8 7 0132 0132 0132 0132 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 0 0 0 -1 0 1 0 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.128897493773 1.244713262116 9 8 1 0 0132 0132 3120 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 1 0 0 -1 -5 5 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.536699665010 0.612622654332 10 1 0 10 0132 3120 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.556936533020 1.038250065960 6 9 1 7 2031 0321 0132 3120 0 0 0 0 0 0 1 -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 -4 4 0 0 0 0 0 0 0 0 5 -1 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.672147209936 0.369252512437 2 10 5 9 0132 3120 1302 1302 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 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.422206102073 0.312659480862 5 8 2 10 3120 0213 0132 1302 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 0 -1 1 0 0 0 0 0 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.374781857587 0.477118599371 9 3 7 2 1302 0132 0213 0132 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 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.564099016427 0.526187292453 3 8 6 5 0132 2031 2031 0321 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 -1 0 0 1 5 -5 0 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.387594205565 0.814324407393 4 6 7 4 0132 3120 2031 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.556936533020 1.038250065960 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0110_5']), 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : negation(d['c_1001_1']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0110_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : negation(d['c_1001_1']), 'c_1001_9' : negation(d['c_0101_2']), 'c_1001_8' : d['c_1001_0'], 'c_1010_10' : negation(d['c_0011_0']), 's_0_10' : negation(d['1']), 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], '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_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0101_1']), 'c_1100_7' : d['c_0101_10'], 'c_1100_6' : d['c_0101_0'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : d['c_0101_10'], 'c_1100_10' : negation(d['c_0101_10']), 'c_1010_7' : d['c_0101_10'], 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_10'], 'c_1010_0' : negation(d['c_1001_1']), 'c_1010_9' : negation(d['c_0011_3']), 'c_1010_8' : negation(d['c_1001_1']), 'c_1100_8' : d['c_0101_10'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_3'], 'c_0011_6' : d['c_0011_0'], '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_0110_10' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_5']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0011_3'], 's_1_10' : negation(d['1']), 'c_0110_9' : negation(d['c_0011_5']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0110_5'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0110_5, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 35194627789954097743097182012722953/4422926197407970917514960601500\ *c_1001_1^16 - 2579034308252809625004969192773855037/23441508846262\ 2458628292911879500*c_1001_1^15 - 313664802806201009427167154238951\ 3973/117207544231311229314146455939750*c_1001_1^14 - 793325212802325090953188088977286063/468830176925244917256585823759\ 00*c_1001_1^13 - 584339997241011944604773100867635597/4688301769252\ 4491725658582375900*c_1001_1^12 + 209480811773681883223352385903036\ 773/117207544231311229314146455939750*c_1001_1^11 + 3885479240203861482982696073673173/132064838570491525987770654580*c\ _1001_1^10 + 746107653656968328642350801872900987/46883017692524491\ 725658582375900*c_1001_1^9 + 274901610603118067398102470700611/8354\ 0658753607433581002463250*c_1001_1^8 + 1275767364487928595952158390128981231/23441508846262245862829291187\ 9500*c_1001_1^7 - 203520077650844435853268993102526868/586037721156\ 55614657073227969875*c_1001_1^6 - 273513936545288643394522258355061\ 451/117207544231311229314146455939750*c_1001_1^5 - 428674810998635096088122393442655572/586037721156556146570732279698\ 75*c_1001_1^4 + 125397084037084979162404381239116623/58603772115655\ 614657073227969875*c_1001_1^3 - 10281622087770219056743251252857420\ 7/117207544231311229314146455939750*c_1001_1^2 - 13103261124454705507302437647806356/5860377211565561465707322796987\ 5*c_1001_1 - 71707476087850086329300779883841039/586037721156556146\ 57073227969875, c_0011_0 - 1, c_0011_10 - 13375940596503389803218/936704111964158327771*c_1001_1^16 - 38335775220966968926989/1873408223928316655542*c_1001_1^15 - 86157928245910737149025/1873408223928316655542*c_1001_1^14 - 58690765244141003354219/1873408223928316655542*c_1001_1^13 - 14934668682494831733235/936704111964158327771*c_1001_1^12 + 3419468564040927002499/1873408223928316655542*c_1001_1^11 + 1509151616793985871371/26386031322934037402*c_1001_1^10 + 28775176978674762482933/936704111964158327771*c_1001_1^9 - 1433437205729834528563/1873408223928316655542*c_1001_1^8 + 28058212489996033880217/1873408223928316655542*c_1001_1^7 - 6777089322449463795834/936704111964158327771*c_1001_1^6 - 8899900839640127893712/936704111964158327771*c_1001_1^5 - 18439891862221545446477/1873408223928316655542*c_1001_1^4 + 935947096653095824471/936704111964158327771*c_1001_1^3 + 1094102982966122505560/936704111964158327771*c_1001_1^2 - 2018567468498400592744/936704111964158327771*c_1001_1 + 45170635614472878314/936704111964158327771, c_0011_3 + 9063041370035280823015/936704111964158327771*c_1001_1^16 + 29930341290587889474772/936704111964158327771*c_1001_1^15 + 45672105389850292633001/936704111964158327771*c_1001_1^14 + 65773076409799087327066/936704111964158327771*c_1001_1^13 + 25543674337915190366759/936704111964158327771*c_1001_1^12 + 8763271963502904568205/936704111964158327771*c_1001_1^11 - 587625991110176050605/13193015661467018701*c_1001_1^10 - 81854358631654747583043/936704111964158327771*c_1001_1^9 - 3243761816201758302139/936704111964158327771*c_1001_1^8 + 1408173365619240099493/936704111964158327771*c_1001_1^7 - 17175772867776968420266/936704111964158327771*c_1001_1^6 + 22595038806116455356694/936704111964158327771*c_1001_1^5 + 9726767130490093115671/936704111964158327771*c_1001_1^4 + 5090981355034154256343/936704111964158327771*c_1001_1^3 - 4988767587889066825324/936704111964158327771*c_1001_1^2 + 2496617207699151155467/936704111964158327771*c_1001_1 + 2761756187483974999019/936704111964158327771, c_0011_5 - 33318983322205617102205/936704111964158327771*c_1001_1^16 - 98334314014364223922933/1873408223928316655542*c_1001_1^15 - 107231557340185703722005/936704111964158327771*c_1001_1^14 - 76861839403662817980165/936704111964158327771*c_1001_1^13 - 37394847929433325878019/936704111964158327771*c_1001_1^12 - 700559200972013258267/936704111964158327771*c_1001_1^11 + 1798977081545784496550/13193015661467018701*c_1001_1^10 + 71923566404733987133372/936704111964158327771*c_1001_1^9 - 11766467521702689413488/936704111964158327771*c_1001_1^8 + 36514756692196246736659/936704111964158327771*c_1001_1^7 - 10507100860515590884184/936704111964158327771*c_1001_1^6 - 49500593412918740080699/1873408223928316655542*c_1001_1^5 - 34704829177234708191809/1873408223928316655542*c_1001_1^4 + 2834344607912548082400/936704111964158327771*c_1001_1^3 + 2110091306374010252895/936704111964158327771*c_1001_1^2 - 5998471783132159008985/936704111964158327771*c_1001_1 - 2028811329508368897113/936704111964158327771, c_0101_0 + 46851440717943252988555/936704111964158327771*c_1001_1^16 + 71343161912458787309506/936704111964158327771*c_1001_1^15 + 153180749161740784749694/936704111964158327771*c_1001_1^14 + 112536522972874351417060/936704111964158327771*c_1001_1^13 + 52743570416876991096738/936704111964158327771*c_1001_1^12 - 3375227125504412874608/936704111964158327771*c_1001_1^11 - 2598088036895779594107/13193015661467018701*c_1001_1^10 - 112273623674976566639474/936704111964158327771*c_1001_1^9 + 13760772839025626260702/936704111964158327771*c_1001_1^8 - 45105867995611043662311/936704111964158327771*c_1001_1^7 + 13311919152709925410568/936704111964158327771*c_1001_1^6 + 35588802138157642969168/936704111964158327771*c_1001_1^5 + 27599977886643333152985/936704111964158327771*c_1001_1^4 - 2940532124062828494336/936704111964158327771*c_1001_1^3 - 3050240714923269881642/936704111964158327771*c_1001_1^2 + 8089887242854371038628/936704111964158327771*c_1001_1 + 3503554859238589948363/936704111964158327771, c_0101_1 + 2254563902118022029445/936704111964158327771*c_1001_1^16 + 19882456892008237519296/936704111964158327771*c_1001_1^15 + 24348799123340411369148/936704111964158327771*c_1001_1^14 + 99745667399617267804919/1873408223928316655542*c_1001_1^13 + 38899651150030497169959/1873408223928316655542*c_1001_1^12 + 7980774476179318010690/936704111964158327771*c_1001_1^11 - 381399129049613611091/26386031322934037402*c_1001_1^10 - 132676655853091325826285/1873408223928316655542*c_1001_1^9 - 6351496020824803583195/936704111964158327771*c_1001_1^8 + 21894224538750609213309/1873408223928316655542*c_1001_1^7 - 44008477381948013998175/1873408223928316655542*c_1001_1^6 + 14565486575542596881417/936704111964158327771*c_1001_1^5 + 12618797550456544760371/1873408223928316655542*c_1001_1^4 + 4538826990550321966851/936704111964158327771*c_1001_1^3 - 4609152403255118106873/936704111964158327771*c_1001_1^2 + 1405417668039860731908/936704111964158327771*c_1001_1 + 3417496070848080030627/936704111964158327771, c_0101_10 - 25312132336779695304000/936704111964158327771*c_1001_1^16 - 22433091621683235592669/936704111964158327771*c_1001_1^15 - 127401550915564868951787/1873408223928316655542*c_1001_1^14 - 13221145230441745327502/936704111964158327771*c_1001_1^13 - 8669262483363416663725/1873408223928316655542*c_1001_1^12 + 30690589152898038188421/1873408223928316655542*c_1001_1^11 + 1340434876412455130175/13193015661467018701*c_1001_1^10 - 3297896559005572360559/1873408223928316655542*c_1001_1^9 - 52935176571675886172985/1873408223928316655542*c_1001_1^8 + 29749522859811565996667/936704111964158327771*c_1001_1^7 - 51742987542004278077573/1873408223928316655542*c_1001_1^6 - 11726052788522484496611/1873408223928316655542*c_1001_1^5 - 13218777472333520899477/1873408223928316655542*c_1001_1^4 + 9828666439069900126274/936704111964158327771*c_1001_1^3 - 1345758332285495997191/936704111964158327771*c_1001_1^2 - 4075663867131206248880/936704111964158327771*c_1001_1 + 14829509697711833776/936704111964158327771, c_0101_2 + 63574107262767073769874/936704111964158327771*c_1001_1^16 + 131860482576049552123104/936704111964158327771*c_1001_1^15 + 483888278569344927621711/1873408223928316655542*c_1001_1^14 + 492339031666172706737475/1873408223928316655542*c_1001_1^13 + 101792906934603644610001/936704111964158327771*c_1001_1^12 + 24822330906034942306385/1873408223928316655542*c_1001_1^11 - 7427346862916611334467/26386031322934037402*c_1001_1^10 - 281986402756418523389362/936704111964158327771*c_1001_1^9 + 17457416709418158656907/1873408223928316655542*c_1001_1^8 - 70433561157690844968789/1873408223928316655542*c_1001_1^7 - 27176655143145341769952/936704111964158327771*c_1001_1^6 + 160786318866379029287951/1873408223928316655542*c_1001_1^5 + 48616639578197949863590/936704111964158327771*c_1001_1^4 + 8075507101642146393595/936704111964158327771*c_1001_1^3 - 16499769046043793845613/936704111964158327771*c_1001_1^2 + 12694461712939483122419/936704111964158327771*c_1001_1 + 9978635095472692888119/936704111964158327771, c_0110_5 - 13089426631026574362939/936704111964158327771*c_1001_1^16 - 53614946694974749627149/1873408223928316655542*c_1001_1^15 - 47647488487592113679621/936704111964158327771*c_1001_1^14 - 47630473691902454489333/936704111964158327771*c_1001_1^13 - 15609218342116213521915/936704111964158327771*c_1001_1^12 - 441600514909975624064/936704111964158327771*c_1001_1^11 + 759009667608831670875/13193015661467018701*c_1001_1^10 + 54665910640191346544264/936704111964158327771*c_1001_1^9 - 10576894226904603211073/936704111964158327771*c_1001_1^8 + 5676086995194062424489/936704111964158327771*c_1001_1^7 + 6971278998994669704506/936704111964158327771*c_1001_1^6 - 32190948857779899656029/1873408223928316655542*c_1001_1^5 - 14039189666730408989755/1873408223928316655542*c_1001_1^4 - 797538300656760917581/936704111964158327771*c_1001_1^3 + 4543334168871471712971/936704111964158327771*c_1001_1^2 - 3118593041113389331476/936704111964158327771*c_1001_1 - 2666559818420419863520/936704111964158327771, c_1001_0 + 8926574810248395596452/936704111964158327771*c_1001_1^16 + 6239966834350445619104/936704111964158327771*c_1001_1^15 + 41905656989363655540347/1873408223928316655542*c_1001_1^14 + 1010335616084102411531/936704111964158327771*c_1001_1^13 + 2255275408929017375977/1873408223928316655542*c_1001_1^12 - 8270088685281139418133/1873408223928316655542*c_1001_1^11 - 458176237601359482381/13193015661467018701*c_1001_1^10 + 13188886752179030875241/1873408223928316655542*c_1001_1^9 + 15243392049011733452587/1873408223928316655542*c_1001_1^8 - 15266739968445927887054/936704111964158327771*c_1001_1^7 + 20148876374420264952049/1873408223928316655542*c_1001_1^6 + 822464130113497783429/1873408223928316655542*c_1001_1^5 + 4475022666365159761905/1873408223928316655542*c_1001_1^4 - 2552819810142688056774/936704111964158327771*c_1001_1^3 + 963362741790019571553/936704111964158327771*c_1001_1^2 + 1875690801651906944842/936704111964158327771*c_1001_1 - 695859671999891661674/936704111964158327771, c_1001_1^17 + 95/53*c_1001_1^16 + 210/53*c_1001_1^15 + 189/53*c_1001_1^14 + 135/53*c_1001_1^13 + 28/53*c_1001_1^12 - 199/53*c_1001_1^11 - 185/53*c_1001_1^10 - 72/53*c_1001_1^9 - 51/53*c_1001_1^8 + 10/53*c_1001_1^7 + 22/53*c_1001_1^6 + 54/53*c_1001_1^5 + 8/53*c_1001_1^4 + 4/53*c_1001_1^2 + 8/53*c_1001_1 + 4/53 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.260 Total time: 0.480 seconds, Total memory usage: 32.09MB