Magma V2.19-8 Tue Aug 20 2013 16:16:59 on localhost [Seed = 3684321038] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1235 geometric_solution 5.13088358 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 0 0 1 0 0 -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 1 0 -1 0 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.376316910316 0.381705131685 0 3 2 4 0132 0132 1230 0132 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 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.690220713256 1.328533109779 3 0 4 1 2310 0132 0132 3012 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 -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.690220713256 1.328533109779 5 1 2 5 0132 0132 3201 3201 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.083711317123 0.501610593909 4 4 1 2 1302 2031 0132 0132 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 -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.539679574492 0.743502657610 3 3 6 6 0132 2310 2310 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 2.829748141976 1.533150515998 6 5 5 6 3201 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.540327813707 0.136968442427 ==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_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0101_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0101_3']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_4']), 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_4'], '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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_4']})} 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_4, c_0011_6, c_0101_1, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 417918354889/87347738581*c_0101_5^15 + 2035602856781/87347738581*c_0101_5^14 + 822930725965/87347738581*c_0101_5^13 - 12356251231904/87347738581*c_0101_5^12 - 409922144821/1858462523*c_0101_5^11 + 15004552492951/87347738581*c_0101_5^10 + 53398303625742/87347738581*c_0101_5^9 + 18551772040574/87347738581*c_0101_5^8 - 56079186681568/87347738581*c_0101_5^7 - 52638487923098/87347738581*c_0101_5^6 + 17989346864117/87347738581*c_0101_5^5 + 32963513116362/87347738581*c_0101_5^4 + 279199063074/4597249399*c_0101_5^3 - 3270708852462/87347738581*c_0101_5^2 - 2447213396445/87347738581*c_0101_5 + 576999263880/87347738581, c_0011_0 - 1, c_0011_4 + 149407609853/87347738581*c_0101_5^15 + 648159090546/87347738581*c_0101_5^14 - 83868435791/87347738581*c_0101_5^13 - 4528779976883/87347738581*c_0101_5^12 - 96253688414/1858462523*c_0101_5^11 + 8725608548438/87347738581*c_0101_5^10 + 15769450816089/87347738581*c_0101_5^9 - 3093392123709/87347738581*c_0101_5^8 - 22036464153438/87347738581*c_0101_5^7 - 7596285576629/87347738581*c_0101_5^6 + 14694730074796/87347738581*c_0101_5^5 + 6642101558122/87347738581*c_0101_5^4 - 197300264906/4597249399*c_0101_5^3 - 949989492684/87347738581*c_0101_5^2 - 155479450294/87347738581*c_0101_5 + 377382749175/87347738581, c_0011_6 + 42258627446/87347738581*c_0101_5^15 + 185063032325/87347738581*c_0101_5^14 - 11725718046/87347738581*c_0101_5^13 - 1261791826777/87347738581*c_0101_5^12 - 28245197925/1858462523*c_0101_5^11 + 2298486298119/87347738581*c_0101_5^10 + 4411899091503/87347738581*c_0101_5^9 - 560865815214/87347738581*c_0101_5^8 - 5915134378685/87347738581*c_0101_5^7 - 2297183799941/87347738581*c_0101_5^6 + 3790885757604/87347738581*c_0101_5^5 + 1811268743368/87347738581*c_0101_5^4 - 50928061678/4597249399*c_0101_5^3 - 360421164615/87347738581*c_0101_5^2 - 1668994555/87347738581*c_0101_5 + 169398737288/87347738581, c_0101_1 + 155924726278/87347738581*c_0101_5^15 + 678780738429/87347738581*c_0101_5^14 - 62830969291/87347738581*c_0101_5^13 - 4661500990937/87347738581*c_0101_5^12 - 101523850986/1858462523*c_0101_5^11 + 8663542280820/87347738581*c_0101_5^10 + 16088855748346/87347738581*c_0101_5^9 - 2601392823943/87347738581*c_0101_5^8 - 21884714817646/87347738581*c_0101_5^7 - 7944762486956/87347738581*c_0101_5^6 + 14192806697566/87347738581*c_0101_5^5 + 6398655021636/87347738581*c_0101_5^4 - 184515778515/4597249399*c_0101_5^3 - 839377582426/87347738581*c_0101_5^2 - 156790729816/87347738581*c_0101_5 + 400054658664/87347738581, c_0101_2 + 82050998707/87347738581*c_0101_5^15 + 370462622274/87347738581*c_0101_5^14 + 20961034911/87347738581*c_0101_5^13 - 2473255679256/87347738581*c_0101_5^12 - 61761953211/1858462523*c_0101_5^11 + 4251943609601/87347738581*c_0101_5^10 + 9272821188214/87347738581*c_0101_5^9 - 182956836089/87347738581*c_0101_5^8 - 11965954635487/87347738581*c_0101_5^7 - 5915134378685/87347738581*c_0101_5^6 + 7138681051364/87347738581*c_0101_5^5 + 4611395744674/87347738581*c_0101_5^4 - 81727484401/4597249399*c_0101_5^3 - 803531174468/87347738581*c_0101_5^2 - 108971428620/87347738581*c_0101_5 + 244484001566/87347738581, c_0101_3 + 89581961910/87347738581*c_0101_5^15 + 391173730334/87347738581*c_0101_5^14 - 36277880493/87347738581*c_0101_5^13 - 2706545875625/87347738581*c_0101_5^12 - 59539311903/1858462523*c_0101_5^11 + 5085142234707/87347738581*c_0101_5^10 + 9598208553922/87347738581*c_0101_5^9 - 1438799085184/87347738581*c_0101_5^8 - 13243864263644/87347738581*c_0101_5^7 - 5156825484017/87347738581*c_0101_5^6 + 8598750749540/87347738581*c_0101_5^5 + 4499150402968/87347738581*c_0101_5^4 - 102899648835/4597249399*c_0101_5^3 - 836748602925/87347738581*c_0101_5^2 - 181182455504/87347738581*c_0101_5 + 263073708685/87347738581, c_0101_5^16 + 4*c_0101_5^15 - 2*c_0101_5^14 - 30*c_0101_5^13 - 20*c_0101_5^12 + 68*c_0101_5^11 + 85*c_0101_5^10 - 56*c_0101_5^9 - 139*c_0101_5^8 + 115*c_0101_5^6 + 10*c_0101_5^5 - 41*c_0101_5^4 + 2*c_0101_5^3 + 2*c_0101_5^2 + 3*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB