Magma V2.19-8 Tue Aug 20 2013 23:52:25 on localhost [Seed = 1764688457] Type ? for help. Type -D to quit. Loading file "L13n2675__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n2675 geometric_solution 11.40336866 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 1 1 0 1 0 1 0 -1 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 8 -1 -7 7 0 -7 0 1 -3 0 2 1 -8 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.033572046594 1.139454887272 0 5 4 6 0132 0132 3012 0132 0 1 1 0 0 0 1 -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 0 -2 2 -7 0 7 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.607657179030 0.603321973677 6 0 4 4 3012 0132 1302 0213 1 0 1 0 0 -1 1 0 0 0 0 0 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 -8 8 0 0 0 0 0 0 8 0 -8 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.134157191491 1.020861220216 7 8 8 0 0132 0132 0321 0132 1 1 1 1 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 -1 0 1 0 0 -7 7 7 0 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.564334096808 0.662911260140 2 1 0 2 2031 1230 0132 0213 1 1 0 0 0 -1 1 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 -7 7 0 -8 0 0 8 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.865842808509 1.020861220216 7 1 9 10 3201 0132 0132 0132 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 -1 1 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.779777848265 0.947114254571 7 10 1 2 2103 0132 0132 1230 0 1 0 1 0 -1 1 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 2 -2 0 0 0 0 0 0 -3 0 3 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.700073279503 0.747924771738 3 9 6 5 0132 0213 2103 2310 0 1 1 1 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 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444360717887 0.621490523734 9 3 3 11 0132 0132 0321 0132 1 1 1 1 0 0 0 0 0 0 0 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 0 -1 -7 0 0 7 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.564334096808 0.662911260140 8 11 7 5 0132 2031 0213 0132 0 1 1 1 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 7 -7 0 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.751950461813 0.411822682989 11 6 5 11 3012 0132 0132 2031 0 1 1 0 0 1 0 -1 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 -2 0 2 1 0 -1 0 1 -1 0 0 -2 3 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.396678801237 1.199150109801 9 10 8 10 1302 1302 0132 1230 1 1 0 1 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 1 -1 0 0 1 -1 0 -2 0 2 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.334814341585 0.665470822668 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_0']), 'c_1001_11' : d['c_0110_10'], 'c_1001_10' : negation(d['c_0011_4']), 'c_1001_5' : d['c_0011_11'], 'c_1001_4' : negation(d['c_0110_2']), 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_0011_11'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0110_10'], 'c_1001_2' : negation(d['c_0110_2']), 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : d['c_0011_11'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_3']), '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' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : 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' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0110_10'], 'c_1100_5' : negation(d['c_0101_10']), 'c_1100_4' : d['c_1001_0'], 'c_1100_7' : d['c_0011_0'], 'c_1100_6' : d['c_0110_2'], 'c_1100_1' : d['c_0110_2'], 'c_1100_0' : d['c_1001_0'], 'c_1100_3' : d['c_1001_0'], 'c_1100_2' : d['c_0101_1'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0110_10'], 'c_1100_10' : negation(d['c_0101_10']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_10']), 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_11'], 'c_1010_0' : negation(d['c_0110_2']), 'c_1010_9' : d['c_0011_11'], 'c_1010_8' : d['c_0110_10'], 's_3_1' : d['1'], 's_3_0' : 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' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_3'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0110_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_1'], '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_0101_9' : negation(d['c_0011_3']), 'c_0101_8' : negation(d['c_0101_3']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_3']), 'c_0110_8' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0110_2']), 'c_0110_7' : d['c_0101_3'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0110_10, c_0110_2, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 54448148844522747/7372715476423*c_1001_0^18 - 607915791151355497/14745430952846*c_1001_0^17 - 2553641581994041857/14745430952846*c_1001_0^16 - 3397985480743608807/14745430952846*c_1001_0^15 - 1294715892165667611/7372715476423*c_1001_0^14 + 195925992215420693/14745430952846*c_1001_0^13 + 4007020294652160371/14745430952846*c_1001_0^12 + 5917701951058072437/14745430952846*c_1001_0^11 + 5476591857168100799/14745430952846*c_1001_0^10 + 3327731125485184923/14745430952846*c_1001_0^9 + 146586098928222977/14745430952846*c_1001_0^8 - 896756637356370552/7372715476423*c_1001_0^7 - 2732028874882938715/14745430952846*c_1001_0^6 - 2437170302967506035/14745430952846*c_1001_0^5 - 152895739469435645/1340493722986*c_1001_0^4 - 455075138723878514/7372715476423*c_1001_0^3 - 198740652725400215/7372715476423*c_1001_0^2 - 116504960142269537/14745430952846*c_1001_0 - 13823791606734026/7372715476423, c_0011_0 - 1, c_0011_10 + 6107925220947/193391386913*c_1001_0^18 - 19893398011438/193391386913*c_1001_0^17 - 203386292384949/193391386913*c_1001_0^16 - 612750942599606/193391386913*c_1001_0^15 - 1119976883490290/193391386913*c_1001_0^14 - 1416249266896300/193391386913*c_1001_0^13 - 1232597696030073/193391386913*c_1001_0^12 - 556610544295924/193391386913*c_1001_0^11 + 357491521497319/193391386913*c_1001_0^10 + 1142213154128024/193391386913*c_1001_0^9 + 1536370430704680/193391386913*c_1001_0^8 + 1510001619107223/193391386913*c_1001_0^7 + 1190477493573701/193391386913*c_1001_0^6 + 781922208060083/193391386913*c_1001_0^5 + 429421737547869/193391386913*c_1001_0^4 + 194054473488305/193391386913*c_1001_0^3 + 70536631054347/193391386913*c_1001_0^2 + 18517672681259/193391386913*c_1001_0 + 3220955037134/193391386913, c_0011_11 + 5895619588116/193391386913*c_1001_0^18 - 24899144261720/193391386913*c_1001_0^17 - 176373618480837/193391386913*c_1001_0^16 - 403313657565842/193391386913*c_1001_0^15 - 569283636258316/193391386913*c_1001_0^14 - 545795437852477/193391386913*c_1001_0^13 - 285147201142724/193391386913*c_1001_0^12 + 102315978933311/193391386913*c_1001_0^11 + 440480412077002/193391386913*c_1001_0^10 + 620181647562630/193391386913*c_1001_0^9 + 605350028049184/193391386913*c_1001_0^8 + 468385000786189/193391386913*c_1001_0^7 + 293288190384323/193391386913*c_1001_0^6 + 149814494100073/193391386913*c_1001_0^5 + 58322801911705/193391386913*c_1001_0^4 + 16243962423707/193391386913*c_1001_0^3 + 872555376301/193391386913*c_1001_0^2 - 1044386497077/193391386913*c_1001_0 - 678658357883/193391386913, c_0011_3 - 196849529649/2649197081*c_1001_0^18 + 1097049645446/2649197081*c_1001_0^17 + 4638202221904/2649197081*c_1001_0^16 + 6126907936578/2649197081*c_1001_0^15 + 4436023912271/2649197081*c_1001_0^14 - 794720934599/2649197081*c_1001_0^13 - 7731000733699/2649197081*c_1001_0^12 - 11098511568927/2649197081*c_1001_0^11 - 10001529673241/2649197081*c_1001_0^10 - 5783429714488/2649197081*c_1001_0^9 + 161083200290/2649197081*c_1001_0^8 + 3762533913376/2649197081*c_1001_0^7 + 5389334278884/2649197081*c_1001_0^6 + 4726296428679/2649197081*c_1001_0^5 + 3236483465296/2649197081*c_1001_0^4 + 1742815282498/2649197081*c_1001_0^3 + 751838598102/2649197081*c_1001_0^2 + 223281436492/2649197081*c_1001_0 + 51640642012/2649197081, c_0011_4 - 473686878692763/14117571244649*c_1001_0^18 + 2432285569882301/14117571244649*c_1001_0^17 + 11763165922972471/14117571244649*c_1001_0^16 + 22339793513313924/14117571244649*c_1001_0^15 + 31872001803880519/14117571244649*c_1001_0^14 + 31450089144134034/14117571244649*c_1001_0^13 + 18734976067500808/14117571244649*c_1001_0^12 - 244866523561700/14117571244649*c_1001_0^11 - 20222896868609650/14117571244649*c_1001_0^10 - 33367775138210073/14117571244649*c_1001_0^9 - 35643163912959872/14117571244649*c_1001_0^8 - 31741963510843116/14117571244649*c_1001_0^7 - 21980688120200058/14117571244649*c_1001_0^6 - 13757569950941779/14117571244649*c_1001_0^5 - 6651348250811100/14117571244649*c_1001_0^4 - 2926336595864608/14117571244649*c_1001_0^3 - 874457684896490/14117571244649*c_1001_0^2 - 249482312623586/14117571244649*c_1001_0 - 15765838340084/14117571244649, c_0101_0 - 1, c_0101_1 + 4335209672355/193391386913*c_1001_0^18 - 25940360686943/193391386913*c_1001_0^17 - 94436443461071/193391386913*c_1001_0^16 - 82491093352629/193391386913*c_1001_0^15 + 18999717794581/193391386913*c_1001_0^14 + 172355866271884/193391386913*c_1001_0^13 + 299677645561761/193391386913*c_1001_0^12 + 288183299260680/193391386913*c_1001_0^11 + 156156002143609/193391386913*c_1001_0^10 - 15128151199060/193391386913*c_1001_0^9 - 169866890777422/193391386913*c_1001_0^8 - 224335678909599/193391386913*c_1001_0^7 - 213657598276138/193391386913*c_1001_0^6 - 152239852271355/193391386913*c_1001_0^5 - 90600027676293/193391386913*c_1001_0^4 - 41662060600861/193391386913*c_1001_0^3 - 16387042718707/193391386913*c_1001_0^2 - 3819927275871/193391386913*c_1001_0 - 900258394178/193391386913, c_0101_10 - 30896710074342/193391386913*c_1001_0^18 + 140941155265521/193391386913*c_1001_0^17 + 866389060975287/193391386913*c_1001_0^16 + 1861154138203303/193391386913*c_1001_0^15 + 2675741647883240/193391386913*c_1001_0^14 + 2701878723304252/193391386913*c_1001_0^13 + 1601382502914049/193391386913*c_1001_0^12 - 119906382754190/193391386913*c_1001_0^11 - 1792173927195498/193391386913*c_1001_0^10 - 2866636197756642/193391386913*c_1001_0^9 - 3002580038307221/193391386913*c_1001_0^8 - 2532016500042870/193391386913*c_1001_0^7 - 1736054307537315/193391386913*c_1001_0^6 - 1001807635852243/193391386913*c_1001_0^5 - 477191095489600/193391386913*c_1001_0^4 - 184610800646852/193391386913*c_1001_0^3 - 52695384238680/193391386913*c_1001_0^2 - 10972935228774/193391386913*c_1001_0 - 485896116728/193391386913, c_0101_3 - 408175898994/2649197081*c_1001_0^18 + 1994865486913/2649197081*c_1001_0^17 + 10836105752492/2649197081*c_1001_0^16 + 20868321743004/2649197081*c_1001_0^15 + 27493832639605/2649197081*c_1001_0^14 + 24594487742010/2649197081*c_1001_0^13 + 10082993367766/2649197081*c_1001_0^12 - 7926999383964/2649197081*c_1001_0^11 - 22842292181175/2649197081*c_1001_0^10 - 30256352199346/2649197081*c_1001_0^9 - 27726796951303/2649197081*c_1001_0^8 - 21100530322619/2649197081*c_1001_0^7 - 12645761131457/2649197081*c_1001_0^6 - 6225474456961/2649197081*c_1001_0^5 - 2319491200579/2649197081*c_1001_0^4 - 565354086647/2649197081*c_1001_0^3 + 17487907563/2649197081*c_1001_0^2 + 48037758774/2649197081*c_1001_0 + 33428804373/2649197081, c_0110_10 + 5548948677/2649197081*c_1001_0^18 + 22477404173/2649197081*c_1001_0^17 - 356681247889/2649197081*c_1001_0^16 - 1737818609146/2649197081*c_1001_0^15 - 3914714539231/2649197081*c_1001_0^14 - 5948482095995/2649197081*c_1001_0^13 - 6220770897037/2649197081*c_1001_0^12 - 4012016410854/2649197081*c_1001_0^11 - 193870717888/2649197081*c_1001_0^10 + 3811075250157/2649197081*c_1001_0^9 + 6436719134770/2649197081*c_1001_0^8 + 6948377587779/2649197081*c_1001_0^7 + 5954338661960/2649197081*c_1001_0^6 + 4118076908585/2649197081*c_1001_0^5 + 2387972171855/2649197081*c_1001_0^4 + 1144105925861/2649197081*c_1001_0^3 + 435254722612/2649197081*c_1001_0^2 + 122672408591/2649197081*c_1001_0 + 23480707705/2649197081, c_0110_2 + 7636142070333/193391386913*c_1001_0^18 - 32248016964414/193391386913*c_1001_0^17 - 227235553238956/193391386913*c_1001_0^16 - 527664319350901/193391386913*c_1001_0^15 - 773504940838444/193391386913*c_1001_0^14 - 787147888719901/193391386913*c_1001_0^13 - 480859284698680/193391386913*c_1001_0^12 + 24959424168111/193391386913*c_1001_0^11 + 513195573556290/193391386913*c_1001_0^10 + 820148341630672/193391386913*c_1001_0^9 + 866428400381734/193391386913*c_1001_0^8 + 726175719541218/193391386913*c_1001_0^7 + 499056626059755/193391386913*c_1001_0^6 + 289056292677433/193391386913*c_1001_0^5 + 138000053319861/193391386913*c_1001_0^4 + 54922239806307/193391386913*c_1001_0^3 + 16343866329341/193391386913*c_1001_0^2 + 3983789562661/193391386913*c_1001_0 + 481689963595/193391386913, c_1001_0^19 - 38/9*c_1001_0^18 - 263/9*c_1001_0^17 - 643/9*c_1001_0^16 - 352/3*c_1001_0^15 - 416/3*c_1001_0^14 - 1012/9*c_1001_0^13 - 400/9*c_1001_0^12 + 376/9*c_1001_0^11 + 1034/9*c_1001_0^10 + 150*c_1001_0^9 + 1333/9*c_1001_0^8 + 1064/9*c_1001_0^7 + 80*c_1001_0^6 + 412/9*c_1001_0^5 + 200/9*c_1001_0^4 + 80/9*c_1001_0^3 + 26/9*c_1001_0^2 + 2/3*c_1001_0 + 1/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.310 seconds, Total memory usage: 32.09MB