Magma V2.19-8 Wed Aug 21 2013 01:01:18 on localhost [Seed = 2177342070] Type ? for help. Type -D to quit. Loading file "L14a28918__sl2_c5.magma" ==TRIANGULATION=BEGINS== % Triangulation L14a28918 geometric_solution 11.51830679 oriented_manifold CS_known -0.0000000000000002 3 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 1230 0132 0132 2 2 1 2 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 -1 1 0 0 0 0 0 -1 0 1 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722892714549 0.756320593170 0 4 0 5 0132 0132 3012 0132 2 2 2 1 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 -2 1 0 0 0 0 2 0 0 -2 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.339579568842 0.690959477364 6 7 7 0 0132 0132 1302 0132 2 2 2 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 0 0 0 0 1 -4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.619998508042 1.160766403565 4 4 0 8 0132 1302 0132 0132 2 2 2 1 0 0 0 0 -1 0 0 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 1 -1 0 1 0 0 -1 0 -1 0 1 -3 4 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.003905303662 0.707411603855 3 1 9 3 0132 0132 0132 2031 2 2 1 2 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 -1 0 1 -1 0 2 -1 3 1 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.665606245956 0.469025893448 6 9 1 8 2103 3201 0132 1230 2 2 2 2 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 -1 1 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.059854460416 0.969298436482 2 10 5 10 0132 0132 2103 1230 2 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.756276695861 1.452705912529 2 2 8 10 2031 0132 2031 0132 2 2 0 2 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 0 -1 -3 4 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.641987056112 0.670274834402 5 11 3 7 3012 0132 0132 1302 2 2 2 2 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 0 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.130179421486 0.769256794859 12 12 5 4 0132 3201 2310 0132 2 2 2 2 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 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.611492588008 0.957382087168 6 6 7 11 3012 0132 0132 1230 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.112327542066 0.669525161227 10 8 11 11 3012 0132 1230 3012 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.016971516108 0.706498429579 9 12 9 12 0132 2310 2310 3201 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.822836358619 0.450798634991 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0110_11']), 'c_1001_10' : d['c_0101_10'], 'c_1001_12' : d['c_0101_9'], 'c_1001_5' : negation(d['c_0101_9']), 'c_1001_4' : negation(d['c_0101_9']), 'c_1001_7' : negation(d['c_0110_8']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : negation(d['c_0110_8']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_10'], 'c_1001_9' : negation(d['c_0101_12']), 'c_1001_8' : negation(d['c_0011_5']), 'c_1010_12' : negation(d['c_0101_9']), 'c_1010_11' : negation(d['c_0011_5']), 'c_1010_10' : d['c_0011_5'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : negation(d['1']), 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_5'], '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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0011_5'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0110_8'], 'c_1100_4' : d['c_0011_5'], 'c_1100_7' : d['c_0110_11'], 'c_1100_6' : d['c_0011_11'], 'c_1100_1' : d['c_0110_8'], 'c_1100_0' : d['c_0101_7'], 'c_1100_3' : d['c_0101_7'], 'c_1100_2' : d['c_0101_7'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0110_11'], 'c_1100_10' : d['c_0110_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_10'], 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : d['c_0101_12'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : negation(d['c_0110_8']), 'c_1010_1' : negation(d['c_0101_9']), 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : negation(d['c_0101_9']), 'c_1010_8' : negation(d['c_0110_11']), 'c_1100_8' : d['c_0101_7'], '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' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_12']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_10']), '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_10'], 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0011_11'], 'c_0110_12' : d['c_0101_9'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_12'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_12'], 's_1_12' : negation(d['1']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_12'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_7, c_0101_9, c_0110_11, c_0110_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 1777399159033747309444212912763411/169635319682070296024415542223*c\ _0110_8^11 - 23254978038863788229561679857666690/565451065606900986\ 74805180741*c_0110_8^10 - 108063697924563406193587901526760934/5654\ 5106560690098674805180741*c_0110_8^9 + 7837453826365004762505890771573473504/16963531968207029602441554222\ 3*c_0110_8^8 - 2195200517727118148693031975915917231/80778723658128\ 71239257882963*c_0110_8^7 + 16233676525681459153675991855791171508/\ 18848368853563366224935060247*c_0110_8^6 - 289066298700501395008878795633120079696/169635319682070296024415542\ 223*c_0110_8^5 + 4599319888958139525989773471886808643/209426320595\ 1485136103895583*c_0110_8^4 - 1363462849206039836871302501013875124\ 8/7375448681829143305409371401*c_0110_8^3 + 166960993406971771691317072598714924420/169635319682070296024415542\ 223*c_0110_8^2 - 78478885729320167330966167083224578/25977843749168\ 4986254847691*c_0110_8 + 990602175278093842467945190275154274/24233\ 617097438613717773648889, c_0011_0 - 1, c_0011_10 - 1, c_0011_11 - 263022765081127659990/492777436818527311499*c_0110_8^11 + 10288252234236060972084/492777436818527311499*c_0110_8^10 + 49348281298448054958506/492777436818527311499*c_0110_8^9 - 1152252386748989214307940/492777436818527311499*c_0110_8^8 + 6670163141792353019334456/492777436818527311499*c_0110_8^7 - 20809636379607042995859447/492777436818527311499*c_0110_8^6 + 40457121785245425259270690/492777436818527311499*c_0110_8^5 - 51085334510177579919539099/492777436818527311499*c_0110_8^4 + 42000153357168154366522394/492777436818527311499*c_0110_8^3 - 21765998599814765413774136/492777436818527311499*c_0110_8^2 + 9915965046129005458076/754636197271864183*c_0110_8 - 844532580032916515368922/492777436818527311499, c_0011_12 - 202169129282967928465/492777436818527311499*c_0110_8^11 + 7933513550001793659304/492777436818527311499*c_0110_8^10 + 36946246626236650904817/492777436818527311499*c_0110_8^9 - 891072503400967657368684/492777436818527311499*c_0110_8^8 + 5235655815155575134702606/492777436818527311499*c_0110_8^7 - 16576449576551347489092612/492777436818527311499*c_0110_8^6 + 32759678573994616745308147/492777436818527311499*c_0110_8^5 - 42164469596290512260633676/492777436818527311499*c_0110_8^4 + 35436736684609395118247703/492777436818527311499*c_0110_8^3 - 18829684632557991492562184/492777436818527311499*c_0110_8^2 + 8827922891345531746779/754636197271864183*c_0110_8 - 777166922842115038515302/492777436818527311499, c_0011_5 - 99599574002175004358/492777436818527311499*c_0110_8^11 + 3861081715192003933710/492777436818527311499*c_0110_8^10 + 20023087147901615181830/492777436818527311499*c_0110_8^9 - 428838508603246108214804/492777436818527311499*c_0110_8^8 + 2378734635388497297451242/492777436818527311499*c_0110_8^7 - 7103082703593282675272886/492777436818527311499*c_0110_8^6 + 13124190110975687895324968/492777436818527311499*c_0110_8^5 - 15566738529428145823742080/492777436818527311499*c_0110_8^4 + 11853598453911556702330116/492777436818527311499*c_0110_8^3 - 5587064382363754102202686/492777436818527311499*c_0110_8^2 + 2255210580225778124181/754636197271864183*c_0110_8 - 163472101239285590434906/492777436818527311499, c_0101_0 - 1, c_0101_1 - 303745975582837181128/492777436818527311499*c_0110_8^11 + 12009516238809602719624/492777436818527311499*c_0110_8^10 + 52055479983939634393834/492777436818527311499*c_0110_8^9 - 1358098919166184630790730/492777436818527311499*c_0110_8^8 + 8246543539046134814303998/492777436818527311499*c_0110_8^7 - 26915803449743794974342368/492777436818527311499*c_0110_8^6 + 54905177758770037539835937/492777436818527311499*c_0110_8^5 - 73135339611940532901460441/492777436818527311499*c_0110_8^4 + 63735087279460931932859722/492777436818527311499*c_0110_8^3 - 35166191672824358702742124/492777436818527311499*c_0110_8^2 + 17145451972883894789462/754636197271864183*c_0110_8 - 1571947425178092377182440/492777436818527311499, c_0101_10 + 163423191078952655632/492777436818527311499*c_0110_8^11 - 6427170519044057038374/492777436818527311499*c_0110_8^10 - 29325194150546439776676/492777436818527311499*c_0110_8^9 + 723413878145743106093136/492777436818527311499*c_0110_8^8 - 4291428506403855721883214/492777436818527311499*c_0110_8^7 + 13706553676013760320586561/492777436818527311499*c_0110_8^6 - 27332931674269737363945722/492777436818527311499*c_0110_8^5 + 35518595980749434095797019/492777436818527311499*c_0110_8^4 - 30146554903256597664192278/492777436818527311499*c_0110_8^3 + 16178934217451011311571450/492777436818527311499*c_0110_8^2 - 7660754465903227333895/754636197271864183*c_0110_8 + 681060478793630924934016/492777436818527311499, c_0101_12 - 99599574002175004358/492777436818527311499*c_0110_8^11 + 3861081715192003933710/492777436818527311499*c_0110_8^10 + 20023087147901615181830/492777436818527311499*c_0110_8^9 - 428838508603246108214804/492777436818527311499*c_0110_8^8 + 2378734635388497297451242/492777436818527311499*c_0110_8^7 - 7103082703593282675272886/492777436818527311499*c_0110_8^6 + 13124190110975687895324968/492777436818527311499*c_0110_8^5 - 15566738529428145823742080/492777436818527311499*c_0110_8^4 + 11853598453911556702330116/492777436818527311499*c_0110_8^3 - 5587064382363754102202686/492777436818527311499*c_0110_8^2 + 2254455944028506259998/754636197271864183*c_0110_8 - 162979323802467063123407/492777436818527311499, c_0101_7 - 163423191078952655632/492777436818527311499*c_0110_8^11 + 6427170519044057038374/492777436818527311499*c_0110_8^10 + 29325194150546439776676/492777436818527311499*c_0110_8^9 - 723413878145743106093136/492777436818527311499*c_0110_8^8 + 4291428506403855721883214/492777436818527311499*c_0110_8^7 - 13706553676013760320586561/492777436818527311499*c_0110_8^6 + 27332931674269737363945722/492777436818527311499*c_0110_8^5 - 35518595980749434095797019/492777436818527311499*c_0110_8^4 + 30146554903256597664192278/492777436818527311499*c_0110_8^3 - 16178934217451011311571450/492777436818527311499*c_0110_8^2 + 7661509102100499198078/754636197271864183*c_0110_8 - 681060478793630924934016/492777436818527311499, c_0101_9 - 288290096817901033428/492777436818527311499*c_0110_8^11 + 11285131463197785352642/492777436818527311499*c_0110_8^10 + 53758344282490425316792/492777436818527311499*c_0110_8^9 - 1264674823051733276037497/492777436818527311499*c_0110_8^8 + 7347703046716311282173706/492777436818527311499*c_0110_8^7 - 23010648703283290181650619/492777436818527311499*c_0110_8^6 + 44935640318632964500912588/492777436818527311499*c_0110_8^5 - 57052070235114920003230357/492777436818527311499*c_0110_8^4 + 47221390924038930367821722/492777436818527311499*c_0110_8^3 - 24670627069621802281774114/492777436818527311499*c_0110_8^2 + 11350389873383656709768/754636197271864183*c_0110_8 - 978156411747093002576433/492777436818527311499, c_0110_11 - 56278386724516522976/492777436818527311499*c_0110_8^11 + 2243438746644815696427/492777436818527311499*c_0110_8^10 + 8941931648539350749554/492777436818527311499*c_0110_8^9 - 255560855841969332341528/492777436818527311499*c_0110_8^8 + 1605319243728746663905532/492777436818527311499*c_0110_8^7 - 5396442346970018603735184/492777436818527311499*c_0110_8^6 + 11332464219620484013444002/492777436818527311499*c_0110_8^5 - 15551407277794516464205855/492777436818527311499*c_0110_8^4 + 13963252108510388952184792/492777436818527311499*c_0110_8^3 - 7936122736588351615973705/492777436818527311499*c_0110_8^2 + 3985382539069351851176/754636197271864183*c_0110_8 - 376525787734868023309231/492777436818527311499, c_0110_8^12 - 40*c_0110_8^11 - 153*c_0110_8^10 + 4546*c_0110_8^9 - 29239*c_0110_8^8 + 101634*c_0110_8^7 - 224248*c_0110_8^6 + 331552*c_0110_8^5 - 333673*c_0110_8^4 + 226356*c_0110_8^3 - 99370*c_0110_8^2 + 25564*c_0110_8 - 2933 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB