Magma V2.19-8 Tue Aug 20 2013 16:16:01 on localhost [Seed = 1663238054] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0268 geometric_solution 4.31507655 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 -1 0 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.785579404119 1.211281914353 0 3 2 2 0132 0132 0132 1302 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 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.141701969527 0.800487622053 3 0 1 1 3201 0132 2031 0132 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 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.141701969527 0.800487622053 4 1 4 2 0132 0132 2310 2310 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 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.746314210967 1.439577697431 3 3 5 5 0132 3201 3201 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.202112687744 0.174040714028 4 6 4 6 2310 0132 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 -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 -4.760893397578 2.818266220094 5 5 6 6 3201 0132 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 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.114720595623 0.042928398207 ==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' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0110_6'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : negation(d['c_0101_2']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 195023586724779/314208084968*c_0110_6^12 + 77004513707558203/27336103392216*c_0110_6^11 + 66192369058421743/27336103392216*c_0110_6^10 - 30980061473111763/4556017232036*c_0110_6^9 - 112646975853236767/13668051696108*c_0110_6^8 + 40393565318565963/4556017232036*c_0110_6^7 + 157928234568936839/27336103392216*c_0110_6^6 - 139036560268856353/27336103392216*c_0110_6^5 - 11886452270422109/13668051696108*c_0110_6^4 + 28526434749115873/27336103392216*c_0110_6^3 - 7953499904757971/27336103392216*c_0110_6^2 - 717915326910933/9112034464072*c_0110_6 + 1571535359123219/13668051696108, c_0011_0 - 1, c_0011_5 + 3994496037343/157104042484*c_0110_6^12 + 15103036959970/117828031863*c_0110_6^11 + 19416126377618/117828031863*c_0110_6^10 - 89604863058421/471312127452*c_0110_6^9 - 33564311496909/78552021242*c_0110_6^8 + 5319009423240/39276010621*c_0110_6^7 + 132487027788329/471312127452*c_0110_6^6 - 13682395963033/235656063726*c_0110_6^5 - 6976672593063/157104042484*c_0110_6^4 + 9307408664113/471312127452*c_0110_6^3 - 1683423598655/235656063726*c_0110_6^2 - 967592629528/117828031863*c_0110_6 + 142908301375/157104042484, c_0101_0 + 505332622911/39276010621*c_0101_2*c_0110_6^12 + 2314542432648/39276010621*c_0101_2*c_0110_6^11 + 6543793707437/117828031863*c_0101_2*c_0110_6^10 - 14842025114189/117828031863*c_0101_2*c_0110_6^9 - 19573018543043/117828031863*c_0101_2*c_0110_6^8 + 5730481012839/39276010621*c_0101_2*c_0110_6^7 + 3611099161872/39276010621*c_0101_2*c_0110_6^6 - 7678026443306/117828031863*c_0101_2*c_0110_6^5 - 817905018232/117828031863*c_0101_2*c_0110_6^4 + 206640547406/39276010621*c_0101_2*c_0110_6^3 - 496338355900/117828031863*c_0101_2*c_0110_6^2 - 26002426526/117828031863*c_0101_2*c_0110_6 + 226926123289/117828031863*c_0101_2, c_0101_1 - 320523423969/39276010621*c_0110_6^12 - 1491075344874/39276010621*c_0110_6^11 - 4142934857503/117828031863*c_0110_6^10 + 10643507116531/117828031863*c_0110_6^9 + 14793450149134/117828031863*c_0110_6^8 - 4145561136666/39276010621*c_0110_6^7 - 3797825332246/39276010621*c_0110_6^6 + 7027465326202/117828031863*c_0110_6^5 + 1723373615144/117828031863*c_0110_6^4 - 649791733353/39276010621*c_0110_6^3 + 913639222178/117828031863*c_0110_6^2 + 335475169720/117828031863*c_0110_6 - 211977549509/117828031863, c_0101_2^2 + 10412076751759/471312127452*c_0110_6^12 + 26022317187205/235656063726*c_0110_6^11 + 32677017470977/235656063726*c_0110_6^10 - 26770438892387/157104042484*c_0110_6^9 - 28618235313615/78552021242*c_0110_6^8 + 15249830711039/117828031863*c_0110_6^7 + 111891604410271/471312127452*c_0110_6^6 - 2122956565600/39276010621*c_0110_6^5 - 16312462471949/471312127452*c_0110_6^4 + 6963746002715/471312127452*c_0110_6^3 - 1085420661391/117828031863*c_0110_6^2 - 410640198647/78552021242*c_0110_6 + 137741242667/157104042484, c_0101_3 + 5426434435751/157104042484*c_0110_6^12 + 13625350941607/78552021242*c_0110_6^11 + 51782415662821/235656063726*c_0110_6^10 - 125681362002527/471312127452*c_0110_6^9 - 137197530281791/235656063726*c_0110_6^8 + 7727838334149/39276010621*c_0110_6^7 + 61190475159819/157104042484*c_0110_6^6 - 10025781551651/117828031863*c_0110_6^5 - 29542312441267/471312127452*c_0110_6^4 + 4482809025599/157104042484*c_0110_6^3 - 1266317706931/117828031863*c_0110_6^2 - 2354373938095/235656063726*c_0110_6 + 449926136251/471312127452, c_0110_6^13 + 121/29*c_0110_6^12 + 62/29*c_0110_6^11 - 375/29*c_0110_6^10 - 293/29*c_0110_6^9 + 570/29*c_0110_6^8 + 173/29*c_0110_6^7 - 337/29*c_0110_6^6 + 11/29*c_0110_6^5 + 62/29*c_0110_6^4 - 25/29*c_0110_6^3 + 7/29*c_0110_6 - 1/29 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB