Magma V2.19-8 Tue Aug 20 2013 16:19:12 on localhost [Seed = 2101141625] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3321 geometric_solution 6.45244257 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 1023 0 0 0 0 0 0 0 0 -1 0 0 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 -1 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 0.090737327318 1.033701557344 0 4 5 0 0132 0132 0132 1023 0 0 0 0 0 0 1 -1 1 0 -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 1 -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 -0.414118743155 0.909106807781 4 0 6 3 0132 0132 0132 3201 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 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.149391450525 0.774908785147 6 2 5 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.149391450525 0.774908785147 2 1 5 5 0132 0132 2103 3201 0 0 0 0 0 0 0 0 0 0 1 -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 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.181984287179 1.208752937444 4 4 3 1 2103 2310 1023 0132 0 0 0 0 0 1 0 -1 -1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.181984287179 1.208752937444 3 6 6 2 0132 1230 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 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.239104183784 1.143957817919 ==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' : negation(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' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_1100_0']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_1100_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_5'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_4']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_5'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : d['c_0011_5'], 'c_1010_0' : 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_3, c_0011_5, c_0101_0, c_0101_2, c_0101_4, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 495027116970283195/31233025200062683*c_0101_4^18 + 2558495137468671/31233025200062683*c_0101_4^17 - 2739020868782921189/31233025200062683*c_0101_4^16 + 763004776128886577/31233025200062683*c_0101_4^15 + 11664325205791504073/31233025200062683*c_0101_4^14 + 1468170897871471353/31233025200062683*c_0101_4^13 - 25485978629106087476/31233025200062683*c_0101_4^12 - 61387349718682574/209617618792367*c_0101_4^11 + 23300414509283686746/31233025200062683*c_0101_4^10 + 575765834266177037/31233025200062683*c_0101_4^9 - 17097048172446727234/31233025200062683*c_0101_4^8 + 11984980677271202456/31233025200062683*c_0101_4^7 + 16718118801418112560/31233025200062683*c_0101_4^6 - 7413081181384944104/31233025200062683*c_0101_4^5 - 9693521272328979186/31233025200062683*c_0101_4^4 + 1464688455187494930/31233025200062683*c_0101_4^3 + 3051041505551977075/31233025200062683*c_0101_4^2 + 112620728689669332/31233025200062683*c_0101_4 - 399381953773752123/31233025200062683, c_0011_0 - 1, c_0011_3 - 14325268775491670/31233025200062683*c_0101_4^18 - 38829676451706846/31233025200062683*c_0101_4^17 + 96636303582643833/31233025200062683*c_0101_4^16 + 171436105632405278/31233025200062683*c_0101_4^15 - 479320850392651046/31233025200062683*c_0101_4^14 - 824408525912924198/31233025200062683*c_0101_4^13 + 926173763264271013/31233025200062683*c_0101_4^12 + 12808126652457444/209617618792367*c_0101_4^11 - 630058293530860487/31233025200062683*c_0101_4^10 - 1293670188462056295/31233025200062683*c_0101_4^9 + 1015378044628081290/31233025200062683*c_0101_4^8 + 309031359771474686/31233025200062683*c_0101_4^7 - 1511314258018893310/31233025200062683*c_0101_4^6 - 394295015088262897/31233025200062683*c_0101_4^5 + 779409164808748889/31233025200062683*c_0101_4^4 + 254790785751439310/31233025200062683*c_0101_4^3 - 156491582067787661/31233025200062683*c_0101_4^2 - 107046727241856666/31233025200062683*c_0101_4 + 12825100719352949/31233025200062683, c_0011_5 - 189437041101137865/31233025200062683*c_0101_4^18 - 73674742297164692/31233025200062683*c_0101_4^17 + 1068009369096691932/31233025200062683*c_0101_4^16 + 73904983874463885/31233025200062683*c_0101_4^15 - 4663969161851903941/31233025200062683*c_0101_4^14 - 2049200013515216154/31233025200062683*c_0101_4^13 + 9822266186818225591/31233025200062683*c_0101_4^12 + 43951371819277751/209617618792367*c_0101_4^11 - 8190602308686574679/31233025200062683*c_0101_4^10 - 2338577523201703404/31233025200062683*c_0101_4^9 + 6935729288793415028/31233025200062683*c_0101_4^8 - 3499226900859864735/31233025200062683*c_0101_4^7 - 7892654056244718839/31233025200062683*c_0101_4^6 + 1286576561875210239/31233025200062683*c_0101_4^5 + 4141811257221145823/31233025200062683*c_0101_4^4 + 281455299962307129/31233025200062683*c_0101_4^3 - 1091086295803374542/31233025200062683*c_0101_4^2 - 214370744892813664/31233025200062683*c_0101_4 + 128970648155983613/31233025200062683, c_0101_0 + 143827346878462945/31233025200062683*c_0101_4^18 - 39606190599692674/31233025200062683*c_0101_4^17 - 708316803958763055/31233025200062683*c_0101_4^16 + 401242682463481028/31233025200062683*c_0101_4^15 + 2882783435082449165/31233025200062683*c_0101_4^14 - 169397747053841331/31233025200062683*c_0101_4^13 - 5743670017807252730/31233025200062683*c_0101_4^12 - 7816239937733706/209617618792367*c_0101_4^11 + 3733169463689825145/31233025200062683*c_0101_4^10 - 1480365959628228882/31233025200062683*c_0101_4^9 - 1986828999643887060/31233025200062683*c_0101_4^8 + 3263129921792373496/31233025200062683*c_0101_4^7 + 2501303928278692753/31233025200062683*c_0101_4^6 - 813444090008530265/31233025200062683*c_0101_4^5 - 1037963087569513770/31233025200062683*c_0101_4^4 - 78161137947492349/31233025200062683*c_0101_4^3 + 217798546754782068/31233025200062683*c_0101_4^2 + 46596334918007354/31233025200062683*c_0101_4 + 9087505044099490/31233025200062683, c_0101_2 + 79701843281698200/31233025200062683*c_0101_4^18 - 41106358655831395/31233025200062683*c_0101_4^17 - 388043660268587329/31233025200062683*c_0101_4^16 + 318327575975183575/31233025200062683*c_0101_4^15 + 1553682756550559410/31233025200062683*c_0101_4^14 - 494817388814256989/31233025200062683*c_0101_4^13 - 3195077054530351341/31233025200062683*c_0101_4^12 + 1240149907923464/209617618792367*c_0101_4^11 + 2345529450032276408/31233025200062683*c_0101_4^10 - 1456344116472088970/31233025200062683*c_0101_4^9 - 1113057166535294974/31233025200062683*c_0101_4^8 + 2200841649885277048/31233025200062683*c_0101_4^7 + 1053296489498813426/31233025200062683*c_0101_4^6 - 926822369617952134/31233025200062683*c_0101_4^5 - 419075145828893696/31233025200062683*c_0101_4^4 + 278019703122609223/31233025200062683*c_0101_4^3 + 113486512364338806/31233025200062683*c_0101_4^2 - 45769743553015562/31233025200062683*c_0101_4 - 33833718600992431/31233025200062683, c_0101_4^19 - 1/5*c_0101_4^18 - 28/5*c_0101_4^17 + 14/5*c_0101_4^16 + 117/5*c_0101_4^15 - 12/5*c_0101_4^14 - 263/5*c_0101_4^13 - 33/5*c_0101_4^12 + 257/5*c_0101_4^11 - 51/5*c_0101_4^10 - 169/5*c_0101_4^9 + 162/5*c_0101_4^8 + 137/5*c_0101_4^7 - 109/5*c_0101_4^6 - 79/5*c_0101_4^5 + 33/5*c_0101_4^4 + 28/5*c_0101_4^3 - c_0101_4^2 - c_0101_4 + 1/5, c_1100_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB