Magma V2.19-8 Tue Aug 20 2013 16:17:30 on localhost [Seed = 2277907294] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1739 geometric_solution 5.43876600 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.531126450967 0.117246721977 2 0 2 0 0132 2310 1023 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.673569737797 0.279068480244 1 3 1 4 0132 0132 1023 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 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.206350995496 1.470943478824 4 2 6 5 3201 0132 0132 0132 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 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.180280256306 0.960832544290 5 6 2 3 3201 3201 0132 2310 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.180280256306 0.960832544290 5 5 3 4 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.188636840225 1.005370298744 6 6 4 3 1302 2031 2310 0132 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 0 0 0 0 0 0 0 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.188636840225 1.005370298744 ==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_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : negation(d['c_0011_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : d['c_0011_6'], '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_0011_5, c_0011_6, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t + 486*c_0101_3^10 + 3566*c_0101_3^9 + 8005*c_0101_3^8 + 740*c_0101_3^7 - 17772*c_0101_3^6 - 12323*c_0101_3^5 + 13906*c_0101_3^4 + 11570*c_0101_3^3 - 5855*c_0101_3^2 - 3002*c_0101_3 + 1420, c_0011_0 - 1, c_0011_1 + c_0101_3, c_0011_4 + c_0101_3^10 + 8*c_0101_3^9 + 21*c_0101_3^8 + 11*c_0101_3^7 - 35*c_0101_3^6 - 41*c_0101_3^5 + 17*c_0101_3^4 + 30*c_0101_3^3 - 4*c_0101_3^2 - 6*c_0101_3 + 1, c_0011_5 + c_0101_3^2 + c_0101_3 - 1, c_0011_6 - c_0101_3^10 - 8*c_0101_3^9 - 21*c_0101_3^8 - 11*c_0101_3^7 + 35*c_0101_3^6 + 41*c_0101_3^5 - 17*c_0101_3^4 - 30*c_0101_3^3 + 5*c_0101_3^2 + 7*c_0101_3 - 2, c_0101_0 - 2*c_0101_3^10 - 15*c_0101_3^9 - 35*c_0101_3^8 - 6*c_0101_3^7 + 78*c_0101_3^6 + 63*c_0101_3^5 - 60*c_0101_3^4 - 62*c_0101_3^3 + 25*c_0101_3^2 + 18*c_0101_3 - 7, c_0101_3^11 + 7*c_0101_3^10 + 14*c_0101_3^9 - 4*c_0101_3^8 - 37*c_0101_3^7 - 13*c_0101_3^6 + 37*c_0101_3^5 + 14*c_0101_3^4 - 20*c_0101_3^3 - 2*c_0101_3^2 + 5*c_0101_3 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_5, c_0011_6, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 198381655734619/364031049663*c_0101_3^11 + 8937325056719359/728062099326*c_0101_3^10 - 23759673880798658/364031049663*c_0101_3^9 - 19130078667351727/242687366442*c_0101_3^8 + 17990665604099905/40447894407*c_0101_3^7 + 122895397880162545/364031049663*c_0101_3^6 - 72329435460588674/121343683221*c_0101_3^5 - 145955472798418351/364031049663*c_0101_3^4 + 48767164625165584/364031049663*c_0101_3^3 + 2728542140459752/40447894407*c_0101_3^2 - 1111588277080067/121343683221*c_0101_3 - 786878581557682/364031049663, c_0011_0 - 1, c_0011_1 + 5383824215114/1092093148989*c_0101_3^11 - 120698141966266/1092093148989*c_0101_3^10 + 631986035468014/1092093148989*c_0101_3^9 + 31276085883967/40447894407*c_0101_3^8 - 1431466721159204/364031049663*c_0101_3^7 - 3779396054469113/1092093148989*c_0101_3^6 + 1806777907610536/364031049663*c_0101_3^5 + 4469995795038047/1092093148989*c_0101_3^4 - 774180748289888/1092093148989*c_0101_3^3 - 222522729932144/364031049663*c_0101_3^2 + 874837310984/40447894407*c_0101_3 + 12972770462114/1092093148989, c_0011_4 + 850187450732/364031049663*c_0101_3^11 - 19068117116884/364031049663*c_0101_3^10 + 99982207558546/364031049663*c_0101_3^9 + 44124102448172/121343683221*c_0101_3^8 - 226408893932302/121343683221*c_0101_3^7 - 590219916900392/364031049663*c_0101_3^6 + 286866883694572/121343683221*c_0101_3^5 + 696459186489440/364031049663*c_0101_3^4 - 128094889635782/364031049663*c_0101_3^3 - 33865511730064/121343683221*c_0101_3^2 + 1537473322838/121343683221*c_0101_3 + 1700779076420/364031049663, c_0011_5 + 1207203353036/1092093148989*c_0101_3^11 - 27069444373489/1092093148989*c_0101_3^10 + 141833907670954/1092093148989*c_0101_3^9 + 20965940417948/121343683221*c_0101_3^8 - 321286049746070/364031049663*c_0101_3^7 - 842418808774220/1092093148989*c_0101_3^6 + 406729922234800/364031049663*c_0101_3^5 + 991827926574170/1092093148989*c_0101_3^4 - 182462751266918/1092093148989*c_0101_3^3 - 46952544743186/364031049663*c_0101_3^2 + 912092401766/121343683221*c_0101_3 + 1877339452298/1092093148989, c_0011_6 - 1207203353036/1092093148989*c_0101_3^11 + 27069444373489/1092093148989*c_0101_3^10 - 141833907670954/1092093148989*c_0101_3^9 - 20965940417948/121343683221*c_0101_3^8 + 321286049746070/364031049663*c_0101_3^7 + 842418808774220/1092093148989*c_0101_3^6 - 406729922234800/364031049663*c_0101_3^5 - 991827926574170/1092093148989*c_0101_3^4 + 182462751266918/1092093148989*c_0101_3^3 + 46952544743186/364031049663*c_0101_3^2 - 912092401766/121343683221*c_0101_3 - 1877339452298/1092093148989, c_0101_0 + 2729479977166/1092093148989*c_0101_3^11 - 61041374724932/1092093148989*c_0101_3^10 + 317004060173366/1092093148989*c_0101_3^9 + 49621405557806/121343683221*c_0101_3^8 - 719552701084654/364031049663*c_0101_3^7 - 2038442015945953/1092093148989*c_0101_3^6 + 891571996847162/364031049663*c_0101_3^5 + 2423941838680327/1092093148989*c_0101_3^4 - 310164673055092/1092093148989*c_0101_3^3 - 122206788282259/364031049663*c_0101_3^2 + 249011847404/121343683221*c_0101_3 + 7334869103764/1092093148989, c_0101_3^12 - 22*c_0101_3^11 + 108*c_0101_3^10 + 206*c_0101_3^9 - 732*c_0101_3^8 - 1036*c_0101_3^7 + 713*c_0101_3^6 + 1252*c_0101_3^5 + 204*c_0101_3^4 - 184*c_0101_3^3 - 48*c_0101_3^2 + 4*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB