Magma V2.19-8 Tue Aug 20 2013 16:16:48 on localhost [Seed = 4172899375] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1082 geometric_solution 4.95170343 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 2310 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 -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.308193980817 0.095796793136 2 0 0 2 0132 0132 1023 1023 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 1 0 -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.549029735317 0.395807533838 1 3 4 1 0132 0132 0132 1023 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 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.010773744575 0.629758935966 4 2 5 4 2310 0132 0132 2031 0 0 0 0 0 0 0 0 -1 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.228178862538 0.721863168385 5 3 3 2 2310 1302 3201 0132 0 0 0 0 0 -1 0 1 -1 0 1 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 -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.228178862538 0.721863168385 6 6 4 3 0132 2310 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.350797154705 0.986016109113 5 6 6 5 0132 1230 3012 3201 0 0 0 0 0 -1 0 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 -1 0 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.404418124414 0.497687872501 ==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_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' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_3'], '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' : d['c_0011_4'], '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' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : 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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 1158793607/387997*c_0101_2*c_0101_3^16 + 8573947585/387997*c_0101_2*c_0101_3^15 - 23224947470/387997*c_0101_2*c_0101_3^14 - 46299815137/387997*c_0101_2*c_0101_3^13 + 154098380034/387997*c_0101_2*c_0101_3^12 + 9041691093/387997*c_0101_2*c_0101_3^11 - 382839079147/387997*c_0101_2*c_0101_3^10 + 296152150504/387997*c_0101_2*c_0101_3^9 + 292648505275/387997*c_0101_2*c_0101_3^8 - 515571958544/387997*c_0101_2*c_0101_3^7 + 105445745992/387997*c_0101_2*c_0101_3^6 + 260856483821/387997*c_0101_2*c_0101_3^5 - 199999418105/387997*c_0101_2*c_0101_3^4 + 6967499853/387997*c_0101_2*c_0101_3^3 + 50008465414/387997*c_0101_2*c_0101_3^2 - 21957471004/387997*c_0101_2*c_0101_3 + 2958437917/387997*c_0101_2, c_0011_0 - 1, c_0011_4 + c_0101_2*c_0101_3^16 + 8*c_0101_2*c_0101_3^15 - 15*c_0101_2*c_0101_3^14 - 47*c_0101_2*c_0101_3^13 + 102*c_0101_2*c_0101_3^12 + 57*c_0101_2*c_0101_3^11 - 277*c_0101_2*c_0101_3^10 + 110*c_0101_2*c_0101_3^9 + 262*c_0101_2*c_0101_3^8 - 284*c_0101_2*c_0101_3^7 - 17*c_0101_2*c_0101_3^6 + 173*c_0101_2*c_0101_3^5 - 89*c_0101_2*c_0101_3^4 - 15*c_0101_2*c_0101_3^3 + 26*c_0101_2*c_0101_3^2 - 10*c_0101_2*c_0101_3 + c_0101_2, c_0011_5 - 6111890/387997*c_0101_2*c_0101_3^16 - 47104918/387997*c_0101_2*c_0101_3^15 + 107332116/387997*c_0101_2*c_0101_3^14 + 271968292/387997*c_0101_2*c_0101_3^13 - 719675058/387997*c_0101_2*c_0101_3^12 - 236668547/387997*c_0101_2*c_0101_3^11 + 1882267289/387997*c_0101_2*c_0101_3^10 - 1032099192/387997*c_0101_2*c_0101_3^9 - 1678427019/387997*c_0101_2*c_0101_3^8 + 2159268568/387997*c_0101_2*c_0101_3^7 - 88030371/387997*c_0101_2*c_0101_3^6 - 1238043333/387997*c_0101_2*c_0101_3^5 + 721138827/387997*c_0101_2*c_0101_3^4 + 65756477/387997*c_0101_2*c_0101_3^3 - 204049945/387997*c_0101_2*c_0101_3^2 + 73233843/387997*c_0101_2*c_0101_3 - 9080748/387997*c_0101_2, c_0101_0 - 144103163/387997*c_0101_2*c_0101_3^16 - 1057263079/387997*c_0101_2*c_0101_3^15 + 2960443559/387997*c_0101_2*c_0101_3^14 + 5626430758/387997*c_0101_2*c_0101_3^13 - 19607607791/387997*c_0101_2*c_0101_3^12 - 230463836/387997*c_0101_2*c_0101_3^11 + 48267032373/387997*c_0101_2*c_0101_3^10 - 39340931903/387997*c_0101_2*c_0101_3^9 - 35759211664/387997*c_0101_2*c_0101_3^8 + 66767237923/387997*c_0101_2*c_0101_3^7 - 15344890356/387997*c_0101_2*c_0101_3^6 - 33060455907/387997*c_0101_2*c_0101_3^5 + 26456504745/387997*c_0101_2*c_0101_3^4 - 1383952006/387997*c_0101_2*c_0101_3^3 - 6484529148/387997*c_0101_2*c_0101_3^2 + 2938986950/387997*c_0101_2*c_0101_3 - 405282136/387997*c_0101_2, c_0101_1 + 2990204/387997*c_0101_2*c_0101_3^16 + 15342653/387997*c_0101_2*c_0101_3^15 - 113620010/387997*c_0101_2*c_0101_3^14 - 11533642/387997*c_0101_2*c_0101_3^13 + 722789381/387997*c_0101_2*c_0101_3^12 - 707734267/387997*c_0101_2*c_0101_3^11 - 1409096766/387997*c_0101_2*c_0101_3^10 + 2769731386/387997*c_0101_2*c_0101_3^9 + 44331374/387997*c_0101_2*c_0101_3^8 - 3364089537/387997*c_0101_2*c_0101_3^7 + 2230404143/387997*c_0101_2*c_0101_3^6 + 1023358041/387997*c_0101_2*c_0101_3^5 - 1829735870/387997*c_0101_2*c_0101_3^4 + 521210243/387997*c_0101_2*c_0101_3^3 + 328512627/387997*c_0101_2*c_0101_3^2 - 242318864/387997*c_0101_2*c_0101_3 + 43343869/387997*c_0101_2, c_0101_2^2 - 59579623/387997*c_0101_3^16 - 445999048/387997*c_0101_3^15 + 1153808236/387997*c_0101_3^14 + 2468080682/387997*c_0101_3^13 - 7680136172/387997*c_0101_3^12 - 1056387516/387997*c_0101_3^11 + 19398058497/387997*c_0101_3^10 - 13622559473/387997*c_0101_3^9 - 15708028461/387997*c_0101_3^8 + 24903222963/387997*c_0101_3^7 - 3770627792/387997*c_0101_3^6 - 13179027442/387997*c_0101_3^5 + 9195244014/387997*c_0101_3^4 + 80185360/387997*c_0101_3^3 - 2409858102/387997*c_0101_3^2 + 970152605/387997*c_0101_3 - 121760787/387997, c_0101_3^17 + 7*c_0101_3^16 - 23*c_0101_3^15 - 32*c_0101_3^14 + 149*c_0101_3^13 - 45*c_0101_3^12 - 334*c_0101_3^11 + 387*c_0101_3^10 + 152*c_0101_3^9 - 546*c_0101_3^8 + 267*c_0101_3^7 + 190*c_0101_3^6 - 262*c_0101_3^5 + 74*c_0101_3^4 + 41*c_0101_3^3 - 36*c_0101_3^2 + 10*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB