Magma V2.19-8 Tue Aug 20 2013 16:16:43 on localhost [Seed = 1309659781] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1003 geometric_solution 4.88886035 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 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.546274163463 0.188567240126 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 -1 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 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 1.258303329701 0.351674603438 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 -1 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 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.577304825839 0.631027537619 2 5 4 4 0132 0132 1302 2031 0 0 0 0 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 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.392967417183 0.374046635291 3 3 2 5 2031 1302 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 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.392967417183 0.374046635291 6 3 4 6 0132 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 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.508519346543 0.714111651401 5 5 6 6 0132 2310 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.959083849063 1.152226757171 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], '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_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_0_6' : 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_1100_6' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 6596540026062907/59827200435435*c_0101_5*c_0101_6^15 - 25796367374610626/59827200435435*c_0101_5*c_0101_6^14 - 29338760066201650/11965440087087*c_0101_5*c_0101_6^13 + 76474768720298098/59827200435435*c_0101_5*c_0101_6^12 + 151050112332624464/11965440087087*c_0101_5*c_0101_6^11 + 244700399919609892/59827200435435*c_0101_5*c_0101_6^10 - 1602264341023601321/59827200435435*c_0101_5*c_0101_6^9 - 559460993289656558/19942400145145*c_0101_5*c_0101_6^8 + 171113322503212931/19942400145145*c_0101_5*c_0101_6^7 + 603850012248744696/19942400145145*c_0101_5*c_0101_6^6 + 657178728029010739/59827200435435*c_0101_5*c_0101_6^5 - 123264521042866856/11965440087087*c_0101_5*c_0101_6^4 - 68651097903424117/11965440087087*c_0101_5*c_0101_6^3 + 64372505988643532/59827200435435*c_0101_5*c_0101_6^2 + 81122697994734748/59827200435435*c_0101_5*c_0101_6 - 15309011876258893/59827200435435*c_0101_5, c_0011_0 - 1, c_0011_1 - 983841396565/3988480029029*c_0101_6^15 + 3736670224698/3988480029029*c_0101_6^14 + 22552700786064/3988480029029*c_0101_6^13 - 10085749423844/3988480029029*c_0101_6^12 - 118325505794431/3988480029029*c_0101_6^11 - 42788392164300/3988480029029*c_0101_6^10 + 256885323447518/3988480029029*c_0101_6^9 + 268169520278742/3988480029029*c_0101_6^8 - 97368902268026/3988480029029*c_0101_6^7 - 299117474159089/3988480029029*c_0101_6^6 - 99483779754492/3988480029029*c_0101_6^5 + 116957840837667/3988480029029*c_0101_6^4 + 63915867491760/3988480029029*c_0101_6^3 - 12263083798869/3988480029029*c_0101_6^2 - 15683863107621/3988480029029*c_0101_6 - 584332640757/3988480029029, c_0011_4 + 1988055969540/3988480029029*c_0101_6^15 - 7017625154592/3988480029029*c_0101_6^14 - 47362342405451/3988480029029*c_0101_6^13 + 6936757327338/3988480029029*c_0101_6^12 + 240592444366404/3988480029029*c_0101_6^11 + 159796811843071/3988480029029*c_0101_6^10 - 473495603479624/3988480029029*c_0101_6^9 - 704770514024467/3988480029029*c_0101_6^8 - 9492344764842/3988480029029*c_0101_6^7 + 663852636775191/3988480029029*c_0101_6^6 + 431705491056634/3988480029029*c_0101_6^5 - 139300764954905/3988480029029*c_0101_6^4 - 206428004936673/3988480029029*c_0101_6^3 - 29150626956031/3988480029029*c_0101_6^2 + 33845821059805/3988480029029*c_0101_6 + 4924553236153/3988480029029, c_0101_0 + 1821774495670/3988480029029*c_0101_5*c_0101_6^15 - 4687991142068/3988480029029*c_0101_5*c_0101_6^14 - 49910874439295/3988480029029*c_0101_5*c_0101_6^13 - 33325381330174/3988480029029*c_0101_5*c_0101_6^12 + 232949618855243/3988480029029*c_0101_5*c_0101_6^11 + 343235391237405/3988480029029*c_0101_5*c_0101_6^10 - 333173765985055/3988480029029*c_0101_5*c_0101_6^9 - 1026523560649877/3988480029029*c_0101_5*c_0101_6^8 - 508745367676243/3988480029029*c_0101_5*c_0101_6^7 + 604968098435871/3988480029029*c_0101_5*c_0101_6^6 + 821822086087014/3988480029029*c_0101_5*c_0101_6^5 + 132891727879558/3988480029029*c_0101_5*c_0101_6^4 - 265590300654863/3988480029029*c_0101_5*c_0101_6^3 - 117520192606773/3988480029029*c_0101_5*c_0101_6^2 + 17866105432822/3988480029029*c_0101_5*c_0101_6 + 19895993402524/3988480029029*c_0101_5, c_0101_2 + 5951498915643/3988480029029*c_0101_5*c_0101_6^15 - 19729975698993/3988480029029*c_0101_5*c_0101_6^14 - 145950072994993/3988480029029*c_0101_5*c_0101_6^13 - 10793827604397/3988480029029*c_0101_5*c_0101_6^12 + 716740007526352/3988480029029*c_0101_5*c_0101_6^11 + 628204642185839/3988480029029*c_0101_5*c_0101_6^10 - 1285212393557329/3988480029029*c_0101_5*c_0101_6^9 - 2356099337493237/3988480029029*c_0101_5*c_0101_6^8 - 495437492092681/3988480029029*c_0101_5*c_0101_6^7 + 1817821901515801/3988480029029*c_0101_5*c_0101_6^6 + 1562438562548816/3988480029029*c_0101_5*c_0101_6^5 - 105383818278207/3988480029029*c_0101_5*c_0101_6^4 - 573288982752009/3988480029029*c_0101_5*c_0101_6^3 - 145465476849649/3988480029029*c_0101_5*c_0101_6^2 + 65905360115421/3988480029029*c_0101_5*c_0101_6 + 22330217324002/3988480029029*c_0101_5, c_0101_5^2 - 198695361562/3988480029029*c_0101_6^15 + 908190061634/3988480029029*c_0101_6^14 + 3688030128066/3988480029029*c_0101_6^13 - 4199903792891/3988480029029*c_0101_6^12 - 17208515853610/3988480029029*c_0101_6^11 + 2070401737183/3988480029029*c_0101_6^10 + 33031426499707/3988480029029*c_0101_6^9 + 26595113699164/3988480029029*c_0101_6^8 - 3965055189589/3988480029029*c_0101_6^7 - 27663357805247/3988480029029*c_0101_6^6 - 12909223508913/3988480029029*c_0101_6^5 + 4885383697860/3988480029029*c_0101_6^4 + 8397585528996/3988480029029*c_0101_6^3 - 1963197998480/3988480029029*c_0101_6^2 - 3535856830452/3988480029029*c_0101_6 - 983841396565/3988480029029, c_0101_6^16 - 4*c_0101_6^15 - 22*c_0101_6^14 + 14*c_0101_6^13 + 116*c_0101_6^12 + 26*c_0101_6^11 - 259*c_0101_6^10 - 239*c_0101_6^9 + 126*c_0101_6^8 + 300*c_0101_6^7 + 73*c_0101_6^6 - 132*c_0101_6^5 - 60*c_0101_6^4 + 21*c_0101_6^3 + 18*c_0101_6^2 - 3*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB