Magma V2.19-8 Tue Aug 20 2013 23:39:14 on localhost [Seed = 1511800334] Type ? for help. Type -D to quit. Loading file "K13n1395__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1395 geometric_solution 9.32085827 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -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 -1 -8 0 8 0 1 -8 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.685065884362 1.055373296395 0 5 7 6 0132 0132 0132 0132 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 -1 1 0 8 0 -1 -7 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.112627115985 0.768476255097 8 0 9 5 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 0 0 0 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.164895391835 0.528433869392 8 10 9 0 3201 0132 3201 0132 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 0 0 0 8 0 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.293257257883 1.066207251309 8 7 0 9 1302 2103 0132 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 -1 1 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.177189476647 0.416469516478 7 1 2 9 0321 0132 0132 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 -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 1.459507697903 0.763403358052 7 10 1 10 2310 0213 0132 3120 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 0 0 0 0 0 0 0 0 -7 0 7 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.114539260232 1.109037866776 5 4 6 1 0321 2103 3201 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 -1 0 0 1 0 1 0 -1 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.816009423785 1.826004175492 2 4 10 3 0132 2031 0132 2310 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 0 0 0 8 0 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.606346347165 0.246671949596 3 5 4 2 2310 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.501666277186 0.708558080792 6 3 6 8 3120 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.384130122199 1.346471675679 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_5'], 'c_1001_10' : d['c_1001_0'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0011_7'], 'c_1001_7' : d['c_0011_4'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_9']), 'c_1001_2' : d['c_0011_7'], 'c_1001_9' : negation(d['c_1001_1']), 'c_1001_8' : negation(d['c_0101_9']), 'c_1010_10' : negation(d['c_0101_9']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0011_6'], 's_2_0' : d['1'], 's_2_1' : negation(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_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_9']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_9']), 'c_1100_4' : negation(d['c_0011_9']), 'c_1100_7' : negation(d['c_0011_6']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_1' : negation(d['c_0011_6']), 'c_1100_0' : negation(d['c_0011_9']), 'c_1100_3' : negation(d['c_0011_9']), 'c_1100_2' : negation(d['c_0011_9']), 'c_1100_10' : negation(d['c_0011_10']), 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_1001_1']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_0011_7'], 'c_1010_9' : d['c_0011_7'], 'c_1010_8' : d['c_0011_4'], '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' : negation(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' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : 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' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_5'], 'c_0101_7' : negation(d['c_0101_5']), 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : negation(d['c_0011_4']), 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_5'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : negation(d['c_0011_7']), 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : negation(d['c_0011_0']), 'c_1100_8' : negation(d['c_0011_10'])})} 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_4, c_0011_6, c_0011_7, c_0011_9, c_0101_2, c_0101_5, c_0101_9, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 2270935109849310074347988465/23221605447532697992453838808*c_1001_1\ ^18 + 23338671804963834990800781401/185772843580261583939630710464*\ c_1001_1^17 - 21614329406636106976890387575/92886421790130791969815\ 355232*c_1001_1^16 - 2385994705747186229994945503/46443210895065395\ 984907677616*c_1001_1^15 - 1053217876384654615873811683/64504459576\ 4797166457051078*c_1001_1^14 - 350352854887396450941277112819/92886\ 421790130791969815355232*c_1001_1^13 - 124702165239539982919452851767/26538977654323083419947244352*c_1001\ _1^12 - 111954698788744535761603328345/1161080272376634899622691940\ 4*c_1001_1^11 - 2046718198349898012946831220401/1857728435802615839\ 39630710464*c_1001_1^10 - 951170042018169267252974129899/9288642179\ 0130791969815355232*c_1001_1^9 - 1176321517574572296282317216071/92\ 886421790130791969815355232*c_1001_1^8 - 81425242638076734194563235975/10320713532236754663312817248*c_1001_\ 1^7 - 133542877162203705502806111509/26538977654323083419947244352*\ c_1001_1^6 - 19360683651802520692701618955/884632588477436113998241\ 4784*c_1001_1^5 - 9693513862413680062336375/27159772453254617535033\ 7296*c_1001_1^4 + 26185922137498304054260135165/6634744413580770854\ 986811088*c_1001_1^3 + 49949550048572430889029258853/26538977654323\ 083419947244352*c_1001_1^2 + 191685510324891697619487449471/9288642\ 1790130791969815355232*c_1001_1 + 214034769441938517178266038617/18\ 5772843580261583939630710464, c_0011_0 - 1, c_0011_10 + 714637264910075/1726173272308504*c_1001_1^18 + 10548358346002225/6904693089234016*c_1001_1^17 + 4646589020157307/1726173272308504*c_1001_1^16 + 12141323906955973/1726173272308504*c_1001_1^15 + 42141210925615331/3452346544617008*c_1001_1^14 + 13828258278955609/863086636154252*c_1001_1^13 + 184760710199706439/6904693089234016*c_1001_1^12 + 27774977313417473/863086636154252*c_1001_1^11 + 240734951040507141/6904693089234016*c_1001_1^10 + 164343247595754119/3452346544617008*c_1001_1^9 + 162499923608247209/3452346544617008*c_1001_1^8 + 164336501798306957/3452346544617008*c_1001_1^7 + 362518373713821605/6904693089234016*c_1001_1^6 + 304939091510005207/6904693089234016*c_1001_1^5 + 118551800345577205/3452346544617008*c_1001_1^4 + 94796211316354795/3452346544617008*c_1001_1^3 + 103586188023025267/6904693089234016*c_1001_1^2 + 20825001033427407/3452346544617008*c_1001_1 + 6697135197115835/6904693089234016, c_0011_4 + 19032103853565/215771659038563*c_1001_1^18 + 610543596223079/6904693089234016*c_1001_1^17 - 1232241205601949/3452346544617008*c_1001_1^16 - 34969057868506/215771659038563*c_1001_1^15 - 2370570546935581/1726173272308504*c_1001_1^14 - 12214263346634269/3452346544617008*c_1001_1^13 - 21303639918015483/6904693089234016*c_1001_1^12 - 12335998044096809/1726173272308504*c_1001_1^11 - 62370953922593083/6904693089234016*c_1001_1^10 - 23905459385552137/3452346544617008*c_1001_1^9 - 47010179902798121/3452346544617008*c_1001_1^8 - 42482952685000213/3452346544617008*c_1001_1^7 - 79210806623321581/6904693089234016*c_1001_1^6 - 107777513912437217/6904693089234016*c_1001_1^5 - 9592044919781481/863086636154252*c_1001_1^4 - 14525010985077197/1726173272308504*c_1001_1^3 - 50021208950271423/6904693089234016*c_1001_1^2 - 9978757549055561/3452346544617008*c_1001_1 - 8468014265074085/6904693089234016, c_0011_6 + 992438869921595/3452346544617008*c_1001_1^18 + 8745130832219967/6904693089234016*c_1001_1^17 + 4287352704061213/1726173272308504*c_1001_1^16 + 9811169668956895/1726173272308504*c_1001_1^15 + 38095321448064887/3452346544617008*c_1001_1^14 + 51565838082611635/3452346544617008*c_1001_1^13 + 157451661075203485/6904693089234016*c_1001_1^12 + 105669066789379247/3452346544617008*c_1001_1^11 + 224434998797984403/6904693089234016*c_1001_1^10 + 144657997863770631/3452346544617008*c_1001_1^9 + 159621201615574881/3452346544617008*c_1001_1^8 + 18997550387887731/431543318077126*c_1001_1^7 + 337829916887211161/6904693089234016*c_1001_1^6 + 301322337836059781/6904693089234016*c_1001_1^5 + 115487415282109163/3452346544617008*c_1001_1^4 + 5773042938081114/215771659038563*c_1001_1^3 + 109357603328843245/6904693089234016*c_1001_1^2 + 11565266502744203/1726173272308504*c_1001_1 + 14612141867496409/6904693089234016, c_0011_7 - 216724252155/3452346544617008*c_1001_1^18 + 160785045982903/1726173272308504*c_1001_1^17 + 817354914558229/3452346544617008*c_1001_1^16 + 729572706419271/3452346544617008*c_1001_1^15 + 760191034107807/863086636154252*c_1001_1^14 + 817397679538581/863086636154252*c_1001_1^13 + 1836352791593811/3452346544617008*c_1001_1^12 + 401760814956604/215771659038563*c_1001_1^11 + 999393522706447/1726173272308504*c_1001_1^10 - 165481393143911/1726173272308504*c_1001_1^9 + 3255853663725237/1726173272308504*c_1001_1^8 - 2520835957677961/3452346544617008*c_1001_1^7 - 2101035520771103/3452346544617008*c_1001_1^6 + 173859483940063/3452346544617008*c_1001_1^5 - 1685255323762429/863086636154252*c_1001_1^4 - 1217075039590829/431543318077126*c_1001_1^3 - 5672609197641655/3452346544617008*c_1001_1^2 - 3546068414349695/1726173272308504*c_1001_1 - 1872352469043451/1726173272308504, c_0011_9 - 57162026991725/1726173272308504*c_1001_1^18 - 271821162763015/3452346544617008*c_1001_1^17 + 127149301273061/3452346544617008*c_1001_1^16 + 393511691397807/3452346544617008*c_1001_1^15 + 110546146714532/215771659038563*c_1001_1^14 + 5349300487896251/3452346544617008*c_1001_1^13 + 3772316578239227/1726173272308504*c_1001_1^12 + 12814850674443547/3452346544617008*c_1001_1^11 + 18307691218125105/3452346544617008*c_1001_1^10 + 8696873026750957/1726173272308504*c_1001_1^9 + 12318140482689165/1726173272308504*c_1001_1^8 + 13691987537055483/1726173272308504*c_1001_1^7 + 25474803736371147/3452346544617008*c_1001_1^6 + 16734781373829447/1726173272308504*c_1001_1^5 + 13768936006583869/1726173272308504*c_1001_1^4 + 20053726428302469/3452346544617008*c_1001_1^3 + 8769571060685319/1726173272308504*c_1001_1^2 + 7209208604352089/3452346544617008*c_1001_1 + 2245921232322349/3452346544617008, c_0101_2 - 1837427202990745/6904693089234016*c_1001_1^18 - 6993807354715561/6904693089234016*c_1001_1^17 - 1635192978627349/863086636154252*c_1001_1^16 - 8224184867476967/1726173272308504*c_1001_1^15 - 14285021156122553/1726173272308504*c_1001_1^14 - 79475806223241835/6904693089234016*c_1001_1^13 - 124777673534220785/6904693089234016*c_1001_1^12 - 151414036900420699/6904693089234016*c_1001_1^11 - 173066605231514253/6904693089234016*c_1001_1^10 - 54113703299889707/1726173272308504*c_1001_1^9 - 6947732896671959/215771659038563*c_1001_1^8 - 237238123443791607/6904693089234016*c_1001_1^7 - 14727761253652823/431543318077126*c_1001_1^6 - 212056437402493973/6904693089234016*c_1001_1^5 - 84637134033074325/3452346544617008*c_1001_1^4 - 119159197270785793/6904693089234016*c_1001_1^3 - 63765844348696859/6904693089234016*c_1001_1^2 - 31416147453775511/6904693089234016*c_1001_1 - 619662871662709/6904693089234016, c_0101_5 - 1349395323353745/6904693089234016*c_1001_1^18 - 2311639252987603/3452346544617008*c_1001_1^17 - 3674616555776039/3452346544617008*c_1001_1^16 - 9773534411428095/3452346544617008*c_1001_1^15 - 15031473532904851/3452346544617008*c_1001_1^14 - 35010700906157649/6904693089234016*c_1001_1^13 - 30933273613558369/3452346544617008*c_1001_1^12 - 60731516185492321/6904693089234016*c_1001_1^11 - 30230654201607787/3452346544617008*c_1001_1^10 - 48521994900245045/3452346544617008*c_1001_1^9 - 36337581351197265/3452346544617008*c_1001_1^8 - 76806948347530305/6904693089234016*c_1001_1^7 - 91941473579811189/6904693089234016*c_1001_1^6 - 22856566951400815/3452346544617008*c_1001_1^5 - 8159626446553757/1726173272308504*c_1001_1^4 - 29733279970311565/6904693089234016*c_1001_1^3 + 271559479507721/431543318077126*c_1001_1^2 + 3891369218229421/6904693089234016*c_1001_1 + 118577575074909/215771659038563, c_0101_9 + 286747706424255/863086636154252*c_1001_1^18 + 2121983156294543/1726173272308504*c_1001_1^17 + 929284238967617/431543318077126*c_1001_1^16 + 2379646131352545/431543318077126*c_1001_1^15 + 2029481581705079/215771659038563*c_1001_1^14 + 10393680120844813/863086636154252*c_1001_1^13 + 33987820057753255/1726173272308504*c_1001_1^12 + 19875764432593131/863086636154252*c_1001_1^11 + 41768858296652707/1726173272308504*c_1001_1^10 + 14216489609352911/431543318077126*c_1001_1^9 + 13667939498121449/431543318077126*c_1001_1^8 + 13592720842993707/431543318077126*c_1001_1^7 + 59311653193085267/1726173272308504*c_1001_1^6 + 47237175231045423/1726173272308504*c_1001_1^5 + 16400099380836067/863086636154252*c_1001_1^4 + 6369750504169907/431543318077126*c_1001_1^3 + 11512907762607957/1726173272308504*c_1001_1^2 + 997034466622009/863086636154252*c_1001_1 - 2868829635370031/1726173272308504, c_1001_0 - 281117507472765/6904693089234016*c_1001_1^18 - 1773846228491877/6904693089234016*c_1001_1^17 - 1023366356874173/1726173272308504*c_1001_1^16 - 1071030704594409/863086636154252*c_1001_1^15 - 5236333410792197/1726173272308504*c_1001_1^14 - 30547935624162251/6904693089234016*c_1001_1^13 - 44281605415500665/6904693089234016*c_1001_1^12 - 72838764241905411/6904693089234016*c_1001_1^11 - 76621793538708193/6904693089234016*c_1001_1^10 - 23183858668963487/1726173272308504*c_1001_1^9 - 15261708113336975/863086636154252*c_1001_1^8 - 103918978637368643/6904693089234016*c_1001_1^7 - 15236143794274167/863086636154252*c_1001_1^6 - 129212299646823005/6904693089234016*c_1001_1^5 - 47033325493533793/3452346544617008*c_1001_1^4 - 84410508162581217/6904693089234016*c_1001_1^3 - 59192332994353755/6904693089234016*c_1001_1^2 - 24759867026981415/6904693089234016*c_1001_1 - 9861728745646585/6904693089234016, c_1001_1^19 + 19/5*c_1001_1^18 + 37/5*c_1001_1^17 + 98/5*c_1001_1^16 + 174/5*c_1001_1^15 + 253/5*c_1001_1^14 + 421/5*c_1001_1^13 + 524/5*c_1001_1^12 + 125*c_1001_1^11 + 821/5*c_1001_1^10 + 842/5*c_1001_1^9 + 921/5*c_1001_1^8 + 992/5*c_1001_1^7 + 888/5*c_1001_1^6 + 783/5*c_1001_1^5 + 647/5*c_1001_1^4 + 413/5*c_1001_1^3 + 248/5*c_1001_1^2 + 107/5*c_1001_1 + 39/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.220 Total time: 0.430 seconds, Total memory usage: 32.09MB