Magma V2.19-8 Tue Aug 20 2013 23:40:01 on localhost [Seed = 2295262246] Type ? for help. Type -D to quit. Loading file "K14n2485__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n2485 geometric_solution 9.87594951 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 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 -1 0 1 1 0 -1 0 0 0 0 0 -6 -1 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.160435141160 0.716286747038 0 3 2 5 0132 3120 3120 0132 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 -1 0 0 1 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.102330143871 0.895928007158 6 0 1 6 0132 0132 3120 2031 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 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.674670324618 0.759068303761 7 1 4 0 0132 3120 0213 0132 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 0 -1 1 7 0 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.535111134409 0.933322809213 8 3 0 9 0132 0213 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.322567353476 0.451521196805 10 9 1 10 0132 2031 0132 1023 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 -1 1 0 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.135011119472 0.428452115494 2 2 7 8 0132 1302 1230 3201 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 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.345847011621 0.735984348460 3 9 9 6 0132 0321 0213 3012 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 -1 0 1 0 0 0 0 0 0 0 0 -7 6 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.301972742469 0.546701776801 4 6 10 10 0132 2310 0213 1302 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 -0.179840976150 1.617716480886 5 7 4 7 1302 0213 0132 0321 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 -1 1 6 0 0 -6 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.887934310232 0.695438838310 5 8 8 5 0132 0213 2031 1023 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 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.041068360693 1.869726978393 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_2'], 'c_1001_10' : negation(d['c_0101_1']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_1001_1']), 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0101_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : negation(d['c_1001_1']), 'c_1001_9' : d['c_1001_7'], 'c_1001_8' : negation(d['c_0101_1']), 'c_1010_10' : d['c_0101_10'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], '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_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1001_7'], 'c_1100_8' : d['c_0101_10'], 'c_1100_5' : negation(d['c_0101_2']), 'c_1100_4' : d['c_1001_7'], 'c_1100_7' : negation(d['c_0101_6']), 'c_1100_6' : d['c_0011_4'], 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : d['c_1001_7'], 'c_1100_3' : d['c_1001_7'], 'c_1100_2' : negation(d['c_0101_1']), 'c_1100_10' : d['c_0101_2'], 'c_1010_7' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_0011_9'], 'c_1010_4' : d['c_1001_7'], 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_1001_1']), 'c_1010_9' : negation(d['c_0101_6']), 'c_1010_8' : negation(d['c_0101_2']), 's_3_1' : 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' : 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' : negation(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' : negation(d['c_0011_4']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_0'], '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_0110_10' : d['c_0011_9'], 'c_0101_7' : d['c_0011_9'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_9'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_9'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_3'], 'c_0110_8' : d['c_0101_1'], '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_6'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0011_4'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_9, c_0101_1, c_0101_10, c_0101_2, c_0101_6, c_1001_1, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 227369221879255524753140/1295355237355063339*c_1001_7^17 - 51914346918692764650031367/202075417027389880884*c_1001_7^16 + 38658560368925951003233639/101037708513694940442*c_1001_7^15 - 50597651227737751789251939/67358472342463293628*c_1001_7^14 + 78852532160746788213709039/202075417027389880884*c_1001_7^13 - 41779724093706684411942643/202075417027389880884*c_1001_7^12 - 202889420359618498470701167/202075417027389880884*c_1001_7^11 + 90551935514538453024838295/101037708513694940442*c_1001_7^10 + 53680232918241596685399755/202075417027389880884*c_1001_7^9 - 29690327221720941234387613/202075417027389880884*c_1001_7^8 + 67744100863074894025255951/50518854256847470221*c_1001_7^7 + 83085951006130640101028059/101037708513694940442*c_1001_7^6 + 63870096390318550416463859/202075417027389880884*c_1001_7^5 + 5322976705987972094639245/15544262848260760068*c_1001_7^4 + 14352074657326664925471265/33679236171231646814*c_1001_7^3 - 12710666009243166274234033/50518854256847470221*c_1001_7^2 - 2605815098977243294388125/15544262848260760068*c_1001_7 - 1112625080819643176217583/50518854256847470221, c_0011_0 - 1, c_0011_10 + 538695929824975/141287076307372*c_1001_7^17 - 213180097532266/35321769076843*c_1001_7^16 + 1209945872785175/141287076307372*c_1001_7^15 - 1184590089550189/70643538153686*c_1001_7^14 + 1381428290505615/141287076307372*c_1001_7^13 - 524915205806431/141287076307372*c_1001_7^12 - 1557773976176985/70643538153686*c_1001_7^11 + 3121538630812333/141287076307372*c_1001_7^10 + 661667981554663/141287076307372*c_1001_7^9 - 812809790453555/141287076307372*c_1001_7^8 + 1009870532505780/35321769076843*c_1001_7^7 + 493873279327586/35321769076843*c_1001_7^6 + 592962512960843/141287076307372*c_1001_7^5 + 824052510358321/141287076307372*c_1001_7^4 + 598994155760519/70643538153686*c_1001_7^3 - 180760069834597/35321769076843*c_1001_7^2 - 127076886182829/35321769076843*c_1001_7 - 77372326305065/141287076307372, c_0011_3 + 163728410604746/35321769076843*c_1001_7^17 + 85337228895485/70643538153686*c_1001_7^16 - 563857868867791/141287076307372*c_1001_7^15 + 240469826300333/141287076307372*c_1001_7^14 - 2131099902527127/70643538153686*c_1001_7^13 + 3344316493171215/141287076307372*c_1001_7^12 - 1536342170623448/35321769076843*c_1001_7^11 - 2564265690685955/141287076307372*c_1001_7^10 + 8840221961431129/141287076307372*c_1001_7^9 - 310259399013002/35321769076843*c_1001_7^8 + 4171914663949393/141287076307372*c_1001_7^7 + 12256251896372373/141287076307372*c_1001_7^6 + 3517036773684977/141287076307372*c_1001_7^5 + 1201093643175289/70643538153686*c_1001_7^4 + 3372350558791543/141287076307372*c_1001_7^3 + 938384282971841/141287076307372*c_1001_7^2 - 3023057419533799/141287076307372*c_1001_7 - 318811589124709/70643538153686, c_0011_4 + 525701395713767/35321769076843*c_1001_7^17 - 3018335993297953/141287076307372*c_1001_7^16 + 4448852640866703/141287076307372*c_1001_7^15 - 8824147788385621/141287076307372*c_1001_7^14 + 1066020946786949/35321769076843*c_1001_7^13 - 2064510374297191/141287076307372*c_1001_7^12 - 6132007703680471/70643538153686*c_1001_7^11 + 5406812622695783/70643538153686*c_1001_7^10 + 3523702504929829/141287076307372*c_1001_7^9 - 1688569302061067/141287076307372*c_1001_7^8 + 16097384546259275/141287076307372*c_1001_7^7 + 2496676663661762/35321769076843*c_1001_7^6 + 3645067442138643/141287076307372*c_1001_7^5 + 3627386427336601/141287076307372*c_1001_7^4 + 4802655691812589/141287076307372*c_1001_7^3 - 772351178695566/35321769076843*c_1001_7^2 - 2554212919101207/141287076307372*c_1001_7 - 133160781491243/70643538153686, c_0011_9 + 38377067706081/141287076307372*c_1001_7^17 - 950846600815519/141287076307372*c_1001_7^16 + 817158416642417/70643538153686*c_1001_7^15 - 2541597950265585/141287076307372*c_1001_7^14 + 2289862308036221/70643538153686*c_1001_7^13 - 3236183907136873/141287076307372*c_1001_7^12 + 1712961097941593/141287076307372*c_1001_7^11 + 2390231707321019/70643538153686*c_1001_7^10 - 5920031908093333/141287076307372*c_1001_7^9 + 309191031470603/141287076307372*c_1001_7^8 + 814328682302007/141287076307372*c_1001_7^7 - 3406827354309345/70643538153686*c_1001_7^6 - 2077588053371211/141287076307372*c_1001_7^5 - 912380578801485/141287076307372*c_1001_7^4 - 1170676194433393/141287076307372*c_1001_7^3 - 413720977523205/35321769076843*c_1001_7^2 + 438316499780270/35321769076843*c_1001_7 + 100496348345494/35321769076843, c_0101_1 + 285962933866181/70643538153686*c_1001_7^17 - 219679612339721/70643538153686*c_1001_7^16 + 265395411260653/70643538153686*c_1001_7^15 - 1388135716223983/141287076307372*c_1001_7^14 - 742705798317763/141287076307372*c_1001_7^13 + 806290096101681/141287076307372*c_1001_7^12 - 4057416797372971/141287076307372*c_1001_7^11 + 915465861591309/141287076307372*c_1001_7^10 + 3606046733625173/141287076307372*c_1001_7^9 - 130104720417763/35321769076843*c_1001_7^8 + 1920566324943451/70643538153686*c_1001_7^7 + 5764378266049319/141287076307372*c_1001_7^6 + 1797037853219513/141287076307372*c_1001_7^5 + 530541714222673/70643538153686*c_1001_7^4 + 487477113519391/35321769076843*c_1001_7^3 - 116725267742233/141287076307372*c_1001_7^2 - 1473034829581809/141287076307372*c_1001_7 - 107971795244359/70643538153686, c_0101_10 - 6588482800978/35321769076843*c_1001_7^17 - 597285992696251/141287076307372*c_1001_7^16 + 1106610365943927/141287076307372*c_1001_7^15 - 1636427414918295/141287076307372*c_1001_7^14 + 794813369727895/35321769076843*c_1001_7^13 - 610418778419720/35321769076843*c_1001_7^12 + 763080666501147/70643538153686*c_1001_7^11 + 3242028285554745/141287076307372*c_1001_7^10 - 4485118658719761/141287076307372*c_1001_7^9 + 89419730579530/35321769076843*c_1001_7^8 + 559564040262039/141287076307372*c_1001_7^7 - 2555664117449163/70643538153686*c_1001_7^6 - 1464849073124869/141287076307372*c_1001_7^5 - 119254356138237/35321769076843*c_1001_7^4 - 1024760573178899/141287076307372*c_1001_7^3 - 608579673122567/70643538153686*c_1001_7^2 + 1336924600183829/141287076307372*c_1001_7 + 276471580950967/141287076307372, c_0101_2 - 622841333886096/35321769076843*c_1001_7^17 + 5229570256616427/141287076307372*c_1001_7^16 - 8114548429151825/141287076307372*c_1001_7^15 + 3685740903670560/35321769076843*c_1001_7^14 - 13286758121001357/141287076307372*c_1001_7^13 + 8264812185709079/141287076307372*c_1001_7^12 + 11150906632976417/141287076307372*c_1001_7^11 - 5260889614752499/35321769076843*c_1001_7^10 + 1584560622971343/35321769076843*c_1001_7^9 + 989530058471159/70643538153686*c_1001_7^8 - 20204625981480545/141287076307372*c_1001_7^7 + 778134919797919/141287076307372*c_1001_7^6 - 173315173194991/70643538153686*c_1001_7^5 - 1485190462705141/70643538153686*c_1001_7^4 - 3310102811350601/141287076307372*c_1001_7^3 + 6635836192862413/141287076307372*c_1001_7^2 - 130224354398347/35321769076843*c_1001_7 - 359978879280651/141287076307372, c_0101_6 - 768858627439773/70643538153686*c_1001_7^17 + 792986280966400/35321769076843*c_1001_7^16 - 4885066098737465/141287076307372*c_1001_7^15 + 4449844748509511/70643538153686*c_1001_7^14 - 1943513363458719/35321769076843*c_1001_7^13 + 1173029497917329/35321769076843*c_1001_7^12 + 1793729943585635/35321769076843*c_1001_7^11 - 3242242333251593/35321769076843*c_1001_7^10 + 3375304517225975/141287076307372*c_1001_7^9 + 390781577724323/35321769076843*c_1001_7^8 - 12804953129173157/141287076307372*c_1001_7^7 + 80165107904417/70643538153686*c_1001_7^6 + 426747230115457/141287076307372*c_1001_7^5 - 490466118557696/35321769076843*c_1001_7^4 - 1888686500905353/141287076307372*c_1001_7^3 + 1104782952574741/35321769076843*c_1001_7^2 - 232020208426865/141287076307372*c_1001_7 - 84486984504756/35321769076843, c_1001_1 + 286478314856019/70643538153686*c_1001_7^17 - 184146604359157/141287076307372*c_1001_7^16 + 53146648906315/35321769076843*c_1001_7^15 - 487599590847031/70643538153686*c_1001_7^14 - 415399493181558/35321769076843*c_1001_7^13 + 1050848010388159/141287076307372*c_1001_7^12 - 1009160406530430/35321769076843*c_1001_7^11 - 154468670682986/35321769076843*c_1001_7^10 + 1156151817223466/35321769076843*c_1001_7^9 + 241513639842335/70643538153686*c_1001_7^8 + 888476172009081/35321769076843*c_1001_7^7 + 7388656797883335/141287076307372*c_1001_7^6 + 855612978352539/35321769076843*c_1001_7^5 + 344272501237405/35321769076843*c_1001_7^4 + 1074617746365687/70643538153686*c_1001_7^3 + 387213429004173/141287076307372*c_1001_7^2 - 893116837486179/70643538153686*c_1001_7 - 535971084237897/141287076307372, c_1001_7^18 - 27/13*c_1001_7^17 + 40/13*c_1001_7^16 - 73/13*c_1001_7^15 + 63/13*c_1001_7^14 - 33/13*c_1001_7^13 - 5*c_1001_7^12 + 112/13*c_1001_7^11 - 21/13*c_1001_7^10 - 23/13*c_1001_7^9 + 106/13*c_1001_7^8 - 14/13*c_1001_7^6 + 11/13*c_1001_7^5 + 16/13*c_1001_7^4 - 38/13*c_1001_7^3 - 1/13*c_1001_7^2 + 6/13*c_1001_7 + 1/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.170 Total time: 0.380 seconds, Total memory usage: 32.09MB