Magma V2.19-8 Tue Aug 20 2013 16:18:23 on localhost [Seed = 3103335830] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2592 geometric_solution 5.88411933 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 1302 0132 2031 0 0 0 0 0 -1 0 1 0 0 -1 1 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 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.505767618406 0.198452337219 0 3 2 4 0132 0132 3012 0132 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 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.009270232745 0.754944433981 5 1 6 0 0132 1230 0132 0132 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 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.496877956554 0.584825254291 3 1 3 6 2310 0132 3201 0132 0 0 0 0 0 0 0 0 1 0 -1 0 1 -1 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 1 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.933786869893 1.514347526921 5 5 1 6 1230 0321 0132 2031 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 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.453538474463 0.761870944193 2 4 6 4 0132 3012 1302 0321 0 0 0 0 0 0 1 -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 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.378362294031 0.866680788785 5 4 3 2 2031 1302 0132 0132 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 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.757531790085 0.627761220028 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(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' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : negation(d['c_1001_2']), 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_1001_2']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_6']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0011_2']), 'c_1001_1' : negation(d['c_0011_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : negation(d['c_0011_6']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0011_2']), 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : negation(d['c_0011_2']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : d['c_0011_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_4, c_0011_6, c_0101_1, c_0101_3, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 1130619791757815555105792/49168071081515763000988365*c_1001_2^16 + 1287325734943779847799352/16389357027171921000329455*c_1001_2^14 + 46421007770082378532274492/49168071081515763000988365*c_1001_2^12 - 26217442355052668451104786/49168071081515763000988365*c_1001_2^10 - 934742268282749978874946717/49168071081515763000988365*c_1001_2^8 - 428362308612029354859437438/16389357027171921000329455*c_1001_2^6 + 1555545040730855084365242062/16389357027171921000329455*c_1001_2^4 + 3737352030209724975724484859/16389357027171921000329455*c_1001_2^2 - 3780483054279625565040304433/98336142163031526001976730, c_0011_0 - 1, c_0011_2 + 1762966482977471101936/3277871405434384200065891*c_1001_2^17 - 5752113227429510207272/3277871405434384200065891*c_1001_2^15 - 75371249395027526500964/3277871405434384200065891*c_1001_2^13 + 41072052164491871451438/3277871405434384200065891*c_1001_2^11 + 1544339554954440714949102/3277871405434384200065891*c_1001_2^9 + 1940713683112245452690618/3277871405434384200065891*c_1001_2^7 - 8453547574088579162079256/3277871405434384200065891*c_1001_2^5 - 17649336069186888000130857/3277871405434384200065891*c_1001_2^3 + 9948852782864863332948136/3277871405434384200065891*c_1001_2, c_0011_4 - 14052740869410872801120/3277871405434384200065891*c_1001_2^1\ 7 + 47965915279145187500192/3277871405434384200065891*c_1001_2^15 + 574735169459447355123008/3277871405434384200065891*c_1001_2^13 - 309771412265593816625072/3277871405434384200065891*c_1001_2^11 - 11579054082738194463888222/3277871405434384200065891*c_1001_2^9 - 16166650732388323598662732/3277871405434384200065891*c_1001_2^7 + 57095611394586275518779300/3277871405434384200065891*c_1001_2^5 + 139525963534553498548464820/3277871405434384200065891*c_1001_2^3 - 22900748161938488137407268/3277871405434384200065891*c_1001_2, c_0011_6 - 51997166552143385872/79948083059375224391851*c_1001_2^16 + 146953464411472495800/79948083059375224391851*c_1001_2^14 + 2323649070811103233852/79948083059375224391851*c_1001_2^12 - 291409372442590914066/79948083059375224391851*c_1001_2^10 - 46986700728747158945938/79948083059375224391851*c_1001_2^8 - 76828252468651297843808/79948083059375224391851*c_1001_2^6 + 239992653611688974130320/79948083059375224391851*c_1001_2^4 + 645568561993819315735563/79948083059375224391851*c_1001_2^2 - 100734063209819024844768/79948083059375224391851, c_0101_1 - 76217189222732421680/79948083059375224391851*c_1001_2^16 + 237690416809639097176/79948083059375224391851*c_1001_2^14 + 3210556614840617420108/79948083059375224391851*c_1001_2^12 - 790133113641728847290/79948083059375224391851*c_1001_2^10 - 64602322108908282358376/79948083059375224391851*c_1001_2^8 - 102668815087162291824614/79948083059375224391851*c_1001_2^6 + 300987151218370354981386/79948083059375224391851*c_1001_2^4 + 818015066801590708044607/79948083059375224391851*c_1001_2^2 - 74877739733440483373486/79948083059375224391851, c_0101_3 + 3926552648956247391296/3277871405434384200065891*c_1001_2^17 - 14350611706468926830080/3277871405434384200065891*c_1001_2^15 - 157794285975089507357568/3277871405434384200065891*c_1001_2^13 + 127189056806424746986800/3277871405434384200065891*c_1001_2^11 + 3209901771575001702820812/3277871405434384200065891*c_1001_2^9 + 3807105214054537754713736/3277871405434384200065891*c_1001_2^7 - 17014928535339800365661594/3277871405434384200065891*c_1001_2^5 - 35724871202704073997008310/3277871405434384200065891*c_1001_2^3 + 12527394281723259311032287/3277871405434384200065891*c_1001_2, c_1001_2^18 - 7/2*c_1001_2^16 - 163/4*c_1001_2^14 + 213/8*c_1001_2^12 + 6591/8*c_1001_2^10 + 8527/8*c_1001_2^8 - 33687/8*c_1001_2^6 - 152427/16*c_1001_2^4 + 40775/16*c_1001_2^2 - 1681/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB