Magma V2.19-8 Tue Aug 20 2013 16:14:10 on localhost [Seed = 3583265267] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s139 geometric_solution 4.19435895 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 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 -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 1.453312304929 0.277746116352 0 2 2 0 3201 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 -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 1.058877008500 0.305899279793 3 1 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 1 0 -1 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.741072316004 0.317289746523 2 4 4 5 0132 1302 3201 0132 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 -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.428754524270 0.569373012025 3 5 2 3 2310 1023 0132 2031 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 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.428754524270 0.569373012025 4 5 3 5 1023 2310 0132 3201 0 0 0 0 0 1 0 -1 1 0 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.843978272567 1.120777563697 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : 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_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_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_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], '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_1'], 'c_1001_4' : d['c_0101_2'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), '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' : d['c_0101_3'], 'c_0110_5' : d['c_0011_1'], 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : d['c_0011_1'], 'c_1010_3' : d['c_0011_1'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 49602926257873487393/255379908437605791*c_0101_3^11 + 156411587416127175506/255379908437605791*c_0101_3^10 + 3249786458884116684100/255379908437605791*c_0101_3^9 + 23360993735034832641997/255379908437605791*c_0101_3^8 - 1386633483469872448064/6228778254575751*c_0101_3^7 + 40773635502822622808624/85126636145868597*c_0101_3^6 - 135942354849169726392221/255379908437605791*c_0101_3^5 + 77355493527857406167233/255379908437605791*c_0101_3^4 - 25019333876183292072538/255379908437605791*c_0101_3^3 - 3323978012741273817541/255379908437605791*c_0101_3^2 + 390012306501304104976/36482844062515113*c_0101_3 + 323731966474066912313/255379908437605791, c_0011_0 - 1, c_0011_1 - 757936860853606/150135160751091*c_0101_3^11 + 2379413054988190/150135160751091*c_0101_3^10 + 49692405984643451/150135160751091*c_0101_3^9 + 357643896711636365/150135160751091*c_0101_3^8 - 21069773957188669/3661833189051*c_0101_3^7 + 618660573618976885/50045053583697*c_0101_3^6 - 2048815080300518473/150135160751091*c_0101_3^5 + 1147815523430275766/150135160751091*c_0101_3^4 - 360041363561304953/150135160751091*c_0101_3^3 - 59703420423395159/150135160751091*c_0101_3^2 + 42296148900291968/150135160751091*c_0101_3 + 5568937360162180/150135160751091, c_0011_4 + 141395110181719/12160948020838371*c_0101_3^11 - 394914477661075/12160948020838371*c_0101_3^10 - 9391351477584764/12160948020838371*c_0101_3^9 - 70016262232272677/12160948020838371*c_0101_3^8 + 3313462860512158/296608488313131*c_0101_3^7 - 102294922900339486/4053649340279457*c_0101_3^6 + 292145918323778392/12160948020838371*c_0101_3^5 - 140016262936842797/12160948020838371*c_0101_3^4 + 41964206712771734/12160948020838371*c_0101_3^3 + 39654510828820901/12160948020838371*c_0101_3^2 - 9267920673071498/12160948020838371*c_0101_3 + 1389554599719143/12160948020838371, c_0101_0 - 14158803855481234/12160948020838371*c_0101_3^11 + 43734240929232883/12160948020838371*c_0101_3^10 + 930720001026050849/12160948020838371*c_0101_3^9 + 6727333104478270583/12160948020838371*c_0101_3^8 - 385667228165312902/296608488313131*c_0101_3^7 + 11256106837113944533/4053649340279457*c_0101_3^6 - 36314281408864565407/12160948020838371*c_0101_3^5 + 19035481082199414548/12160948020838371*c_0101_3^4 - 5112199307607619472/12160948020838371*c_0101_3^3 - 1803249742123037555/12160948020838371*c_0101_3^2 + 870197874220372877/12160948020838371*c_0101_3 + 145061017628554510/12160948020838371, c_0101_2 + 58031720135130160/12160948020838371*c_0101_3^11 - 181933776731816725/12160948020838371*c_0101_3^10 - 3805446378263541938/12160948020838371*c_0101_3^9 - 27399423009022321415/12160948020838371*c_0101_3^8 + 1610297520531941653/296608488313131*c_0101_3^7 - 47282561596279861816/4053649340279457*c_0101_3^6 + 156290181468368356978/12160948020838371*c_0101_3^5 - 87305774358519020549/12160948020838371*c_0101_3^4 + 27243808312833123224/12160948020838371*c_0101_3^3 + 4656038325879923879/12160948020838371*c_0101_3^2 - 3214593460795730432/12160948020838371*c_0101_3 - 426698600961217078/12160948020838371, c_0101_3^12 - 3*c_0101_3^11 - 66*c_0101_3^10 - 481*c_0101_3^9 + 1074*c_0101_3^8 - 2290*c_0101_3^7 + 2362*c_0101_3^6 - 1138*c_0101_3^5 + 264*c_0101_3^4 + 145*c_0101_3^3 - 45*c_0101_3^2 - 15*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB