Magma V2.19-8 Tue Aug 20 2013 16:14:07 on localhost [Seed = 155751728] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s062 geometric_solution 3.60502918 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 0 1 0 0132 2310 1023 3201 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 0 -1 0 1 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.717764028351 0.038738923504 0 2 0 2 0132 0132 1023 1023 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 1 -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.464999900398 0.133332256945 3 1 3 1 0132 0132 2310 1023 0 0 0 0 0 0 -1 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 0 0 0 0 -1 0 0 1 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.796799410801 3.601956052829 2 2 5 4 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.010703121568 0.510356368824 5 5 3 5 1230 3012 0132 1302 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 -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.000015357299 1.021176704724 4 4 4 3 1230 3012 2031 0132 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 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.000015357299 1.021176704724 ==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_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' : 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_5' : d['c_0101_5'], 'c_1100_4' : d['c_0101_5'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0011_4'], '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 148016632597720237/4952995176129449*c_0101_5^13 - 2262831696605024220/4952995176129449*c_0101_5^12 + 11011632615091438083/4952995176129449*c_0101_5^11 + 12528740560794484266/4952995176129449*c_0101_5^10 + 20794876724115640118/4952995176129449*c_0101_5^9 + 14335003828658768942/4952995176129449*c_0101_5^8 - 60275899474883233050/4952995176129449*c_0101_5^7 - 45107863360732216588/4952995176129449*c_0101_5^6 + 21361250425056614422/4952995176129449*c_0101_5^5 + 26211451292466714542/4952995176129449*c_0101_5^4 + 11918207913415504610/4952995176129449*c_0101_5^3 - 3949837034359992523/4952995176129449*c_0101_5^2 - 4000358949970039300/4952995176129449*c_0101_5 - 586067289834489655/4952995176129449, c_0011_0 - 1, c_0011_4 + 3031502468788357/4952995176129449*c_0101_5^13 - 46753909577514639/4952995176129449*c_0101_5^12 + 231947848764150239/4952995176129449*c_0101_5^11 + 223456956335303000/4952995176129449*c_0101_5^10 + 406461437566332780/4952995176129449*c_0101_5^9 + 233903815246925488/4952995176129449*c_0101_5^8 - 1255299837688688331/4952995176129449*c_0101_5^7 - 770796008021237547/4952995176129449*c_0101_5^6 + 492227658379163445/4952995176129449*c_0101_5^5 + 490515053665063160/4952995176129449*c_0101_5^4 + 200603186214289364/4952995176129449*c_0101_5^3 - 103042105864132592/4952995176129449*c_0101_5^2 - 72877388158499444/4952995176129449*c_0101_5 - 6867375757491856/4952995176129449, c_0101_0 + 3063886032896527/4952995176129449*c_0101_5^13 - 46846174125461040/4952995176129449*c_0101_5^12 + 228035911257187312/4952995176129449*c_0101_5^11 + 258542419491350201/4952995176129449*c_0101_5^10 + 434595946301503463/4952995176129449*c_0101_5^9 + 273404790682805455/4952995176129449*c_0101_5^8 - 1272608751264555501/4952995176129449*c_0101_5^7 - 991486883725270677/4952995176129449*c_0101_5^6 + 393126950799683151/4952995176129449*c_0101_5^5 + 615702541446084799/4952995176129449*c_0101_5^4 + 309529661547139759/4952995176129449*c_0101_5^3 - 75561676206976036/4952995176129449*c_0101_5^2 - 92616801294563964/4952995176129449*c_0101_5 - 19612076566342187/4952995176129449, c_0101_1 - 10830233028844570/4952995176129449*c_0101_5^13 + 164755966132542329/4952995176129449*c_0101_5^12 - 792861262005083308/4952995176129449*c_0101_5^11 - 983568255218235950/4952995176129449*c_0101_5^10 - 1559564658001754615/4952995176129449*c_0101_5^9 - 1127821456833228267/4952995176129449*c_0101_5^8 + 4397729907262709057/4952995176129449*c_0101_5^7 + 3689253010930247430/4952995176129449*c_0101_5^6 - 1459898682611514872/4952995176129449*c_0101_5^5 - 2138977322306679237/4952995176129449*c_0101_5^4 - 981909282335754650/4952995176129449*c_0101_5^3 + 256038070591577575/4952995176129449*c_0101_5^2 + 334891693302005678/4952995176129449*c_0101_5 + 57367835619208836/4952995176129449, c_0101_2 + 1141194559883846/4952995176129449*c_0101_5^13 - 17614721690822685/4952995176129449*c_0101_5^12 + 87390507875485101/4952995176129449*c_0101_5^11 + 85258393918816321/4952995176129449*c_0101_5^10 + 141147174010913070/4952995176129449*c_0101_5^9 + 73066687833334615/4952995176129449*c_0101_5^8 - 498285204577779632/4952995176129449*c_0101_5^7 - 308660195007814639/4952995176129449*c_0101_5^6 + 234670338606241289/4952995176129449*c_0101_5^5 + 215755130430910237/4952995176129449*c_0101_5^4 + 58985224658359950/4952995176129449*c_0101_5^3 - 41141156915783432/4952995176129449*c_0101_5^2 - 32542132747287132/4952995176129449*c_0101_5 - 1354198176509694/4952995176129449, c_0101_5^14 - 15*c_0101_5^13 + 70*c_0101_5^12 + 106*c_0101_5^11 + 165*c_0101_5^10 + 138*c_0101_5^9 - 378*c_0101_5^8 - 420*c_0101_5^7 + 57*c_0101_5^6 + 216*c_0101_5^5 + 129*c_0101_5^4 - 4*c_0101_5^3 - 34*c_0101_5^2 - 11*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB