Magma V2.19-8 Tue Aug 20 2013 16:17:48 on localhost [Seed = 4004475404] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2039 geometric_solution 5.57438995 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 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.418359782981 0.256084553799 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 0 0 0 0 0 1 -1 0 1 0 -1 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.842851902796 0.808254915990 1 4 3 5 0132 0132 3012 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 1 -1 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.174211900364 1.095722560313 5 2 4 1 1023 1230 1023 0132 0 0 0 0 0 0 0 0 -1 0 0 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 0 0 0 1 0 0 -1 -1 -1 0 2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.174211900364 1.095722560313 6 2 3 6 0132 0132 1023 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 -1 0 1 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.214452866497 0.468733673211 5 3 2 5 3201 1023 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 -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.716781312411 0.567284134878 4 4 6 6 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.991849385458 0.889317358385 ==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' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], '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' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 5 Groebner basis: [ t + 7*c_0101_6^4 - 4*c_0101_6^3 - 32*c_0101_6^2 + 10*c_0101_6 + 32, c_0011_0 - 1, c_0011_1 - c_0101_6^2 + 1, c_0011_3 + 1, c_0101_0 + c_0101_6, c_0101_1 - c_0101_6^4 + 3*c_0101_6^2 - 1, c_0101_3 + c_0101_6^3 - 2*c_0101_6, c_0101_6^5 - c_0101_6^4 - 4*c_0101_6^3 + 3*c_0101_6^2 + 3*c_0101_6 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 3226443830162914578612/20370065100191265781*c_0101_6^17 - 8688713791016107285030/20370065100191265781*c_0101_6^16 + 41914002349862103837948/20370065100191265781*c_0101_6^15 - 81525918397127176578038/20370065100191265781*c_0101_6^14 + 209627440415949971130672/20370065100191265781*c_0101_6^13 - 22648474784853280264295/1198239123540662693*c_0101_6^12 + 36324751843332552237530/1198239123540662693*c_0101_6^11 - 911687622212428950432877/20370065100191265781*c_0101_6^10 + 59600780421141583812576/1198239123540662693*c_0101_6^9 - 1010867074019118554221175/20370065100191265781*c_0101_6^8 + 111088359141241239066870/2910009300027323683*c_0101_6^7 - 305188646174034343006621/20370065100191265781*c_0101_6^6 - 309186475741718837429506/20370065100191265781*c_0101_6^5 + 748873250634374066931867/20370065100191265781*c_0101_6^4 - 604047311209374513712274/20370065100191265781*c_0101_6^3 + 52577423046550436216330/20370065100191265781*c_0101_6^2 + 93971120394524195272722/20370065100191265781*c_0101_6 - 24620788151753144043373/20370065100191265781, c_0011_0 - 1, c_0011_1 - 26997946536979937/24453859664095157*c_0101_6^17 + 74095732687682562/24453859664095157*c_0101_6^16 - 353282742201765023/24453859664095157*c_0101_6^15 + 697533649375821965/24453859664095157*c_0101_6^14 - 1774520834104851690/24453859664095157*c_0101_6^13 + 3287419637629909667/24453859664095157*c_0101_6^12 - 5261810828944643200/24453859664095157*c_0101_6^11 + 7777093385739179737/24453859664095157*c_0101_6^10 - 8673835181346883507/24453859664095157*c_0101_6^9 + 8615244877845482623/24453859664095157*c_0101_6^8 - 6643967956861796278/24453859664095157*c_0101_6^7 + 2581367028337405265/24453859664095157*c_0101_6^6 + 2661590983024800168/24453859664095157*c_0101_6^5 - 6481894663566964808/24453859664095157*c_0101_6^4 + 5265052077977994839/24453859664095157*c_0101_6^3 - 466409082659345184/24453859664095157*c_0101_6^2 - 917629000027908623/24453859664095157*c_0101_6 + 235172709455591703/24453859664095157, c_0011_3 + 90595763336706137/24453859664095157*c_0101_6^17 - 249971089055427918/24453859664095157*c_0101_6^16 + 1187907117169135714/24453859664095157*c_0101_6^15 - 2355389249249335666/24453859664095157*c_0101_6^14 + 5975441824096327152/24453859664095157*c_0101_6^13 - 11096006093459635651/24453859664095157*c_0101_6^12 + 17761147440434309395/24453859664095157*c_0101_6^11 - 26248058458068313098/24453859664095157*c_0101_6^10 + 29350226569840912458/24453859664095157*c_0101_6^9 - 29107252217546476112/24453859664095157*c_0101_6^8 + 22520599509312223389/24453859664095157*c_0101_6^7 - 8806104216224681258/24453859664095157*c_0101_6^6 - 8975021573030392276/24453859664095157*c_0101_6^5 + 21856158493997837548/24453859664095157*c_0101_6^4 - 17873466499403995577/24453859664095157*c_0101_6^3 + 1676814320150301057/24453859664095157*c_0101_6^2 + 3117530594060522636/24453859664095157*c_0101_6 - 779878186880652204/24453859664095157, c_0101_0 - 19312199302765074/24453859664095157*c_0101_6^17 + 53808474655493402/24453859664095157*c_0101_6^16 - 255227058607151863/24453859664095157*c_0101_6^15 + 509908513625843346/24453859664095157*c_0101_6^14 - 1293394237272269256/24453859664095157*c_0101_6^13 + 2407709150946381157/24453859664095157*c_0101_6^12 - 3875829518202154537/24453859664095157*c_0101_6^11 + 5736972143250364812/24453859664095157*c_0101_6^10 - 6465450695855429263/24453859664095157*c_0101_6^9 + 6462053388200988658/24453859664095157*c_0101_6^8 - 5039585736493930176/24453859664095157*c_0101_6^7 + 2082369288118895416/24453859664095157*c_0101_6^6 + 1817886164438511996/24453859664095157*c_0101_6^5 - 4721327713470635796/24453859664095157*c_0101_6^4 + 3993081387491435159/24453859664095157*c_0101_6^3 - 531560172387134854/24453859664095157*c_0101_6^2 - 640291427657808700/24453859664095157*c_0101_6 + 195819362785483219/24453859664095157, c_0101_1 + 56242055393071291/24453859664095157*c_0101_6^17 - 154137776076675403/24453859664095157*c_0101_6^16 + 735266903940030378/24453859664095157*c_0101_6^15 - 1450360739871182705/24453859664095157*c_0101_6^14 + 3690805836017388830/24453859664095157*c_0101_6^13 - 6835764330247596116/24453859664095157*c_0101_6^12 + 10936872488396927953/24453859664095157*c_0101_6^11 - 16164632700675909858/24453859664095157*c_0101_6^10 + 18023722298959329080/24453859664095157*c_0101_6^9 - 17893967140678806143/24453859664095157*c_0101_6^8 + 13806278657470686306/24453859664095157*c_0101_6^7 - 5360257839217468738/24453859664095157*c_0101_6^6 - 5558304290500556416/24453859664095157*c_0101_6^5 + 13443571051927285819/24453859664095157*c_0101_6^4 - 10912174486750205796/24453859664095157*c_0101_6^3 + 989211514104786405/24453859664095157*c_0101_6^2 + 1901163318638210509/24453859664095157*c_0101_6 - 460826695876936758/24453859664095157, c_0101_3 + 88637992951483919/24453859664095157*c_0101_6^17 - 248702117346002383/24453859664095157*c_0101_6^16 + 1171948564819734561/24453859664095157*c_0101_6^15 - 2354388115945375244/24453859664095157*c_0101_6^14 + 5932741484984518831/24453859664095157*c_0101_6^13 - 11089972129671526827/24453859664095157*c_0101_6^12 + 17782824800619072843/24453859664095157*c_0101_6^11 - 26310129948819212220/24453859664095157*c_0101_6^10 + 29631988555051942466/24453859664095157*c_0101_6^9 - 29407907036219355733/24453859664095157*c_0101_6^8 + 22933552877172736319/24453859664095157*c_0101_6^7 - 9233371755312572602/24453859664095157*c_0101_6^6 - 8658968007395559978/24453859664095157*c_0101_6^5 + 21857039543307239327/24453859664095157*c_0101_6^4 - 18268561963203347118/24453859664095157*c_0101_6^3 + 2084752516560296575/24453859664095157*c_0101_6^2 + 3162241529973588233/24453859664095157*c_0101_6 - 849118395746754518/24453859664095157, c_0101_6^18 - 2*c_0101_6^17 + 11*c_0101_6^16 - 16*c_0101_6^15 + 46*c_0101_6^14 - 72*c_0101_6^13 + 102*c_0101_6^12 - 139*c_0101_6^11 + 101*c_0101_6^10 - 71*c_0101_6^9 + 96*c_0101_6^7 - 176*c_0101_6^6 + 167*c_0101_6^5 - 12*c_0101_6^4 - 135*c_0101_6^3 + 51*c_0101_6^2 + 18*c_0101_6 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB