Magma V2.19-8 Tue Aug 20 2013 16:14:57 on localhost [Seed = 3566553293] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s929 geometric_solution 5.78609706 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 -1 -1 2 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 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.719981333655 0.719689342268 0 1 5 1 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.517654876019 0.578483680638 2 0 2 5 2310 0132 3201 0132 0 0 0 0 0 1 -1 0 0 0 1 -1 -1 1 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 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.519871134989 0.967371523203 5 3 3 0 1023 1230 3012 0132 0 0 0 0 0 0 -1 1 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 0 1 -1 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.897479633853 0.722729403789 4 5 0 4 3012 1023 0132 1230 0 0 0 0 0 1 -2 1 -1 0 0 1 -1 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.979239917958 0.873839137555 4 3 2 1 1023 1023 0132 0132 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 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.719981333655 0.719689342268 ==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_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_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_1100_5' : d['c_0011_0'], 'c_1100_4' : d['c_0011_3'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_0'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_3'], '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_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_3'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_2'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 6716772366198412074199/12327733168847277840815*c_0101_3^19 + 13241115910358553090171/2465546633769455568163*c_0101_3^18 - 31111942153573987869706/12327733168847277840815*c_0101_3^17 + 15587011993671008022/948287166834405987755*c_0101_3^16 - 80242047113581828361252/12327733168847277840815*c_0101_3^15 - 127029708932972966004784/12327733168847277840815*c_0101_3^14 - 57281290375491677026503/12327733168847277840815*c_0101_3^13 - 74535063319952008367673/2465546633769455568163*c_0101_3^12 + 355995039306239586945598/12327733168847277840815*c_0101_3^11 + 66605500251765481681942/2465546633769455568163*c_0101_3^10 + 97429414704295298037136/2465546633769455568163*c_0101_3^9 + 952889884693631163660577/12327733168847277840815*c_0101_3^8 - 31723697258927793532438/12327733168847277840815*c_0101_3^7 - 153631347603816757316602/12327733168847277840815*c_0101_3^6 - 338153035581756440859276/12327733168847277840815*c_0101_3^5 - 1120955135317614315529358/12327733168847277840815*c_0101_3^4 - 293236493683382661584844/12327733168847277840815*c_0101_3^3 - 788786410626154349292762/12327733168847277840815*c_0101_3^2 - 25778637067820803994346/2465546633769455568163*c_0101_3 - 163464262564986395469553/12327733168847277840815, c_0011_0 - 1, c_0011_3 - 98126263937091241209/948287166834405987755*c_0101_3^19 + 977785990213760089883/948287166834405987755*c_0101_3^18 - 108110520546677811721/189657433366881197551*c_0101_3^17 - 45205110257755125200/189657433366881197551*c_0101_3^16 - 208235747324407122781/948287166834405987755*c_0101_3^15 - 1387515746016865913068/948287166834405987755*c_0101_3^14 - 322296832715362521338/948287166834405987755*c_0101_3^13 - 5186269192388966345369/948287166834405987755*c_0101_3^12 + 878211408092486401165/189657433366881197551*c_0101_3^11 + 3631897723428656221818/948287166834405987755*c_0101_3^10 - 1330329009896074616594/948287166834405987755*c_0101_3^9 + 10080402789544671510674/948287166834405987755*c_0101_3^8 - 1808513489071193743173/948287166834405987755*c_0101_3^7 - 4114895896120110236006/948287166834405987755*c_0101_3^6 + 1073531939053489001138/189657433366881197551*c_0101_3^5 - 8507866741299880411514/948287166834405987755*c_0101_3^4 + 307315685149651976515/189657433366881197551*c_0101_3^3 - 909680506810738962576/948287166834405987755*c_0101_3^2 - 1123443738046642466444/948287166834405987755*c_0101_3 + 853500969122133490089/948287166834405987755, c_0101_0 - 38787604279735154651/948287166834405987755*c_0101_3^19 + 464381819138709512142/948287166834405987755*c_0101_3^18 - 182989710071552860673/189657433366881197551*c_0101_3^17 - 58024152371523403860/189657433366881197551*c_0101_3^16 - 528786259560544551219/948287166834405987755*c_0101_3^15 - 562722594795356739142/948287166834405987755*c_0101_3^14 + 1017471690118328221158/948287166834405987755*c_0101_3^13 - 664864648271932194876/948287166834405987755*c_0101_3^12 + 1554861749007714695352/189657433366881197551*c_0101_3^11 + 4069409358197291475622/948287166834405987755*c_0101_3^10 + 1485148632396494500609/948287166834405987755*c_0101_3^9 + 4854589269481691516366/948287166834405987755*c_0101_3^8 - 8993192925830093314222/948287166834405987755*c_0101_3^7 - 7493339396723738807259/948287166834405987755*c_0101_3^6 - 947488778880818968195/189657433366881197551*c_0101_3^5 - 14361299421535383753831/948287166834405987755*c_0101_3^4 - 288737297729427258066/189657433366881197551*c_0101_3^3 - 4566468895465383616354/948287166834405987755*c_0101_3^2 - 1000391665295938224731/948287166834405987755*c_0101_3 + 633031957784567234851/948287166834405987755, c_0101_1 - 35668957442007313206/948287166834405987755*c_0101_3^19 + 343021895929166135717/948287166834405987755*c_0101_3^18 - 18730460533527613990/189657433366881197551*c_0101_3^17 + 14055081316263956086/189657433366881197551*c_0101_3^16 - 304010866862404719059/948287166834405987755*c_0101_3^15 - 972826402220359917197/948287166834405987755*c_0101_3^14 - 563435823750894731752/948287166834405987755*c_0101_3^13 - 1983407846245004582646/948287166834405987755*c_0101_3^12 + 249985332836693961826/189657433366881197551*c_0101_3^11 + 1626081095474228250727/948287166834405987755*c_0101_3^10 + 2629447712958355465299/948287166834405987755*c_0101_3^9 + 7210277245986320916386/948287166834405987755*c_0101_3^8 + 888169953831904151828/948287166834405987755*c_0101_3^7 - 2007117347858708696229/948287166834405987755*c_0101_3^6 - 199860804986615230537/189657433366881197551*c_0101_3^5 - 7355341067013108104081/948287166834405987755*c_0101_3^4 - 704474102780874095623/189657433366881197551*c_0101_3^3 - 3271301878019551360259/948287166834405987755*c_0101_3^2 - 1859209972248642611716/948287166834405987755*c_0101_3 - 598975765535102647469/948287166834405987755, c_0101_2 - 51610651236931/1686002711072165*c_0101_3^19 + 575930731155392/1686002711072165*c_0101_3^18 - 159329148427915/337200542214433*c_0101_3^17 - 118320465103749/337200542214433*c_0101_3^16 - 1229425974541149/1686002711072165*c_0101_3^15 - 1155751658848162/1686002711072165*c_0101_3^14 + 942489822630278/1686002711072165*c_0101_3^13 - 617392432245661/1686002711072165*c_0101_3^12 + 1824616314982469/337200542214433*c_0101_3^11 + 8158321000091452/1686002711072165*c_0101_3^10 + 6437851463832824/1686002711072165*c_0101_3^9 + 7171813599027991/1686002711072165*c_0101_3^8 - 10583333863778932/1686002711072165*c_0101_3^7 - 13251570905404864/1686002711072165*c_0101_3^6 - 2568768288204766/337200542214433*c_0101_3^5 - 18846953808422211/1686002711072165*c_0101_3^4 - 698133621060005/337200542214433*c_0101_3^3 - 7725030916555114/1686002711072165*c_0101_3^2 - 1005922014272541/1686002711072165*c_0101_3 + 614602678696336/1686002711072165, c_0101_3^20 - 10*c_0101_3^19 + 6*c_0101_3^18 + 9*c_0101_3^16 + 20*c_0101_3^15 + 6*c_0101_3^14 + 55*c_0101_3^13 - 58*c_0101_3^12 - 47*c_0101_3^11 - 53*c_0101_3^10 - 154*c_0101_3^9 + 15*c_0101_3^8 + 28*c_0101_3^7 + 23*c_0101_3^6 + 191*c_0101_3^5 + 47*c_0101_3^4 + 114*c_0101_3^3 + 49*c_0101_3^2 + 16*c_0101_3 + 13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB