Magma V2.19-8 Tue Aug 20 2013 23:47:02 on localhost [Seed = 660688151] Type ? for help. Type -D to quit. Loading file "K14n6691__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n6691 geometric_solution 10.70250447 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 12 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 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.375723905486 0.806448554932 0 5 3 6 0132 0132 0213 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.298669535440 0.364273404567 4 0 8 7 1023 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 -1 0 1 1 0 0 -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.292757973739 0.813819372085 9 1 8 0 0132 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.855943917334 0.792994118013 5 2 0 10 0132 1023 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 1 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 1.611622616236 2.723382110216 4 1 11 7 0132 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.364728705427 0.791866209178 9 10 1 7 2103 1023 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.654026978325 1.641620978650 9 6 2 5 1230 0321 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.631306960677 1.067969352078 11 11 3 2 0321 3120 0321 0132 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 -7 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.959629616555 0.830279390219 3 7 6 10 0132 3012 2103 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 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.771254109061 0.637503859250 6 9 4 11 1023 2310 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.013013849610 0.709253549861 8 8 10 5 0321 3120 1230 0132 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 7 -6 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.959629616555 0.830279390219 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0101_7'], 'c_1001_5' : negation(d['c_0011_8']), 'c_1001_4' : negation(d['c_0011_11']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0011_8']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : negation(d['c_0011_11']), 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : negation(d['c_1001_11']), 'c_1010_11' : negation(d['c_0011_8']), 'c_1010_10' : negation(d['c_0101_11']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_8']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(d['1']), 's_0_5' : negation(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_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0110_10'], 'c_1100_4' : negation(d['c_1001_11']), 'c_1100_7' : d['c_1001_1'], 'c_1100_6' : d['c_1001_0'], 'c_1100_1' : d['c_1001_0'], 'c_1100_0' : negation(d['c_1001_11']), 'c_1100_3' : negation(d['c_1001_11']), 'c_1100_2' : d['c_1001_1'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0110_10'], 'c_1100_10' : negation(d['c_1001_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0110_10'], 'c_1010_6' : d['c_0110_10'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_7'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_8']), 'c_1010_0' : negation(d['c_0011_11']), 'c_1010_9' : negation(d['c_0101_7']), 'c_1010_8' : negation(d['c_0011_11']), 'c_1100_8' : d['c_1001_1'], 's_3_1' : d['1'], 's_3_0' : negation(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' : negation(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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_10'], '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_11' : negation(d['c_0011_8']), 'c_0110_10' : d['c_0110_10'], 'c_0110_0' : d['c_0011_3'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_8']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_11'], 'c_0101_2' : negation(d['c_0011_11']), 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0101_11']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : negation(d['c_0011_11']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : negation(d['c_0011_8']), 'c_0110_7' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0011_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_3, c_0011_8, c_0101_0, c_0101_11, c_0101_7, c_0110_10, c_1001_0, c_1001_1, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 760385597597751928077308550951/6988136238214848412888514637160*c_10\ 01_11^16 + 3866298786647143813358510911571/698813623821484841288851\ 4637160*c_1001_11^15 - 9033596048102754031021335629/185854687186565\ 11736405624035*c_1001_11^14 - 3815191509457039864290224676155/69881\ 3623821484841288851463716*c_1001_11^13 - 2532969326902749739756369951808/873517029776856051611064329645*c_10\ 01_11^12 + 111560193867511660484930916578619/6988136238214848412888\ 514637160*c_1001_11^11 + 21325650584619701146793377493583/873517029\ 776856051611064329645*c_1001_11^10 - 2251459793758727520993478828857/873517029776856051611064329645*c_10\ 01_11^9 - 43027086558022478313916656107117/698813623821484841288851\ 463716*c_1001_11^8 - 604711207576319758221556266498383/698813623821\ 4848412888514637160*c_1001_11^7 + 143880197391564752223572997234117\ /3494068119107424206444257318580*c_1001_11^6 + 1447416698200477007332251890801093/6988136238214848412888514637160*\ c_1001_11^5 + 927511497633987878459521674999927/6988136238214848412\ 888514637160*c_1001_11^4 - 655381121311852523738718851997117/698813\ 6238214848412888514637160*c_1001_11^3 - 1170081725457436819441454725734819/6988136238214848412888514637160*\ c_1001_11^2 - 669186426844413089361212622358211/6988136238214848412\ 888514637160*c_1001_11 - 42522272218636569114015212270487/174703405\ 9553712103222128659290, c_0011_0 - 1, c_0011_10 + 223575564648242144022/1550280558975823968677*c_1001_11^16 + 1077387301403330578594/1550280558975823968677*c_1001_11^15 - 1316819741643117787790/1550280558975823968677*c_1001_11^14 - 10948052274597288608981/1550280558975823968677*c_1001_11^13 - 2432198795627471872333/1550280558975823968677*c_1001_11^12 + 35152220706041973101075/1550280558975823968677*c_1001_11^11 + 38451508869301217937554/1550280558975823968677*c_1001_11^10 - 23906572471164694140669/1550280558975823968677*c_1001_11^9 - 121839257928617779265915/1550280558975823968677*c_1001_11^8 - 130934053038211564722877/1550280558975823968677*c_1001_11^7 + 144784396886187856093611/1550280558975823968677*c_1001_11^6 + 391142855461497250166377/1550280558975823968677*c_1001_11^5 + 105589050699937284729687/1550280558975823968677*c_1001_11^4 - 292372448723348870691095/1550280558975823968677*c_1001_11^3 - 236339719677253066671594/1550280558975823968677*c_1001_11^2 - 46785826263432789936736/1550280558975823968677*c_1001_11 - 2728154443657580200718/1550280558975823968677, c_0011_11 + 211263335966165084993/1550280558975823968677*c_1001_11^16 + 1058716532203187309704/1550280558975823968677*c_1001_11^15 - 1063074238228585469800/1550280558975823968677*c_1001_11^14 - 10652771655526413076951/1550280558975823968677*c_1001_11^13 - 4204401076179375418968/1550280558975823968677*c_1001_11^12 + 33396844827637992121254/1550280558975823968677*c_1001_11^11 + 42765642463539380155822/1550280558975823968677*c_1001_11^10 - 17358826071060083283001/1550280558975823968677*c_1001_11^9 - 121153774466481820458086/1550280558975823968677*c_1001_11^8 - 144897067544880923760962/1550280558975823968677*c_1001_11^7 + 118880019796929592862163/1550280558975823968677*c_1001_11^6 + 401936192315331895088749/1550280558975823968677*c_1001_11^5 + 163604459165279966441666/1550280558975823968677*c_1001_11^4 - 273460639950017920187426/1550280558975823968677*c_1001_11^3 - 277508157258816605223100/1550280558975823968677*c_1001_11^2 - 77603707150275977452403/1550280558975823968677*c_1001_11 - 7480256454537379721510/1550280558975823968677, c_0011_3 - 1, c_0011_8 - 173303935891983589895/1550280558975823968677*c_1001_11^16 - 875306882175446440600/1550280558975823968677*c_1001_11^15 + 828144698849710605529/1550280558975823968677*c_1001_11^14 + 8741843428078286451064/1550280558975823968677*c_1001_11^13 + 3914819935599948220905/1550280558975823968677*c_1001_11^12 - 26915795858991211774353/1550280558975823968677*c_1001_11^11 - 36681706976309086104834/1550280558975823968677*c_1001_11^10 + 11635575614470040266075/1550280558975823968677*c_1001_11^9 + 100164712729470826344695/1550280558975823968677*c_1001_11^8 + 124643390280622511633674/1550280558975823968677*c_1001_11^7 - 89203449110721601807176/1550280558975823968677*c_1001_11^6 - 333617787050589785352753/1550280558975823968677*c_1001_11^5 - 157204971893278718909667/1550280558975823968677*c_1001_11^4 + 212893376912352454020117/1550280558975823968677*c_1001_11^3 + 245548548199106178522471/1550280558975823968677*c_1001_11^2 + 80751054562960653868444/1550280558975823968677*c_1001_11 + 8502788599723343368454/1550280558975823968677, c_0101_0 + 278362322895711872478/1550280558975823968677*c_1001_11^16 + 1372829888955306482622/1550280558975823968677*c_1001_11^15 - 1484955755876754827192/1550280558975823968677*c_1001_11^14 - 13815557367761342961062/1550280558975823968677*c_1001_11^13 - 4642223209051317285093/1550280558975823968677*c_1001_11^12 + 43376279663021545568913/1550280558975823968677*c_1001_11^11 + 53229181108506843854940/1550280558975823968677*c_1001_11^10 - 24052173889014172701096/1550280558975823968677*c_1001_11^9 - 155409177665450341291200/1550280558975823968677*c_1001_11^8 - 181401873384221023204455/1550280558975823968677*c_1001_11^7 + 160311361657677764238822/1550280558975823968677*c_1001_11^6 + 509356912952506569857413/1550280558975823968677*c_1001_11^5 + 191356678323126115121242/1550280558975823968677*c_1001_11^4 - 347968593220538522121203/1550280558975823968677*c_1001_11^3 - 339152092002468558522003/1550280558975823968677*c_1001_11^2 - 98929269637999730017376/1550280558975823968677*c_1001_11 - 12775165312289504715159/1550280558975823968677, c_0101_11 + 34036411752682664834/1550280558975823968677*c_1001_11^16 + 144659200787264012569/1550280558975823968677*c_1001_11^15 - 283797387776803741008/1550280558975823968677*c_1001_11^14 - 1515042002453794700579/1550280558975823968677*c_1001_11^13 + 478754340532178570799/1550280558975823968677*c_1001_11^12 + 5179361757118560813609/1550280558975823968677*c_1001_11^11 + 3132202530395275878246/1550280558975823968677*c_1001_11^10 - 5764107508498330166336/1550280558975823968677*c_1001_11^9 - 16261981714865003344578/1550280558975823968677*c_1001_11^8 - 10595838116440540975828/1550280558975823968677*c_1001_11^7 + 29667569679732457238192/1550280558975823968677*c_1001_11^6 + 45416822311952559922083/1550280558975823968677*c_1001_11^5 - 9318984155270969824085/1550280558975823968677*c_1001_11^4 - 46672930327918420342133/1550280558975823968677*c_1001_11^3 - 15537594843725130491009/1550280558975823968677*c_1001_11^2 + 5896530823564342811829/1550280558975823968677*c_1001_11 + 3207417901586498563519/1550280558975823968677, c_0101_7 - 83463023059032303151/1550280558975823968677*c_1001_11^16 - 425058580813162199097/1550280558975823968677*c_1001_11^15 + 394550172938130652990/1550280558975823968677*c_1001_11^14 + 4275394397962497549957/1550280558975823968677*c_1001_11^13 + 1916127544343706920587/1550280558975823968677*c_1001_11^12 - 13415261642667440975747/1550280558975823968677*c_1001_11^11 - 17739097774336588537231/1550280558975823968677*c_1001_11^10 + 6689486943444233598070/1550280558975823968677*c_1001_11^9 + 48957753299661804963651/1550280558975823968677*c_1001_11^8 + 59802195432467826911054/1550280558975823968677*c_1001_11^7 - 45957871845743387680888/1550280558975823968677*c_1001_11^6 - 165021166246648119039463/1550280558975823968677*c_1001_11^5 - 69996268602650040660239/1550280558975823968677*c_1001_11^4 + 112501026748262984451725/1550280558975823968677*c_1001_11^3 + 115967983933420027132064/1550280558975823968677*c_1001_11^2 + 32566047982934486376181/1550280558975823968677*c_1001_11 + 2551118988402941322490/1550280558975823968677, c_0110_10 + 313958129815528677/50009050289542708667*c_1001_11^16 + 1918974365905157149/50009050289542708667*c_1001_11^15 + 488105139371955738/50009050289542708667*c_1001_11^14 - 16755190661845675534/50009050289542708667*c_1001_11^13 - 28977079658051564212/50009050289542708667*c_1001_11^12 + 32367733328282732975/50009050289542708667*c_1001_11^11 + 144437203273527946049/50009050289542708667*c_1001_11^10 + 84841862758484352896/50009050289542708667*c_1001_11^9 - 233172244220137332091/50009050289542708667*c_1001_11^8 - 496003205487282367202/50009050289542708667*c_1001_11^7 - 181224636473995509996/50009050289542708667*c_1001_11^6 + 861811981896740541476/50009050289542708667*c_1001_11^5 + 1323107623299620566971/50009050289542708667*c_1001_11^4 - 20388407235718769626/50009050289542708667*c_1001_11^3 - 1292605299683119858582/50009050289542708667*c_1001_11^2 - 837377561527381297489/50009050289542708667*c_1001_11 - 95398392793258347976/50009050289542708667, c_1001_0 - 297358111541993310324/1550280558975823968677*c_1001_11^16 - 1535125175818944652240/1550280558975823968677*c_1001_11^15 + 1269857055113577093590/1550280558975823968677*c_1001_11^14 + 15211479565675642338943/1550280558975823968677*c_1001_11^13 + 8146940310072690971633/1550280558975823968677*c_1001_11^12 - 46205918523467125165007/1550280558975823968677*c_1001_11^11 - 67183848503762456323639/1550280558975823968677*c_1001_11^10 + 16206517682417271791933/1550280558975823968677*c_1001_11^9 + 174642824491252731302642/1550280558975823968677*c_1001_11^8 + 228075818749113064568474/1550280558975823968677*c_1001_11^7 - 138730893942404709245785/1550280558975823968677*c_1001_11^6 - 592160460733794388547909/1550280558975823968677*c_1001_11^5 - 310045108863361676545472/1550280558975823968677*c_1001_11^4 + 360611411246800131409917/1550280558975823968677*c_1001_11^3 + 449148767918067024424616/1550280558975823968677*c_1001_11^2 + 158125478301765655298865/1550280558975823968677*c_1001_11 + 20191805127604350753626/1550280558975823968677, c_1001_1 - 104875265236902944660/1550280558975823968677*c_1001_11^16 - 501451278514284886118/1550280558975823968677*c_1001_11^15 + 633657951390025110607/1550280558975823968677*c_1001_11^14 + 5099615522739207139490/1550280558975823968677*c_1001_11^13 + 963891309019290599206/1550280558975823968677*c_1001_11^12 - 16446434338817566027481/1550280558975823968677*c_1001_11^11 - 17458886504603800098113/1550280558975823968677*c_1001_11^10 + 11707386004116117646771/1550280558975823968677*c_1001_11^9 + 56660581154475840786789/1550280558975823968677*c_1001_11^8 + 59422436705493180053865/1550280558975823968677*c_1001_11^7 - 69468457592114558095568/1550280558975823968677*c_1001_11^6 - 180246742330697503227965/1550280558975823968677*c_1001_11^5 - 44360435296689921528834/1550280558975823968677*c_1001_11^4 + 138180178288313677261927/1550280558975823968677*c_1001_11^3 + 106786938948058281981279/1550280558975823968677*c_1001_11^2 + 20418411860630030894064/1550280558975823968677*c_1001_11 + 1654682282658039498701/1550280558975823968677, c_1001_11^17 + 6*c_1001_11^16 - 55*c_1001_11^14 - 70*c_1001_11^13 + 135*c_1001_11^12 + 357*c_1001_11^11 + 127*c_1001_11^10 - 642*c_1001_11^9 - 1255*c_1001_11^8 - 149*c_1001_11^7 + 2414*c_1001_11^6 + 2682*c_1001_11^5 - 425*c_1001_11^4 - 2553*c_1001_11^3 - 1735*c_1001_11^2 - 460*c_1001_11 - 47 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.430 Total time: 1.629 seconds, Total memory usage: 32.09MB