Magma V2.19-8 Tue Aug 20 2013 23:38:24 on localhost [Seed = 2799747740] Type ? for help. Type -D to quit. Loading file "K14n14858__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n14858 geometric_solution 8.71309271 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 4 0132 0132 0132 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 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.184137539906 0.585695572214 0 2 6 5 0132 3201 0132 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 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.057421043378 1.217845957928 2 0 1 2 3201 0132 2310 2310 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 0 0 0 0 0 0 0 -0.204766051859 0.983840771308 7 6 8 0 0132 2103 0132 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 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.555463475103 1.662642618714 5 8 0 8 1302 1023 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 -1 1 0 0 0 0 0 0 -13 0 13 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.433342567065 0.760260772001 6 4 1 9 0321 2031 0132 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 0 0 0 0 0 0 0 -1 -13 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.232305427975 0.952797212183 5 3 9 1 0321 2103 3201 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 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.926243599938 0.600110295384 3 8 9 9 0132 3120 0132 3201 0 0 0 0 0 0 1 -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 14 -14 1 0 -1 0 0 14 0 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.743897677061 0.728630451888 4 7 4 3 1023 3120 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 -1 13 -14 0 1 13 0 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.542141730842 0.912933132828 6 7 5 7 2310 2310 0132 0132 0 0 0 0 0 1 0 -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 14 0 -14 -1 0 0 1 0 0 0 0 0 14 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.313928598399 0.671990961648 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0101_8']), 'c_1001_4' : d['c_0101_8'], 'c_1001_7' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0011_3'], 'c_1001_2' : d['c_0101_8'], 'c_1001_9' : d['c_0011_4'], 'c_1001_8' : d['c_0101_3'], 's_2_8' : d['1'], 's_2_9' : 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_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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_9']), 'c_1100_8' : d['c_1100_0'], 'c_1100_5' : negation(d['c_0011_9']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0011_9']), 'c_1100_6' : negation(d['c_0011_9']), 'c_1100_1' : negation(d['c_0011_9']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_1010_7' : negation(d['c_0011_4']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_8']), 'c_1010_0' : d['c_0101_8'], 'c_1010_9' : negation(d['c_0101_3']), 'c_1010_8' : d['c_0011_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' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_4'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : negation(d['c_0101_0']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_3']), 'c_0101_8' : d['c_0101_8'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_5']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0011_5'])})} 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_3, c_0011_4, c_0011_5, c_0011_9, c_0101_0, c_0101_2, c_0101_3, c_0101_8, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 149724035769003341538616902/36573111180510771698760061*c_1100_0^11 + 37458555755408336973895455078/182865555902553858493800305*c_1100_0^\ 10 + 44961147059522300681102413701/52247301686443959569657230*c_110\ 0_0^9 + 402099021297715716109240370977/73146222361021543397520122*c\ _1100_0^8 + 1041276077539379834603068850681/52247301686443959569657\ 230*c_1100_0^7 + 8088613233535460111490077806848/182865555902553858\ 493800305*c_1100_0^6 + 20126857316309086023675927321971/36573111180\ 5107716987600610*c_1100_0^5 + 6203653140931655974735753679419/73146\ 222361021543397520122*c_1100_0^4 + 7457344522427586064958542696877/182865555902553858493800305*c_1100_\ 0^3 + 20367367282627850435019168363417/365731111805107716987600610*\ c_1100_0^2 + 13391288980290095423208024209491/365731111805107716987\ 600610*c_1100_0 + 2614080366664294956120524875492/18286555590255385\ 8493800305, c_0011_0 - 1, c_0011_3 + 17520408299547972000810/988462464338128964831353*c_1100_0^11 + 116413442346490288919145/1976924928676257929662706*c_1100_0^10 + 124180620151248528245195/282417846953751132808958*c_1100_0^9 + 1488535781676342275759053/988462464338128964831353*c_1100_0^8 + 437358333017605008284896/141208923476875566404479*c_1100_0^7 + 6309278276045120301863289/1976924928676257929662706*c_1100_0^6 + 12919207090620100123137443/1976924928676257929662706*c_1100_0^5 + 1719184336829775967416409/1976924928676257929662706*c_1100_0^4 + 11788730433379261479312079/1976924928676257929662706*c_1100_0^3 + 1788229180284255971363690/988462464338128964831353*c_1100_0^2 + 603268125663019762366551/988462464338128964831353*c_1100_0 + 567865173374200662868402/988462464338128964831353, c_0011_4 + 111862293638927076877995/1976924928676257929662706*c_1100_0^\ 11 + 197938974390095173316832/988462464338128964831353*c_1100_0^10 + 201777210546232655852721/141208923476875566404479*c_1100_0^9 + 4978829833565672064853683/988462464338128964831353*c_1100_0^8 + 1478654164043886533561639/141208923476875566404479*c_1100_0^7 + 10359018610711665881375048/988462464338128964831353*c_1100_0^6 + 36734233354565313024811699/1976924928676257929662706*c_1100_0^5 + 1397639409604695239678483/988462464338128964831353*c_1100_0^4 + 25176211052294437460821705/1976924928676257929662706*c_1100_0^3 + 5062487432131606066951545/988462464338128964831353*c_1100_0^2 - 1361190901195271836364869/1976924928676257929662706*c_1100_0 - 244898751011676053440761/988462464338128964831353, c_0011_5 - 6504927975748636410861/988462464338128964831353*c_1100_0^11 - 52332643424621023264413/1976924928676257929662706*c_1100_0^10 - 25177211461712293885925/141208923476875566404479*c_1100_0^9 - 1316562870737088289098579/1976924928676257929662706*c_1100_0^8 - 213133220331972127266028/141208923476875566404479*c_1100_0^7 - 1775129842303070363363213/988462464338128964831353*c_1100_0^6 - 2560974277065597240441186/988462464338128964831353*c_1100_0^5 - 648190152614412409110449/988462464338128964831353*c_1100_0^4 - 1188399508215811231859592/988462464338128964831353*c_1100_0^3 - 1037126509597736790002472/988462464338128964831353*c_1100_0^2 - 830158157725133401607864/988462464338128964831353*c_1100_0 - 42330565486501213453251/1976924928676257929662706, c_0011_9 - 22226272671423012698106/988462464338128964831353*c_1100_0^11 - 98338875119339515543467/988462464338128964831353*c_1100_0^10 - 89924247792021752433963/141208923476875566404479*c_1100_0^9 - 4950146210109786544391823/1976924928676257929662706*c_1100_0^8 - 1671500247939793838916849/282417846953751132808958*c_1100_0^7 - 15519001040609884841413405/1976924928676257929662706*c_1100_0^6 - 11190444110420361788472334/988462464338128964831353*c_1100_0^5 - 15765741619851182504679143/1976924928676257929662706*c_1100_0^4 - 12000008543953422683744513/1976924928676257929662706*c_1100_0^3 - 6941955799035126734599970/988462464338128964831353*c_1100_0^2 - 3174924453570148271015489/1976924928676257929662706*c_1100_0 - 638770767969873668043577/1976924928676257929662706, c_0101_0 - 1450170297888579290673/104048680456645154192774*c_1100_0^11 - 2596680689163251951934/52024340228322577096387*c_1100_0^10 - 2679719308503912235893/7432048604046082442341*c_1100_0^9 - 66500141683998223238589/52024340228322577096387*c_1100_0^8 - 20798693346556367445560/7432048604046082442341*c_1100_0^7 - 170098025257531171448062/52024340228322577096387*c_1100_0^6 - 617406250235532787659605/104048680456645154192774*c_1100_0^5 - 98197266986118835254871/52024340228322577096387*c_1100_0^4 - 570789344961497371458825/104048680456645154192774*c_1100_0^3 - 68118365427729451560679/52024340228322577096387*c_1100_0^2 - 144075412230115160108043/104048680456645154192774*c_1100_0 - 1089454945565266179413/52024340228322577096387, c_0101_2 + 115173996856604956857249/1976924928676257929662706*c_1100_0^\ 11 + 198514898333032125381786/988462464338128964831353*c_1100_0^10 + 205783135966663870965597/141208923476875566404479*c_1100_0^9 + 5014732087333604946839457/988462464338128964831353*c_1100_0^8 + 1475736028875637870898047/141208923476875566404479*c_1100_0^7 + 10235542507866141311000558/988462464338128964831353*c_1100_0^6 + 38547419607126649135917685/1976924928676257929662706*c_1100_0^5 + 1370277367840619258391190/988462464338128964831353*c_1100_0^4 + 29262915196583617275995371/1976924928676257929662706*c_1100_0^3 + 4206913367777975150122271/988462464338128964831353*c_1100_0^2 + 843797754679412098216991/1976924928676257929662706*c_1100_0 - 645315021818504726309972/988462464338128964831353, c_0101_3 + 22226272671423012698106/988462464338128964831353*c_1100_0^11 + 98338875119339515543467/988462464338128964831353*c_1100_0^10 + 89924247792021752433963/141208923476875566404479*c_1100_0^9 + 4950146210109786544391823/1976924928676257929662706*c_1100_0^8 + 1671500247939793838916849/282417846953751132808958*c_1100_0^7 + 15519001040609884841413405/1976924928676257929662706*c_1100_0^6 + 11190444110420361788472334/988462464338128964831353*c_1100_0^5 + 15765741619851182504679143/1976924928676257929662706*c_1100_0^4 + 12000008543953422683744513/1976924928676257929662706*c_1100_0^3 + 6941955799035126734599970/988462464338128964831353*c_1100_0^2 + 3174924453570148271015489/1976924928676257929662706*c_1100_0 + 638770767969873668043577/1976924928676257929662706, c_0101_8 + 4889569082812507147284/988462464338128964831353*c_1100_0^11 + 33312418791866383038993/988462464338128964831353*c_1100_0^10 + 25209169940126332871466/141208923476875566404479*c_1100_0^9 + 827940953801351917703937/988462464338128964831353*c_1100_0^8 + 642215860763646101819259/282417846953751132808958*c_1100_0^7 + 3596526511200779144166889/988462464338128964831353*c_1100_0^6 + 4141911018757582998408694/988462464338128964831353*c_1100_0^5 + 5415794561590282842435121/988462464338128964831353*c_1100_0^4 + 2542310888218737909028033/1976924928676257929662706*c_1100_0^3 + 4529272968992723823298970/988462464338128964831353*c_1100_0^2 + 2173007256734477254065643/1976924928676257929662706*c_1100_0 - 49520226244085322939424/988462464338128964831353, c_1100_0^12 + 4*c_1100_0^11 + 244/9*c_1100_0^10 + 914/9*c_1100_0^9 + 2090/9*c_1100_0^8 + 2638/9*c_1100_0^7 + 4186/9*c_1100_0^6 + 2134/9*c_1100_0^5 + 2905/9*c_1100_0^4 + 1912/9*c_1100_0^3 + 290/3*c_1100_0^2 + 110/9*c_1100_0 + 37/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.110 Total time: 0.310 seconds, Total memory usage: 32.09MB