Magma V2.19-8 Tue Aug 20 2013 16:14:07 on localhost [Seed = 2084429893] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s063 geometric_solution 3.60538751 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 0 1 0 0132 2310 2310 3201 0 0 0 0 0 0 -1 1 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 -1 0 0 1 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.668233259947 0.073971476978 0 0 2 2 0132 3201 2310 0132 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 -1 1 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 2.158789518911 0.483872734931 3 1 1 3 0132 3201 0132 1023 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 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 1.343285503127 0.507848243558 2 4 5 2 0132 0132 0132 1023 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 -1 0 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.205662247116 0.410462312643 5 3 5 5 2310 0132 3201 2031 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 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.007357466111 1.019699034695 4 4 4 3 2310 1302 3201 0132 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 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.007357466111 1.019699034695 ==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' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0101_3']), '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_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_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_5'], '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_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], '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' : 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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 53083228890142609/461307309470031*c_0101_3^14 - 488920765849752805/922614618940062*c_0101_3^13 - 600228502049552157/307538206313354*c_0101_3^12 + 5790699613288469515/922614618940062*c_0101_3^11 + 7924868362605261971/461307309470031*c_0101_3^10 - 13790166864646061069/922614618940062*c_0101_3^9 - 21188410130150527168/461307309470031*c_0101_3^8 + 2782181484408370463/153769103156677*c_0101_3^7 + 43179978648218837159/922614618940062*c_0101_3^6 - 13296171780246825053/922614618940062*c_0101_3^5 - 20224278047191480349/922614618940062*c_0101_3^4 + 1948366155311947432/461307309470031*c_0101_3^3 + 2095168774023777799/461307309470031*c_0101_3^2 + 201551987983785166/461307309470031*c_0101_3 + 35506836673792579/922614618940062, c_0011_0 - 1, c_0011_2 - 971677543712684/2614074753663509*c_0101_3^14 + 5087761504783432/2614074753663509*c_0101_3^13 + 790189740912076/153769103156677*c_0101_3^12 - 124209251708687189/5228149507327018*c_0101_3^11 - 218292544588461535/5228149507327018*c_0101_3^10 + 201937158967636431/2614074753663509*c_0101_3^9 + 580659174092007925/5228149507327018*c_0101_3^8 - 679813646383899901/5228149507327018*c_0101_3^7 - 509181661551881591/5228149507327018*c_0101_3^6 + 538115462230838249/5228149507327018*c_0101_3^5 + 88927537545108345/2614074753663509*c_0101_3^4 - 80071903062854936/2614074753663509*c_0101_3^3 - 44685269701404695/5228149507327018*c_0101_3^2 + 2438313933869909/2614074753663509*c_0101_3 + 4024227102687145/5228149507327018, c_0011_5 - 914091181996036/2614074753663509*c_0101_3^14 + 4760965399350192/2614074753663509*c_0101_3^13 + 749691008218866/153769103156677*c_0101_3^12 - 116034565460679257/5228149507327018*c_0101_3^11 - 207109838739850287/5228149507327018*c_0101_3^10 + 186443312729320797/2614074753663509*c_0101_3^9 + 541416379946585201/5228149507327018*c_0101_3^8 - 627781977112205617/5228149507327018*c_0101_3^7 - 447436321651447027/5228149507327018*c_0101_3^6 + 511301977119777273/5228149507327018*c_0101_3^5 + 55250404751617857/2614074753663509*c_0101_3^4 - 79905411686911501/2614074753663509*c_0101_3^3 - 9782598876723575/5228149507327018*c_0101_3^2 + 3202606645505856/2614074753663509*c_0101_3 + 889582617431785/5228149507327018, c_0101_0 + 1011304817463638/2614074753663509*c_0101_3^14 - 5392787353889428/2614074753663509*c_0101_3^13 - 1588774341453167/307538206313354*c_0101_3^12 + 66133746799922587/2614074753663509*c_0101_3^11 + 215908227105576559/5228149507327018*c_0101_3^10 - 445422833232289719/5228149507327018*c_0101_3^9 - 286775187900086888/2614074753663509*c_0101_3^8 + 384634025521833628/2614074753663509*c_0101_3^7 + 238632281530772760/2614074753663509*c_0101_3^6 - 615097701709327339/5228149507327018*c_0101_3^5 - 63612482004987429/2614074753663509*c_0101_3^4 + 199381233084116233/5228149507327018*c_0101_3^3 + 18593592402844201/5228149507327018*c_0101_3^2 - 17578068836426391/5228149507327018*c_0101_3 - 1425317622202887/5228149507327018, c_0101_1 - 1142520130756886/2614074753663509*c_0101_3^14 + 5923994597310724/2614074753663509*c_0101_3^13 + 1911184594324781/307538206313354*c_0101_3^12 - 146304132771442437/5228149507327018*c_0101_3^11 - 133068365796046130/2614074753663509*c_0101_3^10 + 484198724843252031/5228149507327018*c_0101_3^9 + 716210382686612457/5228149507327018*c_0101_3^8 - 852698348565306715/5228149507327018*c_0101_3^7 - 650502291528353775/5228149507327018*c_0101_3^6 + 380309777248623569/2614074753663509*c_0101_3^5 + 94373437459827251/2614074753663509*c_0101_3^4 - 271710147453325003/5228149507327018*c_0101_3^3 - 8511935943450395/2614074753663509*c_0101_3^2 + 24730970415747183/5228149507327018*c_0101_3 + 811922541873721/2614074753663509, c_0101_3^15 - 9/2*c_0101_3^14 - 35/2*c_0101_3^13 + 53*c_0101_3^12 + 156*c_0101_3^11 - 117*c_0101_3^10 - 843/2*c_0101_3^9 + 121*c_0101_3^8 + 893/2*c_0101_3^7 - 175/2*c_0101_3^6 - 228*c_0101_3^5 + 20*c_0101_3^4 + 111/2*c_0101_3^3 + 15/2*c_0101_3^2 - 2*c_0101_3 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB