Magma V2.19-8 Tue Aug 20 2013 23:48:48 on localhost [Seed = 3313741663] Type ? for help. Type -D to quit. Loading file "L12n1041__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n1041 geometric_solution 10.92656327 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 2 3 0132 0132 1302 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.859442853312 0.655577251844 0 4 5 4 0132 0132 0132 1230 1 1 0 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 0 0 0 0 0 0 0 0 -1 -1 2 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.470480151633 0.506552872074 0 0 7 6 2031 0132 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 -1 0 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.264442374174 0.561078430117 8 8 0 9 0132 0321 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 1 -1 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.642021238340 0.430507495812 1 1 10 9 3012 0132 0132 1023 1 1 1 0 0 -1 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 0 0 0 0 1 -1 0 -2 0 0 2 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.986094202442 0.943324130196 8 11 10 1 1230 0132 0321 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 -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.274329523244 1.672246209075 10 10 2 9 1302 3012 0132 3201 1 1 1 0 0 0 0 0 0 0 0 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 0 -1 1 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.597507714120 0.929831818271 11 8 11 2 3201 0213 2103 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.554505505800 0.955540770741 3 5 7 3 0132 3012 0213 0321 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 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.476221083406 0.448731039837 11 6 3 4 2031 2310 0132 1023 1 1 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 0 0 0 0 0 0 0 0 1 1 -2 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.601792676525 0.551988923810 6 6 5 4 1230 2031 0321 0132 1 1 0 1 0 1 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 0 0 0 0 -1 0 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.597507714120 0.929831818271 7 5 9 7 2103 0132 1302 2310 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 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.195303381919 0.553182385488 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0110_9'], 'c_1001_10' : d['c_0110_4'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0011_6'], 'c_1001_7' : d['c_0011_11'], 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : d['c_0110_9'], 'c_1001_0' : negation(d['c_0011_10']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : d['c_0011_11'], 'c_1010_11' : negation(d['c_0101_2']), 'c_1010_10' : d['c_0011_6'], '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_9']), '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_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0110_4'], 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : negation(d['c_0011_9']), 'c_1100_6' : negation(d['c_0011_9']), 'c_1100_1' : d['c_0110_4'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0011_9']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_7'], 'c_1100_10' : negation(d['c_0101_2']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0101_10']), 'c_1010_5' : d['c_0110_9'], 'c_1010_4' : d['c_0110_9'], 'c_1010_3' : d['c_0101_10'], 'c_1010_2' : negation(d['c_0011_10']), 'c_1010_1' : d['c_0011_6'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0110_4'], 'c_1010_8' : d['c_0101_10'], 'c_1100_8' : d['c_1001_2'], '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_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_9'], 'c_0110_10' : d['c_0011_6'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0101_7' : negation(d['c_0011_9']), 'c_0101_6' : negation(d['c_0011_10']), 'c_0101_5' : negation(d['c_0101_10']), 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0011_7'], 'c_0101_8' : d['c_0011_7'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0011_0'], 'c_1100_9' : d['c_0101_2'], 'c_0110_3' : d['c_0011_7'], 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0110_4'])})} 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_6, c_0011_7, c_0011_9, c_0101_10, c_0101_2, c_0110_4, c_0110_9, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 1084225129695941/12926183553640*c_1001_2^11 - 301395878770837/12926183553640*c_1001_2^10 + 409884522002321/369319530104*c_1001_2^9 - 4005706114745233/461649412630*c_1001_2^8 + 76624686715770325/2585236710728*c_1001_2^7 - 25023885448555407/369319530104*c_1001_2^6 + 1493303587867704769/12926183553640*c_1001_2^5 - 978399830211380553/6463091776820*c_1001_2^4 + 1924066013504411629/12926183553640*c_1001_2^3 - 1340364394114958491/12926183553640*c_1001_2^2 + 598596719210257053/12926183553640*c_1001_2 - 16206923703067044/1615772944205, c_0011_0 - 1, c_0011_10 + 1174964014/6594991609*c_1001_2^11 + 3327012841/13189983218*c_1001_2^10 + 34238215789/13189983218*c_1001_2^9 - 94438528895/6594991609*c_1001_2^8 + 237558817127/6594991609*c_1001_2^7 - 894221990543/13189983218*c_1001_2^6 + 1259544823763/13189983218*c_1001_2^5 - 649403350190/6594991609*c_1001_2^4 + 463640959318/6594991609*c_1001_2^3 - 423771820915/13189983218*c_1001_2^2 + 150060154437/13189983218*c_1001_2 - 14425313611/6594991609, c_0011_11 - 319948889/13189983218*c_1001_2^11 - 3891214287/6594991609*c_1001_2^10 - 22051284177/13189983218*c_1001_2^9 - 49768660976/6594991609*c_1001_2^8 + 399164515719/13189983218*c_1001_2^7 - 475154283597/6594991609*c_1001_2^6 + 1688786785833/13189983218*c_1001_2^5 - 1086394310097/6594991609*c_1001_2^4 + 2000080963527/13189983218*c_1001_2^3 - 578684699166/6594991609*c_1001_2^2 + 424143329343/13189983218*c_1001_2 - 60716097558/6594991609, c_0011_3 + 1, c_0011_6 - 2453968921/13189983218*c_1001_2^11 - 2641226138/6594991609*c_1001_2^10 - 40818670765/13189983218*c_1001_2^9 + 82055050523/6594991609*c_1001_2^8 - 396114633921/13189983218*c_1001_2^7 + 355601431204/6594991609*c_1001_2^6 - 948239069281/13189983218*c_1001_2^5 + 466156761850/6594991609*c_1001_2^4 - 622868558033/13189983218*c_1001_2^3 + 149431049568/6594991609*c_1001_2^2 - 109716480639/13189983218*c_1001_2 + 12072645656/6594991609, c_0011_7 + 2423133600/6594991609*c_1001_2^11 + 3712278193/6594991609*c_1001_2^10 + 73411747423/13189983218*c_1001_2^9 - 187976365353/6594991609*c_1001_2^8 + 485106560948/6594991609*c_1001_2^7 - 923532253923/6594991609*c_1001_2^6 + 2636708460617/13189983218*c_1001_2^5 - 1398403973673/6594991609*c_1001_2^4 + 1044351772419/6594991609*c_1001_2^3 - 528252741580/6594991609*c_1001_2^2 + 358329243633/13189983218*c_1001_2 - 38692489293/6594991609, c_0011_9 - 2109698899/13189983218*c_1001_2^11 - 4039315199/6594991609*c_1001_2^10 - 44004493161/13189983218*c_1001_2^9 + 39690905357/6594991609*c_1001_2^8 - 125037468903/13189983218*c_1001_2^7 + 64275952321/6594991609*c_1001_2^6 + 19702701361/13189983218*c_1001_2^5 - 114665794371/6594991609*c_1001_2^4 + 382179957417/13189983218*c_1001_2^3 - 125936222369/6594991609*c_1001_2^2 + 100708982299/13189983218*c_1001_2 - 16144196956/6594991609, c_0101_10 + 114180579/6594991609*c_1001_2^11 - 1304636709/6594991609*c_1001_2^10 - 3104501695/13189983218*c_1001_2^9 - 33507710957/6594991609*c_1001_2^8 + 120746603350/6594991609*c_1001_2^7 - 272390132020/6594991609*c_1001_2^6 + 935302444891/13189983218*c_1001_2^5 - 591259862191/6594991609*c_1001_2^4 + 537103600702/6594991609*c_1001_2^3 - 323773879726/6594991609*c_1001_2^2 + 241293966995/13189983218*c_1001_2 - 34037358389/6594991609, c_0101_2 + 1174964014/6594991609*c_1001_2^11 + 3327012841/13189983218*c_1001_2^10 + 34238215789/13189983218*c_1001_2^9 - 94438528895/6594991609*c_1001_2^8 + 237558817127/6594991609*c_1001_2^7 - 894221990543/13189983218*c_1001_2^6 + 1259544823763/13189983218*c_1001_2^5 - 649403350190/6594991609*c_1001_2^4 + 463640959318/6594991609*c_1001_2^3 - 423771820915/13189983218*c_1001_2^2 + 136870171219/13189983218*c_1001_2 - 14425313611/6594991609, c_0110_4 - 2329155303/13189983218*c_1001_2^11 - 2033933033/6594991609*c_1001_2^10 - 36034813389/13189983218*c_1001_2^9 + 86481045076/6594991609*c_1001_2^8 - 428034496135/13189983218*c_1001_2^7 + 391460288341/6594991609*c_1001_2^6 - 1068353068265/13189983218*c_1001_2^5 + 527714862035/6594991609*c_1001_2^4 - 702331102719/13189983218*c_1001_2^3 + 141398537304/6594991609*c_1001_2^2 - 76056229835/13189983218*c_1001_2 + 6379460672/6594991609, c_0110_9 - 2391562112/6594991609*c_1001_2^11 - 4675159171/6594991609*c_1001_2^10 - 38426742077/6594991609*c_1001_2^9 + 168536095599/6594991609*c_1001_2^8 - 412074565028/6594991609*c_1001_2^7 + 747061719545/6594991609*c_1001_2^6 - 1008296068773/6594991609*c_1001_2^5 + 993871623885/6594991609*c_1001_2^4 - 662599830376/6594991609*c_1001_2^3 + 290829586872/6594991609*c_1001_2^2 - 92886355237/6594991609*c_1001_2 + 18452106328/6594991609, c_1001_2^12 + c_1001_2^11 + 15*c_1001_2^10 - 84*c_1001_2^9 + 253*c_1001_2^8 - 529*c_1001_2^7 + 841*c_1001_2^6 - 1030*c_1001_2^5 + 943*c_1001_2^4 - 631*c_1001_2^3 + 295*c_1001_2^2 - 94*c_1001_2 + 20 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.310 seconds, Total memory usage: 32.09MB