Magma V2.19-8 Tue Aug 20 2013 16:16:16 on localhost [Seed = 4206585368] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0530 geometric_solution 4.54444158 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 -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.369948728762 0.220769872496 0 2 2 0 3201 0132 1023 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.062543339889 0.190336291219 3 1 1 4 0132 0132 1023 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.912936498410 0.272320333416 2 4 5 4 0132 0321 0132 2031 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 1 1 -2 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.745518498496 0.567165772606 5 3 2 3 0132 1302 0132 0321 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 -1 0 0 0 0 -1 2 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.745518498496 0.567165772606 4 6 6 3 0132 0132 1023 0132 0 0 0 0 0 0 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 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.427642638097 0.192330653868 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 -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 -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 1.413956390483 1.056572528817 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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_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' : negation(d['1']), 's_0_6' : negation(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' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 680005580216058021554527/184952433749316457521976*c_0101_6^14 - 808875202321823700837706/23119054218664557190247*c_0101_6^13 + 1059180613521184694997844/23119054218664557190247*c_0101_6^12 + 63903132939281906199249/46238108437329114380494*c_0101_6^11 + 23676158525629324977435259/46238108437329114380494*c_0101_6^10 - 180799191225653750503016849/184952433749316457521976*c_0101_6^9 + 21247814431580500682174331/184952433749316457521976*c_0101_6^8 + 123225846368339717784711451/46238108437329114380494*c_0101_6^7 - 777321626601630519826746085/184952433749316457521976*c_0101_6^6 + 399241592018682370628521955/92476216874658228760988*c_0101_6^5 - 9131551890111107459724577/2499357212828600777324*c_0101_6^4 + 27716130524426617228851127/13210888124951175537284*c_0101_6^3 - 26359482056642249391453855/26421776249902351074568*c_0101_6^2 + 7801400722913587542292294/23119054218664557190247*c_0101_6 - 6706963656121890678938291/92476216874658228760988, c_0011_0 - 1, c_0011_1 + 396898870025106269/6645315958224937393*c_0101_6^14 - 4263920992505381653/6645315958224937393*c_0101_6^13 + 9373755845500591576/6645315958224937393*c_0101_6^12 - 3817474570268369880/6645315958224937393*c_0101_6^11 + 51267766247504818756/6645315958224937393*c_0101_6^10 - 172415086375079325632/6645315958224937393*c_0101_6^9 + 114568996939875133159/6645315958224937393*c_0101_6^8 + 346202093125502943626/6645315958224937393*c_0101_6^7 - 840877030046583565850/6645315958224937393*c_0101_6^6 + 852267236879726033902/6645315958224937393*c_0101_6^5 - 16585876729150099726/179603134006079389*c_0101_6^4 + 366772086526874708662/6645315958224937393*c_0101_6^3 - 143796102944858537383/6645315958224937393*c_0101_6^2 + 40359329442545673653/6645315958224937393*c_0101_6 - 8926159100058753409/6645315958224937393, c_0011_4 - 1526526135063360699/6645315958224937393*c_0101_6^14 + 14883488789258062324/6645315958224937393*c_0101_6^13 - 22190542753764428429/6645315958224937393*c_0101_6^12 + 1632373864622781629/6645315958224937393*c_0101_6^11 - 208966728554387369724/6645315958224937393*c_0101_6^10 + 455231367553124162406/6645315958224937393*c_0101_6^9 - 111862221926479906038/6645315958224937393*c_0101_6^8 - 1165965599510599130505/6645315958224937393*c_0101_6^7 + 2024301588233978146225/6645315958224937393*c_0101_6^6 - 2019870396821579849081/6645315958224937393*c_0101_6^5 + 43568909408680081302/179603134006079389*c_0101_6^4 - 913069401762643580874/6645315958224937393*c_0101_6^3 + 390717909830181408101/6645315958224937393*c_0101_6^2 - 125184183806524049968/6645315958224937393*c_0101_6 + 22946938910437656768/6645315958224937393, c_0101_0 + 236402633299133677/6645315958224937393*c_0101_6^14 - 2444627539140266188/6645315958224937393*c_0101_6^13 + 4652560970989647152/6645315958224937393*c_0101_6^12 - 873240439479458863/6645315958224937393*c_0101_6^11 + 30457601270527272684/6645315958224937393*c_0101_6^10 - 89067234627722806159/6645315958224937393*c_0101_6^9 + 38874356371166381277/6645315958224937393*c_0101_6^8 + 210838980197504288643/6645315958224937393*c_0101_6^7 - 437151686565490139783/6645315958224937393*c_0101_6^6 + 393422144564554364170/6645315958224937393*c_0101_6^5 - 6266496867010277610/179603134006079389*c_0101_6^4 + 65082025304740854982/6645315958224937393*c_0101_6^3 + 5531137376340464823/6645315958224937393*c_0101_6^2 - 13693660459640097498/6645315958224937393*c_0101_6 + 11505627034183208169/6645315958224937393, c_0101_2 + 290574300133748355/6645315958224937393*c_0101_6^14 - 3318074233453357202/6645315958224937393*c_0101_6^13 + 8761923142522707233/6645315958224937393*c_0101_6^12 - 5497539704846349646/6645315958224937393*c_0101_6^11 + 37438538369799765745/6645315958224937393*c_0101_6^10 - 152389216824486183274/6645315958224937393*c_0101_6^9 + 139847685011767995793/6645315958224937393*c_0101_6^8 + 243076971749926734030/6645315958224937393*c_0101_6^7 - 777955145136033924359/6645315958224937393*c_0101_6^6 + 885531083770657516425/6645315958224937393*c_0101_6^5 - 18350364560712508967/179603134006079389*c_0101_6^4 + 394514203788442471196/6645315958224937393*c_0101_6^3 - 153820255030599095902/6645315958224937393*c_0101_6^2 + 45391362010227248103/6645315958224937393*c_0101_6 - 2601549666323280347/6645315958224937393, c_0101_3 - 386607868373445156/6645315958224937393*c_0101_6^14 + 3510029486101335390/6645315958224937393*c_0101_6^13 - 3124062774183514006/6645315958224937393*c_0101_6^12 - 3146612038832702221/6645315958224937393*c_0101_6^11 - 52143904741354219766/6645315958224937393*c_0101_6^10 + 79122654883976047880/6645315958224937393*c_0101_6^9 + 43417125536101394647/6645315958224937393*c_0101_6^8 - 319935379376326160450/6645315958224937393*c_0101_6^7 + 332291026057719071440/6645315958224937393*c_0101_6^6 - 174174419971233937120/6645315958224937393*c_0101_6^5 + 726731804511322915/179603134006079389*c_0101_6^4 + 71120946864195279395/6645315958224937393*c_0101_6^3 - 55241902115322584764/6645315958224937393*c_0101_6^2 + 44038500321705211790/6645315958224937393*c_0101_6 - 10013447967765647286/6645315958224937393, c_0101_6^15 - 10*c_0101_6^14 + 17*c_0101_6^13 - 5*c_0101_6^12 + 138*c_0101_6^11 - 333*c_0101_6^10 + 151*c_0101_6^9 + 731*c_0101_6^8 - 1503*c_0101_6^7 + 1677*c_0101_6^6 - 1461*c_0101_6^5 + 945*c_0101_6^4 - 469*c_0101_6^3 + 184*c_0101_6^2 - 51*c_0101_6 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB