Magma V2.19-8 Tue Aug 20 2013 16:15:50 on localhost [Seed = 1073863787] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0068 geometric_solution 3.62371598 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 3201 0 0 0 0 0 1 -1 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 -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.761474357233 0.029403812525 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 1 -1 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 1 -1 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 1.716908816593 0.132792526350 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 0 -1 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.263819612851 0.125222016335 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 1 -1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.305269009695 1.008121103584 6 3 5 5 0132 0132 1302 3201 0 0 0 0 0 0 -1 1 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 -1 1 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.003264180176 0.509621565337 4 4 6 3 2031 2310 2310 0132 0 0 0 0 0 0 0 0 1 0 -1 0 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 0 0 0 1 0 0 -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.003264180176 0.509621565337 4 5 6 6 0132 3201 2031 1302 0 0 0 0 0 0 -1 1 0 0 -1 1 -1 0 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.003264180176 0.509621565337 ==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' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_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' : d['1'], 's_1_1' : d['1'], 's_1_0' : 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' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), '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_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), '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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 3750466/56669*c_0101_6^14 + 71098655/113338*c_0101_6^13 - 75975737/113338*c_0101_6^12 - 988784371/113338*c_0101_6^11 + 402160047/56669*c_0101_6^10 + 3541619265/113338*c_0101_6^9 - 1442725897/56669*c_0101_6^8 - 5072292469/113338*c_0101_6^7 + 2000704405/56669*c_0101_6^6 + 3413438003/113338*c_0101_6^5 - 2493998675/113338*c_0101_6^4 - 1086730185/113338*c_0101_6^3 + 708196585/113338*c_0101_6^2 + 66269784/56669*c_0101_6 - 74258821/113338, c_0011_0 - 1, c_0011_2 + 52649/56669*c_0101_6^14 + 434174/56669*c_0101_6^13 - 1154034/56669*c_0101_6^12 - 6364489/56669*c_0101_6^11 + 28004291/113338*c_0101_6^10 + 18779650/56669*c_0101_6^9 - 48215792/56669*c_0101_6^8 - 28481649/113338*c_0101_6^7 + 62878696/56669*c_0101_6^6 - 6031889/113338*c_0101_6^5 - 69384621/113338*c_0101_6^4 + 5706946/56669*c_0101_6^3 + 14407491/113338*c_0101_6^2 - 2350599/113338*c_0101_6 - 406191/113338, c_0011_5 - 485918/56669*c_0101_6^14 - 4509558/56669*c_0101_6^13 + 11398073/113338*c_0101_6^12 + 61736814/56669*c_0101_6^11 - 64069409/56669*c_0101_6^10 - 403137091/113338*c_0101_6^9 + 225405782/56669*c_0101_6^8 + 465068135/113338*c_0101_6^7 - 591353127/113338*c_0101_6^6 - 94549461/56669*c_0101_6^5 + 324643561/113338*c_0101_6^4 + 2119125/113338*c_0101_6^3 - 66179559/113338*c_0101_6^2 + 4629773/56669*c_0101_6 + 791560/56669, c_0101_0 - 376863/113338*c_0101_6^14 - 4809683/113338*c_0101_6^13 - 4359112/56669*c_0101_6^12 + 53653979/113338*c_0101_6^11 + 60628319/56669*c_0101_6^10 - 203935029/113338*c_0101_6^9 - 202095889/56669*c_0101_6^8 + 180722283/56669*c_0101_6^7 + 532077871/113338*c_0101_6^6 - 303410349/113338*c_0101_6^5 - 303236303/113338*c_0101_6^4 + 114548401/113338*c_0101_6^3 + 66093115/113338*c_0101_6^2 - 15376671/113338*c_0101_6 - 2188695/113338, c_0101_1 + 977975/56669*c_0101_6^14 + 9522138/56669*c_0101_6^13 - 7015603/56669*c_0101_6^12 - 126368162/56669*c_0101_6^11 + 141031341/113338*c_0101_6^10 + 423470000/56669*c_0101_6^9 - 252666716/56669*c_0101_6^8 - 17558887/1858*c_0101_6^7 + 324385926/56669*c_0101_6^6 + 557635399/113338*c_0101_6^5 - 338745219/113338*c_0101_6^4 - 48016117/56669*c_0101_6^3 + 63759677/113338*c_0101_6^2 - 2682911/113338*c_0101_6 - 1100185/113338, c_0101_3 + 562280/56669*c_0101_6^14 + 10140165/113338*c_0101_6^13 - 16118305/113338*c_0101_6^12 - 141192065/113338*c_0101_6^11 + 186775495/113338*c_0101_6^10 + 450980645/113338*c_0101_6^9 - 325854955/56669*c_0101_6^8 - 241305660/56669*c_0101_6^7 + 426717259/56669*c_0101_6^6 + 75631419/56669*c_0101_6^5 - 234866830/56669*c_0101_6^4 + 28722235/113338*c_0101_6^3 + 48243495/56669*c_0101_6^2 - 15426525/113338*c_0101_6 - 1230691/56669, c_0101_6^15 + 10*c_0101_6^14 - 5*c_0101_6^13 - 135*c_0101_6^12 + 40*c_0101_6^11 + 503*c_0101_6^10 - 161*c_0101_6^9 - 789*c_0101_6^8 + 249*c_0101_6^7 + 601*c_0101_6^6 - 175*c_0101_6^5 - 224*c_0101_6^4 + 57*c_0101_6^3 + 35*c_0101_6^2 - 7*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB