Magma V2.19-8 Tue Aug 20 2013 16:18:09 on localhost [Seed = 1208604017] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2375 geometric_solution 5.74287118 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 0 0 0 0 0 -1 -1 2 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 -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 1.433386851822 1.016903529748 0 3 4 0 0132 0132 0132 3201 0 0 0 0 0 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 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.163608709384 0.670424221439 0 4 3 0 3201 1023 1023 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -2 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 -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.681371425742 0.698151674633 4 1 2 5 2310 0132 1023 0132 0 0 0 0 0 -1 0 1 -1 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 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.075533727432 1.090449798389 2 5 3 1 1023 2310 3201 0132 0 0 0 0 0 -1 1 0 0 0 0 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 -1 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 0 0 0 0 0 0.075533727432 1.090449798389 6 6 3 4 0132 3201 0132 3201 0 0 0 0 0 0 -1 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 0 0 0 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.241247777034 0.438423078416 5 6 5 6 0132 2310 2310 3201 0 0 0 0 0 -1 1 0 -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 1 0 -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 -1.216908316813 0.719357402623 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(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_0011_5'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], '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_0101_3']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), '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_5']), '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_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_6']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(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: 18 Groebner basis: [ t + 63494182745602360288375630/404992717648232851440277*c_0101_6^16 - 171139511492953643107905981/404992717648232851440277*c_0101_6^14 - 35314764032459896246128275/31153285972940988572329*c_0101_6^12 - 1976911179638481326685512667/809985435296465702880554*c_0101_6^10 - 35731356500323293465938482/404992717648232851440277*c_0101_6^8 + 1476562076330483808896776629/809985435296465702880554*c_0101_6^6 + 579718786586449646624890133/404992717648232851440277*c_0101_6^4 - 26966602724986636098247170/404992717648232851440277*c_0101_6^2 - 56818391793682996343683428/404992717648232851440277, c_0011_0 - 1, c_0011_2 - 83029748964264938555676/31153285972940988572329*c_0101_6^16 + 240724732419852420470946/31153285972940988572329*c_0101_6^14 + 548020244916737248660282/31153285972940988572329*c_0101_6^12 + 1191035774866607126720587/31153285972940988572329*c_0101_6^10 - 175732348937616270745254/31153285972940988572329*c_0101_6^8 - 895676052994186271053529/31153285972940988572329*c_0101_6^6 - 588348406680654072769256/31153285972940988572329*c_0101_6^4 + 124818854547802580059639/31153285972940988572329*c_0101_6^2 + 61227219657801214990395/31153285972940988572329, c_0011_5 + 373224786969191310152252/31153285972940988572329*c_0101_6^16 - 1014771545225671556664518/31153285972940988572329*c_0101_6^14 - 2682091236431803068721820/31153285972940988572329*c_0101_6^12 - 5729105466174730543871277/31153285972940988572329*c_0101_6^10 - 13972259353773597810855/31153285972940988572329*c_0101_6^8 + 4464631955533706236461055/31153285972940988572329*c_0101_6^6 + 3327437608730915837781666/31153285972940988572329*c_0101_6^4 - 323000177673738610637907/31153285972940988572329*c_0101_6^2 - 388140664710224797685476/31153285972940988572329, c_0101_0 + 4234125558412715291136052/404992717648232851440277*c_0101_6^\ 17 - 11422757217883394190187526/404992717648232851440277*c_0101_6^1\ 5 - 2350053928107080974875726/31153285972940988572329*c_0101_6^13 - 65990875508833376740750129/404992717648232851440277*c_0101_6^11 - 2270983129640834841662598/404992717648232851440277*c_0101_6^9 + 48819715471557594182559739/404992717648232851440277*c_0101_6^7 + 38889343387513703927812912/404992717648232851440277*c_0101_6^5 - 2448881207768819994591177/404992717648232851440277*c_0101_6^3 - 3971484239988117667442997/404992717648232851440277*c_0101_6, c_0101_1 + 13250826667749038978460928/404992717648232851440277*c_0101_6\ ^17 - 36302672806663202597218000/404992717648232851440277*c_0101_6^\ 15 - 7254911556961889838972840/31153285972940988572329*c_0101_6^13 - 201933159445671773206927776/404992717648232851440277*c_0101_6^11 + 2667601514585048942290008/404992717648232851440277*c_0101_6^9 + 156552694440684550548965044/404992717648232851440277*c_0101_6^7 + 116126849789688612622787628/404992717648232851440277*c_0101_6^5 - 12196301026908040971921588/404992717648232851440277*c_0101_6^3 - 13200639024020129059696878/404992717648232851440277*c_0101_6, c_0101_3 + 8954303483136153645841492/404992717648232851440277*c_0101_6^\ 17 - 24558073401190091752493994/404992717648232851440277*c_0101_6^1\ 5 - 4890446505969505006092576/31153285972940988572329*c_0101_6^13 - 136470593702838538317960515/404992717648232851440277*c_0101_6^11 + 1514935276252280056351531/404992717648232851440277*c_0101_6^9 + 104319128477166568288502041/404992717648232851440277*c_0101_6^7 + 77532548807562096877514309/404992717648232851440277*c_0101_6^5 - 7670844261398704262354877/404992717648232851440277*c_0101_6^3 - 8393777076246055116850008/404992717648232851440277*c_0101_6, c_0101_6^18 - 575/242*c_0101_6^16 - 1963/242*c_0101_6^14 - 8629/484*c_0101_6^12 - 1299/242*c_0101_6^10 + 5719/484*c_0101_6^8 + 1570/121*c_0101_6^6 + 1099/484*c_0101_6^4 - 621/484*c_0101_6^2 - 169/484 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB