Magma V2.19-8 Tue Aug 20 2013 23:38:28 on localhost [Seed = 643842586] Type ? for help. Type -D to quit. Loading file "K14n3155__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n3155 geometric_solution 9.12196396 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 10 1 1 2 2 0132 3201 0132 3201 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 -1 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 0 0.377480724086 0.662312899745 0 3 0 4 0132 0132 2310 0132 0 0 0 0 0 0 0 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 0 0 0 -1 0 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 1.350459131251 1.139658978153 5 0 6 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1.350459131251 1.139658978153 7 1 8 9 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 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 0 0 -1 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.599366213935 0.437975199198 5 8 1 5 2310 0132 0132 2031 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 -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.394401852590 0.587651816451 2 4 4 9 0132 1302 3201 3120 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 -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.394401852590 0.587651816451 9 7 8 2 3120 0321 0321 0132 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 1 0 -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.358736599360 0.610078299061 3 9 8 6 0132 0132 1302 0321 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 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.622519275914 0.662312899745 7 4 6 3 2031 0132 0321 0132 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 -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.818549542717 0.778742888210 5 7 3 6 3120 0132 0132 3120 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 -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 0.599366213935 0.437975199198 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0101_0']), 'c_1001_4' : d['c_1001_3'], 'c_1001_7' : negation(d['c_0011_6']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : negation(d['c_0011_2']), 's_2_8' : d['1'], 's_2_9' : d['1'], 's_2_0' : 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_2_7' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_9' : negation(d['c_0101_6']), 'c_1100_8' : negation(d['c_0101_6']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_0'], 'c_1100_7' : negation(d['c_0101_6']), 'c_1100_6' : negation(d['c_0011_2']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : negation(d['c_0011_2']), 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : negation(d['c_0011_2']), 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_1001_3'], 'c_1010_0' : negation(d['c_1001_1']), 'c_1010_9' : negation(d['c_0011_6']), 'c_1010_8' : d['c_1001_3'], '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_0'], 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_0']), '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_0101_7' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_4'], 'c_0101_8' : negation(d['c_0101_6']), 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_7' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_6, c_1001_1, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 21680104634878293/40816739179555508*c_1001_3^15 - 1841691729236991/20408369589777754*c_1001_3^14 + 270865773802275231/40816739179555508*c_1001_3^13 - 99918075031817843/10204184794888877*c_1001_3^12 + 258524418241875923/40816739179555508*c_1001_3^11 - 2568748541739160429/20408369589777754*c_1001_3^10 + 18038026960924427083/40816739179555508*c_1001_3^9 - 16636599010797536807/40816739179555508*c_1001_3^8 - 22738332380401600493/40816739179555508*c_1001_3^7 + 30637539394474072929/20408369589777754*c_1001_3^6 - 8072760189850396253/10204184794888877*c_1001_3^5 - 6147127581829233343/10204184794888877*c_1001_3^4 - 384221736369767540/10204184794888877*c_1001_3^3 + 5912826065755420473/3139749167658116*c_1001_3^2 - 77604775819355213839/40816739179555508*c_1001_3 + 940187403619331551/1569874583829058, c_0011_0 - 1, c_0011_2 - 1, c_0011_4 - 18794642746963/60379791685733*c_1001_3^15 + 92658693834156/60379791685733*c_1001_3^14 - 400028447362787/120759583371466*c_1001_3^13 + 492556920549170/60379791685733*c_1001_3^12 - 3840280178849843/120759583371466*c_1001_3^11 + 8862240472817425/120759583371466*c_1001_3^10 - 3281888338925865/60379791685733*c_1001_3^9 - 11839951464451397/120759583371466*c_1001_3^8 + 15258423429007196/60379791685733*c_1001_3^7 - 22002861395212635/120759583371466*c_1001_3^6 - 1365151509662321/120759583371466*c_1001_3^5 - 2542261497874301/60379791685733*c_1001_3^4 + 37406507530943433/120759583371466*c_1001_3^3 - 23089866454209071/60379791685733*c_1001_3^2 + 1886141058316681/9289198720882*c_1001_3 - 396520982277839/9289198720882, c_0011_6 + 28920155673602/60379791685733*c_1001_3^15 - 289150741805229/120759583371466*c_1001_3^14 + 315589952954041/60379791685733*c_1001_3^13 - 1543309955817651/120759583371466*c_1001_3^12 + 5988906990553829/120759583371466*c_1001_3^11 - 6983426467985501/60379791685733*c_1001_3^10 + 10718811658831637/120759583371466*c_1001_3^9 + 9043475806444099/60379791685733*c_1001_3^8 - 48269128249980029/120759583371466*c_1001_3^7 + 35858428711047229/120759583371466*c_1001_3^6 + 762193409181766/60379791685733*c_1001_3^5 + 7196658354676207/120759583371466*c_1001_3^4 - 29287263260980739/60379791685733*c_1001_3^3 + 74018520874282011/120759583371466*c_1001_3^2 - 40035041938576141/120759583371466*c_1001_3 + 328050691696975/4644599360441, c_0101_0 + 7192215995465/120759583371466*c_1001_3^15 - 73550365471251/120759583371466*c_1001_3^14 + 226842478124501/120759583371466*c_1001_3^13 - 223245088532978/60379791685733*c_1001_3^12 + 1480803959438299/120759583371466*c_1001_3^11 - 4855175169837899/120759583371466*c_1001_3^10 + 7135679261006801/120759583371466*c_1001_3^9 + 1363046342656221/120759583371466*c_1001_3^8 - 9338015678312638/60379791685733*c_1001_3^7 + 22535640686645571/120759583371466*c_1001_3^6 - 4149353321614779/120759583371466*c_1001_3^5 - 4644246695825835/120759583371466*c_1001_3^4 - 17784051606495237/120759583371466*c_1001_3^3 + 18132621868977103/60379791685733*c_1001_3^2 - 1899576387780347/9289198720882*c_1001_3 + 245009895109442/4644599360441, c_0101_1 - 1020545663/50548172194*c_1001_3^15 + 547883497/25274086097*c_1001_3^14 + 10406358195/50548172194*c_1001_3^13 - 16298729215/50548172194*c_1001_3^12 - 3033437149/25274086097*c_1001_3^11 - 13487155899/3888320938*c_1001_3^10 + 31058010773/1944160469*c_1001_3^9 - 889346454729/50548172194*c_1001_3^8 - 67249686377/3888320938*c_1001_3^7 + 1411084763618/25274086097*c_1001_3^6 - 1616018233247/50548172194*c_1001_3^5 - 632990560082/25274086097*c_1001_3^4 + 212938017689/50548172194*c_1001_3^3 + 3457441117041/50548172194*c_1001_3^2 - 1774040139270/25274086097*c_1001_3 + 44686334462/1944160469, c_0101_2 - c_1001_3, c_0101_6 - 54525578701175/120759583371466*c_1001_3^15 + 296348927425741/120759583371466*c_1001_3^14 - 346106456449899/60379791685733*c_1001_3^13 + 813110718829755/60379791685733*c_1001_3^12 - 3062822138788417/60379791685733*c_1001_3^11 + 7596898180039551/60379791685733*c_1001_3^10 - 14008886343614911/120759583371466*c_1001_3^9 - 8080872482515434/60379791685733*c_1001_3^8 + 26838035219538757/60379791685733*c_1001_3^7 - 23087570915368751/60379791685733*c_1001_3^6 + 1062932422104662/60379791685733*c_1001_3^5 - 3060338066077475/120759583371466*c_1001_3^4 + 30793402609321089/60379791685733*c_1001_3^3 - 3384945979953901/4644599360441*c_1001_3^2 + 25895036547969906/60379791685733*c_1001_3 - 929603635963301/9289198720882, c_1001_1 - 18794642746963/60379791685733*c_1001_3^15 + 92658693834156/60379791685733*c_1001_3^14 - 400028447362787/120759583371466*c_1001_3^13 + 492556920549170/60379791685733*c_1001_3^12 - 3840280178849843/120759583371466*c_1001_3^11 + 8862240472817425/120759583371466*c_1001_3^10 - 3281888338925865/60379791685733*c_1001_3^9 - 11839951464451397/120759583371466*c_1001_3^8 + 15258423429007196/60379791685733*c_1001_3^7 - 22002861395212635/120759583371466*c_1001_3^6 - 1365151509662321/120759583371466*c_1001_3^5 - 2542261497874301/60379791685733*c_1001_3^4 + 37406507530943433/120759583371466*c_1001_3^3 - 23089866454209071/60379791685733*c_1001_3^2 + 1886141058316681/9289198720882*c_1001_3 - 396520982277839/9289198720882, c_1001_3^16 - 6*c_1001_3^15 + 16*c_1001_3^14 - 38*c_1001_3^13 + 131*c_1001_3^12 - 347*c_1001_3^11 + 435*c_1001_3^10 + 110*c_1001_3^9 - 1140*c_1001_3^8 + 1487*c_1001_3^7 - 651*c_1001_3^6 + 121*c_1001_3^5 - 1120*c_1001_3^4 + 2314*c_1001_3^3 - 2055*c_1001_3^2 + 910*c_1001_3 - 169 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.290 seconds, Total memory usage: 32.09MB