Magma V2.19-8 Wed Aug 21 2013 01:03:34 on localhost [Seed = 3187385740] Type ? for help. Type -D to quit. Loading file "L14n20452__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n20452 geometric_solution 11.03618138 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 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 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -1 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.763865111736 0.613001389211 0 5 5 6 0132 0132 3120 0132 1 1 1 1 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 3 -3 0 0 0 0 -1 -3 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.377663540605 1.364502839472 3 0 8 7 0321 0132 0132 0132 1 0 1 1 0 0 0 0 -2 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 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.954992387078 0.468791433206 2 8 9 0 0321 3201 0132 0132 1 1 1 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 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -1 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.074554504377 0.867468419735 9 7 0 10 1023 3012 0132 0132 1 1 0 1 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 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.204962269825 0.519281187855 6 1 1 9 0213 0132 3120 3012 1 1 1 1 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 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.661625429397 1.042586164479 5 11 1 11 0213 0132 0132 2310 1 1 1 1 0 0 1 -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 1 3 -4 0 0 0 0 0 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.172739979605 1.296536559342 4 8 2 10 1230 3120 0132 0321 1 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 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.625230295493 0.729393875729 12 7 3 2 0132 3120 2310 0132 1 0 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 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 1.075726619778 1.098597837363 12 4 5 3 2310 1023 1230 0132 1 1 0 1 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.280082104202 0.436497869522 12 7 4 11 3201 0321 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.030331630669 1.425124970375 6 6 10 12 3201 0132 2031 3201 1 1 1 1 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 0 1 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.220758004219 0.245849873088 8 11 9 10 0132 2310 3201 2310 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 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.872869613593 2.128858761352 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0110_10']), 'c_1001_10' : d['c_0011_3'], 'c_1001_12' : negation(d['c_0101_9']), 'c_1001_5' : d['c_0101_9'], 'c_1001_4' : negation(d['c_0011_7']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_9'], 'c_1001_1' : negation(d['c_0101_9']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_10'], 'c_1001_2' : negation(d['c_0011_7']), 'c_1001_9' : d['c_0101_1'], 'c_1001_8' : negation(d['c_1001_0']), 'c_1010_12' : negation(d['c_0110_10']), 'c_1010_11' : d['c_0101_9'], 'c_1010_10' : d['c_0011_12'], 's_3_11' : d['1'], 's_3_10' : negation(d['1']), 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], '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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : negation(d['1']), 's_2_11' : negation(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' : d['c_0101_11'], 'c_1100_8' : d['c_0011_3'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : d['c_0101_11'], 'c_1100_7' : d['c_0011_3'], 'c_1100_6' : d['c_0011_11'], 'c_1100_1' : d['c_0011_11'], 'c_1100_0' : d['c_0101_11'], 'c_1100_3' : d['c_0101_11'], 'c_1100_2' : d['c_0011_3'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_12']), 'c_1100_10' : d['c_0101_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : negation(d['c_0110_10']), 'c_1010_5' : negation(d['c_0101_9']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_9'], 'c_1010_0' : negation(d['c_0011_7']), 'c_1010_9' : d['c_0101_10'], 'c_1010_8' : negation(d['c_0011_7']), 's_3_1' : negation(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' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_10'], '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' : negation(d['c_0011_10']), 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_11']), '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' : d['c_0110_10'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : negation(d['c_0101_10']), 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_0'], 'c_0101_5' : negation(d['c_0011_11']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_12']), 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0101_10']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_12']), 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : negation(d['c_0101_11'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_7, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_9, c_0110_10, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 6986966322690976375158168/4623154676598808588815643*c_1001_0^12 - 1749637591811789094015624/4623154676598808588815643*c_1001_0^11 - 12667803721762400540849290/4623154676598808588815643*c_1001_0^10 - 7579117650308836855625452/4623154676598808588815643*c_1001_0^9 - 43848659149846371468218056/4623154676598808588815643*c_1001_0^8 + 115732600172255197484656011/4623154676598808588815643*c_1001_0^7 + 44834096766391989410396894/4623154676598808588815643*c_1001_0^6 - 5047056235549797173438740/112759870160946550946723*c_1001_0^5 + 91164619953446009338461855/4623154676598808588815643*c_1001_0^4 + 561221391394371191326660/149134021825768018994053*c_1001_0^3 + 53373324820627865646488702/4623154676598808588815643*c_1001_0^2 - 88202230529426461740105844/4623154676598808588815643*c_1001_0 + 27782990791756359917330054/4623154676598808588815643, c_0011_0 - 1, c_0011_10 - 38302988424/19980882599*c_1001_0^12 - 17990897496/19980882599*c_1001_0^11 + 26075928938/19980882599*c_1001_0^10 + 30010430940/19980882599*c_1001_0^9 + 277814647711/19980882599*c_1001_0^8 - 384198134451/19980882599*c_1001_0^7 - 270750999249/19980882599*c_1001_0^6 + 748794300995/19980882599*c_1001_0^5 - 386959632716/19980882599*c_1001_0^4 + 10268683066/19980882599*c_1001_0^3 - 223234643356/19980882599*c_1001_0^2 + 312663460989/19980882599*c_1001_0 - 133821891160/19980882599, c_0011_11 + 44340318856/19980882599*c_1001_0^12 + 5720520216/19980882599*c_1001_0^11 - 57450405786/19980882599*c_1001_0^10 - 46681139364/19980882599*c_1001_0^9 - 304908576507/19980882599*c_1001_0^8 + 579727225549/19980882599*c_1001_0^7 + 323952115307/19980882599*c_1001_0^6 - 1088293565678/19980882599*c_1001_0^5 + 473157924001/19980882599*c_1001_0^4 + 81807799089/19980882599*c_1001_0^3 + 295718525947/19980882599*c_1001_0^2 - 445510214881/19980882599*c_1001_0 + 147598143487/19980882599, c_0011_12 + 34347738376/19980882599*c_1001_0^12 - 32158093192/19980882599*c_1001_0^11 - 75488418586/19980882599*c_1001_0^10 - 8862530124/19980882599*c_1001_0^9 - 178383100971/19980882599*c_1001_0^8 + 735334944565/19980882599*c_1001_0^7 - 30700105861/19980882599*c_1001_0^6 - 1336274441912/19980882599*c_1001_0^5 + 939519618927/19980882599*c_1001_0^4 + 122939771683/19980882599*c_1001_0^3 + 164301222645/19980882599*c_1001_0^2 - 606953250641/19980882599*c_1001_0 + 287461864097/19980882599, c_0011_3 - 24032338368/19980882599*c_1001_0^12 - 17966759368/19980882599*c_1001_0^11 + 18839438504/19980882599*c_1001_0^10 + 36979757306/19980882599*c_1001_0^9 + 188838384120/19980882599*c_1001_0^8 - 199918690409/19980882599*c_1001_0^7 - 301063417991/19980882599*c_1001_0^6 + 377764094813/19980882599*c_1001_0^5 - 23388016818/19980882599*c_1001_0^4 - 14618778693/19980882599*c_1001_0^3 - 173754847472/19980882599*c_1001_0^2 + 131064458639/19980882599*c_1001_0 - 19386978013/19980882599, c_0011_7 - 56942801952/19980882599*c_1001_0^12 + 20430752080/19980882599*c_1001_0^11 + 87387908120/19980882599*c_1001_0^10 + 26656860460/19980882599*c_1001_0^9 + 345419996660/19980882599*c_1001_0^8 - 952329322532/19980882599*c_1001_0^7 - 122080118558/19980882599*c_1001_0^6 + 1734337394483/19980882599*c_1001_0^5 - 1154263468651/19980882599*c_1001_0^4 - 57913690496/19980882599*c_1001_0^3 - 313341092447/19980882599*c_1001_0^2 + 795732786374/19980882599*c_1001_0 - 389233362280/19980882599, c_0101_1 - 16220417096/19980882599*c_1001_0^12 + 27708945472/19980882599*c_1001_0^11 + 27157484250/19980882599*c_1001_0^10 - 33994651002/19980882599*c_1001_0^9 + 56618162845/19980882599*c_1001_0^8 - 422965651640/19980882599*c_1001_0^7 + 281859404643/19980882599*c_1001_0^6 + 769577216659/19980882599*c_1001_0^5 - 886408213168/19980882599*c_1001_0^4 + 26186590990/19980882599*c_1001_0^3 - 14348548520/19980882599*c_1001_0^2 + 459048447410/19980882599*c_1001_0 - 308630686569/19980882599, c_0101_10 + 50632038808/19980882599*c_1001_0^12 - 7687734760/19980882599*c_1001_0^11 - 74743538430/19980882599*c_1001_0^10 - 36729278240/19980882599*c_1001_0^9 - 316010312513/19980882599*c_1001_0^8 + 783531411397/19980882599*c_1001_0^7 + 245667445423/19980882599*c_1001_0^6 - 1436087684562/19980882599*c_1001_0^5 + 750594876835/19980882599*c_1001_0^4 + 87226747419/19980882599*c_1001_0^3 + 356387310254/19980882599*c_1001_0^2 - 619822432419/19980882599*c_1001_0 + 235794545587/19980882599, c_0101_11 + 68431330328/19980882599*c_1001_0^12 - 13548789200/19980882599*c_1001_0^11 - 113272350574/19980882599*c_1001_0^10 - 65333648054/19980882599*c_1001_0^9 - 433839545695/19980882599*c_1001_0^8 + 1090232525448/19980882599*c_1001_0^7 + 392879509515/19980882599*c_1001_0^6 - 1969901371674/19980882599*c_1001_0^5 + 951336668160/19980882599*c_1001_0^4 + 138860092415/19980882599*c_1001_0^3 + 484477136403/19980882599*c_1001_0^2 - 836726590859/19980882599*c_1001_0 + 306103724663/19980882599, c_0101_12 - 1, c_0101_9 - 35852972560/19980882599*c_1001_0^12 + 12859986576/19980882599*c_1001_0^11 + 62976280084/19980882599*c_1001_0^10 + 30586170080/19980882599*c_1001_0^9 + 219666273574/19980882599*c_1001_0^8 - 621677322852/19980882599*c_1001_0^7 - 162938342242/19980882599*c_1001_0^6 + 1075922228425/19980882599*c_1001_0^5 - 592722244199/19980882599*c_1001_0^4 - 16609156167/19980882599*c_1001_0^3 - 284326319212/19980882599*c_1001_0^2 + 475273780526/19980882599*c_1001_0 - 175076742727/19980882599, c_0110_10 - 10157218448/19980882599*c_1001_0^12 - 1074625056/19980882599*c_1001_0^11 + 8586710484/19980882599*c_1001_0^10 + 10683965332/19980882599*c_1001_0^9 + 79853144826/19980882599*c_1001_0^8 - 120517093964/19980882599*c_1001_0^7 - 32772926542/19980882599*c_1001_0^6 + 185281501914/19980882599*c_1001_0^5 - 175953582948/19980882599*c_1001_0^4 + 86400732910/19980882599*c_1001_0^3 - 77187857314/19980882599*c_1001_0^2 + 112594493662/19980882599*c_1001_0 - 85466987273/19980882599, c_1001_0^13 - c_1001_0^12 - 5/4*c_1001_0^11 + 1/2*c_1001_0^10 - 47/8*c_1001_0^9 + 165/8*c_1001_0^8 - 71/8*c_1001_0^7 - 123/4*c_1001_0^6 + 321/8*c_1001_0^5 - 113/8*c_1001_0^4 + 47/8*c_1001_0^3 - 71/4*c_1001_0^2 + 33/2*c_1001_0 - 41/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.270 Total time: 0.470 seconds, Total memory usage: 32.09MB