Magma V2.19-8 Tue Aug 20 2013 23:57:36 on localhost [Seed = 2117605043] Type ? for help. Type -D to quit. Loading file "L14n33060__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n33060 geometric_solution 10.92333435 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 1 1 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 0 0 0 0 0 0 0 0 -1 1 0 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.492549412436 0.950050545480 0 5 5 6 0132 0132 0321 0132 0 1 1 1 0 -1 1 0 -1 0 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 2 -1 -1 7 0 -7 0 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.267867192859 0.888446392969 7 0 9 8 0132 0132 0132 0132 1 1 1 1 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 1 -1 0 0 0 0 0 0 0 0 0 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.051223952997 0.526771258546 9 10 4 0 1230 0132 2310 0132 1 1 1 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 0 0 0 0 0 0 0 0 1 -1 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631802157699 0.819260163155 11 3 0 9 0132 3201 0132 1230 1 1 1 1 0 0 0 0 -1 0 0 1 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 6 0 0 -6 1 -1 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.340569454183 0.616508243810 7 1 1 8 1023 0132 0321 2103 0 1 1 1 0 1 -1 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 -2 1 1 0 0 0 0 0 0 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.267867192859 0.888446392969 11 8 1 8 2103 2103 0132 2310 0 1 1 1 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 0 0 1 -1 -6 0 0 6 0 0 0 0 -1 -6 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.552404875541 0.670345754685 2 5 11 10 0132 1023 2031 2310 1 1 1 1 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 6 0 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.817130362046 1.880574686243 6 6 2 5 3201 2103 0132 2103 1 1 0 1 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 1 0 0 -1 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.688920731948 1.031769701543 4 3 10 2 3012 3012 1230 0132 1 1 1 1 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 6 0 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.642258099405 0.781676818605 7 3 11 9 3201 0132 0213 3012 1 1 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 0 0 0 0 0 0 0 0 0 0 0 6 0 -7 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.214158145036 0.931094340883 4 10 6 7 0132 0213 2103 1302 1 1 1 1 0 0 0 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 0 0 0 0 0 0 0 0 -6 0 6 0 -7 7 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.492549412436 0.950050545480 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0101_7']), 'c_1001_11' : d['c_0011_6'], 'c_1001_10' : d['c_0011_6'], 'c_1001_5' : d['c_0011_8'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_7' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0011_8'], 'c_1001_1' : negation(d['c_0110_8']), 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : negation(d['c_0101_9']), 'c_1001_2' : negation(d['c_0101_3']), 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0011_6'], 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : negation(d['c_0101_9']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_9'], 'c_0101_10' : d['c_0011_11'], '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_2_10' : d['1'], 's_2_11' : 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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0110_8']), 'c_1100_4' : negation(d['c_0011_11']), 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0011_8'], 'c_1100_1' : d['c_0011_8'], 'c_1100_0' : negation(d['c_0011_11']), 'c_1100_3' : negation(d['c_0011_11']), 'c_1100_2' : d['c_0110_10'], 's_0_10' : d['1'], 'c_1100_9' : d['c_0110_10'], 'c_1100_11' : d['c_0101_7'], 'c_1100_10' : negation(d['c_0011_10']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0110_10']), 'c_1010_6' : negation(d['c_0110_8']), 'c_1010_5' : negation(d['c_0110_8']), 'c_1010_4' : d['c_0101_9'], 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : d['c_0011_8'], 'c_1010_0' : negation(d['c_0101_3']), 'c_1010_9' : negation(d['c_0101_3']), 'c_1010_8' : d['c_0110_8'], '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_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : 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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0110_10'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_9'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_11']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_9'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_7'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0011_9'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_9'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0110_10']), 'c_0110_4' : d['c_0011_9'], 'c_0110_7' : negation(d['c_0011_11']), 'c_1100_8' : d['c_0110_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_6, c_0011_8, c_0011_9, c_0101_1, c_0101_3, c_0101_7, c_0101_9, c_0110_10, c_0110_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 2307892004113796657546276979/15608576836522750932514520*c_0110_10^1\ 2 - 35387291281159318990269367101/15608576836522750932514520*c_0110\ _10^11 - 20219476180287032619974755911/1560857683652275093251452*c_\ 0110_10^10 + 27983105073476343649433638523/120065975665559622557804\ 0*c_0110_10^9 + 222648937326885981495534076326/19510721045653438665\ 64315*c_0110_10^8 - 2124041231071658225502138747287/780428841826137\ 5466257260*c_0110_10^7 + 210096158981579210454397776123/39021442091\ 30687733128630*c_0110_10^6 + 155530631942200235142194743/5372264347\ 94615231380*c_0110_10^5 - 67775260879797753210490051639/28379230611\ 8595471500264*c_0110_10^4 + 50158083628711574923486597987/120065975\ 6655596225578040*c_0110_10^3 - 106577538615829942583165962197/78042\ 88418261375466257260*c_0110_10^2 + 361468273779205559088783500951/15608576836522750932514520*c_0110_10 - 52065333668125236229482182547/7804288418261375466257260, c_0011_0 - 1, c_0011_10 + 1508945488259473954149/10915088696869056596164*c_0110_10^12 - 21856347533381137177959/10915088696869056596164*c_0110_10^11 - 37753659608461599482134/2728772174217264149041*c_0110_10^10 + 113596276896279173627047/10915088696869056596164*c_0110_10^9 + 643585010141718843567487/5457544348434528298082*c_0110_10^8 - 427022310498224432520199/2728772174217264149041*c_0110_10^7 - 279777762730000840941530/2728772174217264149041*c_0110_10^6 + 80636647179576038195/375682821534695966*c_0110_10^5 - 326578901250363260443247/10915088696869056596164*c_0110_10^4 - 281015924233697014429761/10915088696869056596164*c_0110_10^3 - 59150035224582370197049/2728772174217264149041*c_0110_10^2 + 50219699904718270884759/10915088696869056596164*c_0110_10 + 7332065319766389659593/2728772174217264149041, c_0011_11 - 1479298581383259200553/10915088696869056596164*c_0110_10^12 + 21345528811308770839599/10915088696869056596164*c_0110_10^11 + 74580979106252651759361/5457544348434528298082*c_0110_10^10 - 102568636169142623408685/10915088696869056596164*c_0110_10^9 - 628922228093599747247193/5457544348434528298082*c_0110_10^8 + 817444940355586126740857/5457544348434528298082*c_0110_10^7 + 583414894735580048001517/5457544348434528298082*c_0110_10^6 - 40698592921899845485/187841410767347983*c_0110_10^5 + 235610842519827605255375/10915088696869056596164*c_0110_10^4 + 445866081073093867189615/10915088696869056596164*c_0110_10^3 + 53650505649248798724470/2728772174217264149041*c_0110_10^2 - 85266400559069583714315/10915088696869056596164*c_0110_10 - 9980192213638849445915/2728772174217264149041, c_0011_6 - 594619338571633327341/5457544348434528298082*c_0110_10^12 + 8786363331034682078217/5457544348434528298082*c_0110_10^11 + 28588801921457196668515/2728772174217264149041*c_0110_10^10 - 32315639450294207158548/2728772174217264149041*c_0110_10^9 - 514478879594225720594075/5457544348434528298082*c_0110_10^8 + 408771090853648557384354/2728772174217264149041*c_0110_10^7 + 393179242079260709760399/5457544348434528298082*c_0110_10^6 - 78247716731750509877/375682821534695966*c_0110_10^5 + 110663032911270513874368/2728772174217264149041*c_0110_10^4 + 196505123280410276765463/5457544348434528298082*c_0110_10^3 + 85172124183996285324913/5457544348434528298082*c_0110_10^2 - 38690046502515676048389/5457544348434528298082*c_0110_10 - 5790671762887865003399/2728772174217264149041, c_0011_8 - 3194791476414423432165/10915088696869056596164*c_0110_10^12 + 46732633469073084827793/10915088696869056596164*c_0110_10^11 + 78405850869118150550931/2728772174217264149041*c_0110_10^10 - 293513170803079271499005/10915088696869056596164*c_0110_10^9 - 1373430853738363880360691/5457544348434528298082*c_0110_10^8 + 1003105797648377183692055/2728772174217264149041*c_0110_10^7 + 1146605703777982728281703/5457544348434528298082*c_0110_10^6 - 193588596355513466913/375682821534695966*c_0110_10^5 + 867070859391098919851837/10915088696869056596164*c_0110_10^4 + 967662864269185639516587/10915088696869056596164*c_0110_10^3 + 249751647887317333968213/5457544348434528298082*c_0110_10^2 - 218355381262428946930249/10915088696869056596164*c_0110_10 - 38690046502515676048389/5457544348434528298082, c_0011_9 - 4781704731525312335379/10915088696869056596164*c_0110_10^12 + 69819129424005555873171/10915088696869056596164*c_0110_10^11 + 235548186171878860952205/5457544348434528298082*c_0110_10^10 - 424689577854931386102389/10915088696869056596164*c_0110_10^9 - 1026344885853332058809694/2728772174217264149041*c_0110_10^8 + 2949142301132522598313299/5457544348434528298082*c_0110_10^7 + 1732436551493188884389471/5457544348434528298082*c_0110_10^6 - 283223696791253062871/375682821534695966*c_0110_10^5 + 1211142430726985443399463/10915088696869056596164*c_0110_10^4 + 1321910266626851669850567/10915088696869056596164*c_0110_10^3 + 197831753452761267585082/2728772174217264149041*c_0110_10^2 - 277607939165285333581105/10915088696869056596164*c_0110_10 - 30321875200704912128968/2728772174217264149041, c_0101_1 - 594619338571633327341/5457544348434528298082*c_0110_10^12 + 8786363331034682078217/5457544348434528298082*c_0110_10^11 + 28588801921457196668515/2728772174217264149041*c_0110_10^10 - 32315639450294207158548/2728772174217264149041*c_0110_10^9 - 514478879594225720594075/5457544348434528298082*c_0110_10^8 + 408771090853648557384354/2728772174217264149041*c_0110_10^7 + 393179242079260709760399/5457544348434528298082*c_0110_10^6 - 78247716731750509877/375682821534695966*c_0110_10^5 + 110663032911270513874368/2728772174217264149041*c_0110_10^4 + 196505123280410276765463/5457544348434528298082*c_0110_10^3 + 85172124183996285324913/5457544348434528298082*c_0110_10^2 - 38690046502515676048389/5457544348434528298082*c_0110_10 - 5790671762887865003399/2728772174217264149041, c_0101_3 + 1508945488259473954149/10915088696869056596164*c_0110_10^12 - 21856347533381137177959/10915088696869056596164*c_0110_10^11 - 37753659608461599482134/2728772174217264149041*c_0110_10^10 + 113596276896279173627047/10915088696869056596164*c_0110_10^9 + 643585010141718843567487/5457544348434528298082*c_0110_10^8 - 427022310498224432520199/2728772174217264149041*c_0110_10^7 - 279777762730000840941530/2728772174217264149041*c_0110_10^6 + 80636647179576038195/375682821534695966*c_0110_10^5 - 326578901250363260443247/10915088696869056596164*c_0110_10^4 - 281015924233697014429761/10915088696869056596164*c_0110_10^3 - 59150035224582370197049/2728772174217264149041*c_0110_10^2 + 50219699904718270884759/10915088696869056596164*c_0110_10 + 7332065319766389659593/2728772174217264149041, c_0101_7 + 1, c_0101_9 + 2783235617762905284669/10915088696869056596164*c_0110_10^12 - 40560926705438843097459/10915088696869056596164*c_0110_10^11 - 137637804805546873309503/5457544348434528298082*c_0110_10^10 + 238605210151070054177301/10915088696869056596164*c_0110_10^9 + 597143556185209277581266/2728772174217264149041*c_0110_10^8 - 842721416262466669332417/2728772174217264149041*c_0110_10^7 - 1032094089852667301267399/5457544348434528298082*c_0110_10^6 + 161915576693105966285/375682821534695966*c_0110_10^5 - 639471309438321153540601/10915088696869056596164*c_0110_10^4 - 719254692459998225644193/10915088696869056596164*c_0110_10^3 - 114750553504916861523446/2728772174217264149041*c_0110_10^2 + 126804642884435410893117/10915088696869056596164*c_0110_10 + 16901315436322612161101/2728772174217264149041, c_0110_10^13 - 15*c_0110_10^12 - 278/3*c_0110_10^11 + 383/3*c_0110_10^10 + 2458/3*c_0110_10^9 - 1578*c_0110_10^8 - 206*c_0110_10^7 + 6020/3*c_0110_10^6 - 983*c_0110_10^5 - 493/3*c_0110_10^4 - 100/3*c_0110_10^3 + 365/3*c_0110_10^2 - 32/3, c_0110_8 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.590 Total time: 0.800 seconds, Total memory usage: 32.09MB