Magma V2.19-8 Wed Aug 21 2013 00:54:51 on localhost [Seed = 2244190146] Type ? for help. Type -D to quit. Loading file "L12n670__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n670 geometric_solution 11.43956911 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 1 1 1 1 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 -1 0 0 0 0 0 -1 -2 0 3 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.680926037399 1.222961402720 0 4 5 3 0132 0132 0132 1302 1 1 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 0 0 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.652463725103 0.624184458957 0 0 7 6 3012 0132 0132 0132 1 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 -1 1 0 0 0 0 0 0 1 0 -1 -3 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.199740463550 0.765574462711 3 3 1 0 1230 3012 2031 0132 1 1 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 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.188934969514 0.645852853051 8 1 6 9 0132 0132 3201 0132 1 0 1 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 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.200581228395 0.653769404451 8 9 10 1 1230 0132 0132 0132 1 1 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 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 1.225429424730 1.555045647674 4 10 2 11 2310 1230 0132 0132 1 1 0 1 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 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.528089220491 0.793458745387 9 10 12 2 3201 2103 0132 0132 1 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 0 0 0 0 1 0 -1 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.748260041678 1.334562556328 4 5 12 11 0132 3012 0213 2310 1 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 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.698070944208 0.210976568791 11 5 4 7 1302 0132 0132 2310 1 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.319639438534 0.570094355482 12 7 6 5 0132 2103 3012 0132 1 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 0 0 0 0 -1 1 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.619136434209 0.443215981192 8 9 6 12 3201 2031 0132 0132 1 1 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.645728497395 0.621513868083 10 8 11 7 0132 0213 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.407387417638 0.877032827124 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : negation(d['c_0011_6']), 'c_1001_12' : negation(d['c_0011_5']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : negation(d['c_0011_5']), 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : negation(d['c_0011_5']), 'c_1010_10' : negation(d['c_0101_2']), 's_3_11' : d['1'], 's_3_10' : negation(d['1']), 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(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' : negation(d['c_0011_6']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_0011_6']), 'c_1100_7' : d['c_1100_11'], 'c_1100_6' : d['c_1100_11'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : d['c_1100_11'], 's_0_10' : d['1'], 'c_1100_11' : d['c_1100_11'], 'c_1100_10' : d['c_0101_3'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_6']), 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : negation(d['c_0101_2']), 'c_1010_8' : negation(d['c_0101_12']), 'c_1100_8' : d['c_0011_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' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1100_11'], 's_1_7' : negation(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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_5']), 'c_0011_8' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_6']), '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_12'], 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_12'], 'c_0101_4' : negation(d['c_0101_11']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0011_3'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : negation(d['c_0011_10']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : negation(d['c_0101_10']), 'c_0110_8' : negation(d['c_0101_11']), 'c_0110_1' : d['c_0011_3'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_11']})} 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_3, c_0011_5, c_0011_6, c_0101_10, c_0101_11, c_0101_12, c_0101_2, c_0101_3, c_0101_6, c_1001_1, c_1100_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 1745788244693260148779/12867748613809671673*c_1100_11^13 + 9048255422470285091284/12867748613809671673*c_1100_11^12 + 3474927309052384416964/1838249801972810239*c_1100_11^11 + 56681823309600851846825/12867748613809671673*c_1100_11^10 - 2815893632841111971921/1838249801972810239*c_1100_11^9 + 147323420503513397816187/12867748613809671673*c_1100_11^8 - 66230664635887612278241/1838249801972810239*c_1100_11^7 + 262178818934668530127208/12867748613809671673*c_1100_11^6 - 691292424149157559988377/12867748613809671673*c_1100_11^5 + 297445316449899131306848/12867748613809671673*c_1100_11^4 - 241402203389466524069544/12867748613809671673*c_1100_11^3 + 30866572446148868087310/1838249801972810239*c_1100_11^2 - 70710085089091281424176/12867748613809671673*c_1100_11 + 7446719881853327613094/12867748613809671673, c_0011_0 - 1, c_0011_10 - 12180961807846/170123825892031*c_1100_11^13 - 68654505136207/170123825892031*c_1100_11^12 - 201830295181752/170123825892031*c_1100_11^11 - 492615358884371/170123825892031*c_1100_11^10 - 102590130898699/170123825892031*c_1100_11^9 - 1116435756786586/170123825892031*c_1100_11^8 + 2713844025938963/170123825892031*c_1100_11^7 - 698358268795208/170123825892031*c_1100_11^6 + 428403906468790/15465802353821*c_1100_11^5 + 38180554269558/170123825892031*c_1100_11^4 + 2075620130239222/170123825892031*c_1100_11^3 - 481583746376742/170123825892031*c_1100_11^2 + 441218066305642/170123825892031*c_1100_11 - 21262354633141/170123825892031, c_0011_3 + 31596703993437/15465802353821*c_1100_11^13 + 160540515114800/15465802353821*c_1100_11^12 + 423421064313818/15465802353821*c_1100_11^11 + 980563835071415/15465802353821*c_1100_11^10 - 461893051236006/15465802353821*c_1100_11^9 + 2702042594132334/15465802353821*c_1100_11^8 - 8653658255196773/15465802353821*c_1100_11^7 + 5589282163559438/15465802353821*c_1100_11^6 - 12943429232364319/15465802353821*c_1100_11^5 + 6585809672630616/15465802353821*c_1100_11^4 - 4845708296195658/15465802353821*c_1100_11^3 + 4250422000231521/15465802353821*c_1100_11^2 - 1639517218337532/15465802353821*c_1100_11 + 218952024851448/15465802353821, c_0011_5 - 203680742872258/15465802353821*c_1100_11^13 - 1086315358681376/15465802353821*c_1100_11^12 - 3010031367319924/15465802353821*c_1100_11^11 - 7113919518194988/15465802353821*c_1100_11^10 + 1090933514527008/15465802353821*c_1100_11^9 - 17355906466270416/15465802353821*c_1100_11^8 + 51447022894968558/15465802353821*c_1100_11^7 - 23581983272162876/15465802353821*c_1100_11^6 + 79105606755125720/15465802353821*c_1100_11^5 - 23321519013622024/15465802353821*c_1100_11^4 + 27863934874918160/15465802353821*c_1100_11^3 - 21259172511447608/15465802353821*c_1100_11^2 + 6133423345595551/15465802353821*c_1100_11 - 611284355294650/15465802353821, c_0011_6 - 337637401039731/170123825892031*c_1100_11^13 - 1809218576822874/170123825892031*c_1100_11^12 - 5032758403549518/170123825892031*c_1100_11^11 - 11906588563848845/170123825892031*c_1100_11^10 + 1544864793128614/170123825892031*c_1100_11^9 - 28645784708132643/170123825892031*c_1100_11^8 + 84579430083406408/170123825892031*c_1100_11^7 - 36742562660346821/170123825892031*c_1100_11^6 + 11790838182256090/15465802353821*c_1100_11^5 - 35214161087150630/170123825892031*c_1100_11^4 + 44385683945226529/170123825892031*c_1100_11^3 - 34259600684203769/170123825892031*c_1100_11^2 + 8954162614681452/170123825892031*c_1100_11 - 760499380061766/170123825892031, c_0101_10 + 9081392825295/170123825892031*c_1100_11^13 + 49838229837344/170123825892031*c_1100_11^12 + 143234820185288/170123825892031*c_1100_11^11 + 347085575291611/170123825892031*c_1100_11^10 + 28565199222275/170123825892031*c_1100_11^9 + 835979227195380/170123825892031*c_1100_11^8 - 2144441869187072/170123825892031*c_1100_11^7 + 840268631894029/170123825892031*c_1100_11^6 - 333474926218119/15465802353821*c_1100_11^5 + 513752113599272/170123825892031*c_1100_11^4 - 1683472484830011/170123825892031*c_1100_11^3 + 632149318355186/170123825892031*c_1100_11^2 - 459251238471781/170123825892031*c_1100_11 - 15945984815919/170123825892031, c_0101_11 + 1, c_0101_12 - 203801806211196/15465802353821*c_1100_11^13 - 1086893580332066/15465802353821*c_1100_11^12 - 3011490305095951/15465802353821*c_1100_11^11 - 7117321253982218/15465802353821*c_1100_11^10 + 1093490503643527/15465802353821*c_1100_11^9 - 17367449464918563/15465802353821*c_1100_11^8 + 51483987238278838/15465802353821*c_1100_11^7 - 23613932445899283/15465802353821*c_1100_11^6 + 79165414841763477/15465802353821*c_1100_11^5 - 23363128461573428/15465802353821*c_1100_11^4 + 27894654144011783/15465802353821*c_1100_11^3 - 21284772953915866/15465802353821*c_1100_11^2 + 6178176519731456/15465802353821*c_1100_11 - 608727360147035/15465802353821, c_0101_2 - 93490509540664/15465802353821*c_1100_11^13 - 493652297684920/15465802353821*c_1100_11^12 - 1353439808365449/15465802353821*c_1100_11^11 - 3182434068638092/15465802353821*c_1100_11^10 + 702174336844445/15465802353821*c_1100_11^9 - 7925383628485161/15465802353821*c_1100_11^8 + 24052589684670743/15465802353821*c_1100_11^7 - 11931905089697447/15465802353821*c_1100_11^6 + 36510074037432577/15465802353821*c_1100_11^5 - 12563359065045377/15465802353821*c_1100_11^4 + 12710147862437607/15465802353821*c_1100_11^3 - 10444441399188822/15465802353821*c_1100_11^2 + 3096797280174532/15465802353821*c_1100_11 - 313261752006379/15465802353821, c_0101_3 - 117263267614887/15465802353821*c_1100_11^13 - 623557144176321/15465802353821*c_1100_11^12 - 1721461465438374/15465802353821*c_1100_11^11 - 4059231909033341/15465802353821*c_1100_11^10 + 719311838748635/15465802353821*c_1100_11^9 - 9938134225990408/15465802353821*c_1100_11^8 + 29791295026017646/15465802353821*c_1100_11^7 - 13909070214374200/15465802353821*c_1100_11^6 + 45416839833423260/15465802353821*c_1100_11^5 - 14101072601546617/15465802353821*c_1100_11^4 + 15699249119008652/15465802353821*c_1100_11^3 - 12554880201120501/15465802353821*c_1100_11^2 + 3533562088996143/15465802353821*c_1100_11 - 336398156714440/15465802353821, c_0101_6 - 129947102796084/15465802353821*c_1100_11^13 - 695993785392470/15465802353821*c_1100_11^12 - 1935288852820333/15465802353821*c_1100_11^11 - 4577460956067826/15465802353821*c_1100_11^10 + 607744714581690/15465802353821*c_1100_11^9 - 11022272683721721/15465802353821*c_1100_11^8 + 32592756107184205/15465802353821*c_1100_11^7 - 14241142960665394/15465802353821*c_1100_11^6 + 50005957132958416/15465802353821*c_1100_11^5 - 13802053277020713/15465802353821*c_1100_11^4 + 17220917555231599/15465802353821*c_1100_11^3 - 13319552786112969/15465802353821*c_1100_11^2 + 3522659436752850/15465802353821*c_1100_11 - 310872182189395/15465802353821, c_1001_1 + 93490509540664/15465802353821*c_1100_11^13 + 493652297684920/15465802353821*c_1100_11^12 + 1353439808365449/15465802353821*c_1100_11^11 + 3182434068638092/15465802353821*c_1100_11^10 - 702174336844445/15465802353821*c_1100_11^9 + 7925383628485161/15465802353821*c_1100_11^8 - 24052589684670743/15465802353821*c_1100_11^7 + 11931905089697447/15465802353821*c_1100_11^6 - 36510074037432577/15465802353821*c_1100_11^5 + 12563359065045377/15465802353821*c_1100_11^4 - 12710147862437607/15465802353821*c_1100_11^3 + 10444441399188822/15465802353821*c_1100_11^2 - 3096797280174532/15465802353821*c_1100_11 + 313261752006379/15465802353821, c_1100_11^14 + 5*c_1100_11^13 + 13*c_1100_11^12 + 30*c_1100_11^11 - 17*c_1100_11^10 + 87*c_1100_11^9 - 281*c_1100_11^8 + 200*c_1100_11^7 - 427*c_1100_11^6 + 244*c_1100_11^5 - 175*c_1100_11^4 + 150*c_1100_11^3 - 65*c_1100_11^2 + 13*c_1100_11 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.190 Total time: 0.400 seconds, Total memory usage: 32.09MB