Magma V2.19-8 Tue Aug 20 2013 16:17:02 on localhost [Seed = 1781266105] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1286 geometric_solution 5.18080617 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 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 0 0 0 0 0 0 0 0 0 0 0.394048617103 0.361774743123 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 1 -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 1 -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 1.228906651519 0.902485508887 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 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.291489745764 0.814703850152 5 2 4 1 1023 1230 1023 0132 0 0 0 0 0 0 1 -1 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 1 0 -1 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 1.291489745764 0.814703850152 4 2 3 4 3201 0132 1023 2310 0 0 0 0 0 0 0 0 1 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.001895513058 0.587258604988 6 3 2 6 0132 1023 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.916923679337 0.364180591573 5 6 6 5 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.467229567734 0.400382981643 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : 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' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(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_3']), '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' : d['c_0101_6'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : 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: 13 Groebner basis: [ t - 9756341868834713240/10013378458655139903*c_0101_6^12 - 37482218976564003469/10013378458655139903*c_0101_6^11 - 26458121152276649846/10013378458655139903*c_0101_6^10 + 57232805368246892530/10013378458655139903*c_0101_6^9 + 33350184021681486562/10013378458655139903*c_0101_6^8 + 112548867658551624442/10013378458655139903*c_0101_6^7 + 90531123589319973013/10013378458655139903*c_0101_6^6 - 13189795743983553362/1112597606517237767*c_0101_6^5 - 58009957984368664121/10013378458655139903*c_0101_6^4 - 6578081738597296415/10013378458655139903*c_0101_6^3 - 17712092064632992109/10013378458655139903*c_0101_6^2 + 4155618080576242586/3337792819551713301*c_0101_6 - 9805226303017403905/10013378458655139903, c_0011_0 - 1, c_0011_1 + 9340623943175/81911036333449*c_0101_6^12 + 29021093584655/81911036333449*c_0101_6^11 - 3404190654075/81911036333449*c_0101_6^10 - 83383885479947/81911036333449*c_0101_6^9 - 5289105883770/81911036333449*c_0101_6^8 - 91697980603226/81911036333449*c_0101_6^7 - 17362479504211/81911036333449*c_0101_6^6 + 240897922313926/81911036333449*c_0101_6^5 + 80483483195163/81911036333449*c_0101_6^4 + 8436970945687/81911036333449*c_0101_6^3 + 53149345087977/81911036333449*c_0101_6^2 - 31381689035459/81911036333449*c_0101_6 - 106927984421973/81911036333449, c_0011_3 - 13543333221880/245733109000347*c_0101_6^12 - 92589438505178/245733109000347*c_0101_6^11 - 221522112106597/245733109000347*c_0101_6^10 - 147413298579142/245733109000347*c_0101_6^9 + 176425162139366/245733109000347*c_0101_6^8 + 401463854556266/245733109000347*c_0101_6^7 + 633781852956554/245733109000347*c_0101_6^6 + 180038186147948/81911036333449*c_0101_6^5 - 180770103497440/245733109000347*c_0101_6^4 - 496351944051313/245733109000347*c_0101_6^3 - 182588155920124/245733109000347*c_0101_6^2 - 104939258893479/81911036333449*c_0101_6 - 200490851148968/245733109000347, c_0101_0 + 9192980546970/81911036333449*c_0101_6^12 + 31574862703707/81911036333449*c_0101_6^11 + 4799305105928/81911036333449*c_0101_6^10 - 85586375602498/81911036333449*c_0101_6^9 - 28143804572524/81911036333449*c_0101_6^8 - 75267461717975/81911036333449*c_0101_6^7 - 31386775166968/81911036333449*c_0101_6^6 + 237816842163952/81911036333449*c_0101_6^5 + 49253903119998/81911036333449*c_0101_6^4 - 4026564237323/81911036333449*c_0101_6^3 + 49132514006374/81911036333449*c_0101_6^2 - 40427305110896/81911036333449*c_0101_6 - 197517159188/81911036333449, c_0101_1 - 31274520426240/81911036333449*c_0101_6^12 - 102754506976679/81911036333449*c_0101_6^11 - 12375985983707/81911036333449*c_0101_6^10 + 256057734138757/81911036333449*c_0101_6^9 + 45187165592319/81911036333449*c_0101_6^8 + 332856275143800/81911036333449*c_0101_6^7 + 136187057652349/81911036333449*c_0101_6^6 - 622698194746857/81911036333449*c_0101_6^5 - 160926045145195/81911036333449*c_0101_6^4 + 4461049507291/81911036333449*c_0101_6^3 - 155842592793694/81911036333449*c_0101_6^2 + 81786182495439/81911036333449*c_0101_6 + 143075503497536/81911036333449, c_0101_3 + 146572965783890/245733109000347*c_0101_6^12 + 431221405836964/245733109000347*c_0101_6^11 - 50695121714731/245733109000347*c_0101_6^10 - 1014746393718538/245733109000347*c_0101_6^9 + 339592789336577/245733109000347*c_0101_6^8 - 1737759205516636/245733109000347*c_0101_6^7 - 164774785762303/245733109000347*c_0101_6^6 + 770695488997588/81911036333449*c_0101_6^5 - 683842593219880/245733109000347*c_0101_6^4 + 318951133093439/245733109000347*c_0101_6^3 + 987084395769827/245733109000347*c_0101_6^2 - 162115912154046/81911036333449*c_0101_6 - 221892323666684/245733109000347, c_0101_6^13 + 18/5*c_0101_6^12 + 6/5*c_0101_6^11 - 44/5*c_0101_6^10 - 4*c_0101_6^9 - 44/5*c_0101_6^8 - 32/5*c_0101_6^7 + 22*c_0101_6^6 + 62/5*c_0101_6^5 - 14/5*c_0101_6^4 + 19/5*c_0101_6^3 - 13/5*c_0101_6^2 - 7*c_0101_6 - 17/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB