Magma V2.19-8 Tue Aug 20 2013 16:17:16 on localhost [Seed = 4021187382] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1499 geometric_solution 5.30852406 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 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 -1 1 0 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.763592531881 0.435113852790 0 3 5 4 0132 0321 0132 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 -1 1 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.148029537324 1.219312711830 2 0 0 2 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 1 -1 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.536117455178 0.525378190529 5 4 0 1 0132 2310 0132 0321 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 0 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.148029537324 1.219312711830 4 4 1 3 1302 2031 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.385057967087 0.551082572259 3 6 6 1 0132 0132 3201 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.058920831690 0.373528577718 5 5 6 6 2310 0132 2031 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 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 2.412566323786 2.816958835089 ==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' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(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_6' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_4']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0110_4']), 'c_1001_6' : d['c_0011_0'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : negation(d['c_0011_0']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0110_4']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0110_4']), 'c_1010_0' : negation(d['c_0011_4'])})} 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_3, c_0011_4, c_0101_1, c_0101_2, c_0101_6, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 3037333783591692976375405750333253/59492371048456903245156312351232\ 0*c_0110_4^20 + 14422676084745316135335372584052201/594923710484569\ 032451563123512320*c_0110_4^19 + 3587863156764947657105494360787848\ 1/594923710484569032451563123512320*c_0110_4^18 + 706012247289315018772614770756999/7255167201031329664043452725760*c\ _0110_4^17 + 11106926787865469347880134139368375/118984742096913806\ 490312624702464*c_0110_4^16 + 2323103973721498713566171135378119/29\ 7461855242284516225781561756160*c_0110_4^15 - 52017644481530734275955549644417893/2974618552422845162257815617561\ 60*c_0110_4^14 - 262258250358749476284798147772125627/5949237104845\ 69032451563123512320*c_0110_4^13 - 207237487847969752496942404778763139/297461855242284516225781561756\ 160*c_0110_4^12 - 5736292892181564802641669574465547/67604967100519\ 20823313217312640*c_0110_4^11 - 40333809228142732331379407026863893\ /54083973680415366586505738501120*c_0110_4^10 - 143374468023211481027994732876735133/297461855242284516225781561756\ 160*c_0110_4^9 + 13082325367235715870628040869765133/29746185524228\ 4516225781561756160*c_0110_4^8 + 5241304295085131001530181959509753\ /4647841488160695566027836902440*c_0110_4^7 + 215705803149172578244916672920633577/148730927621142258112890780878\ 080*c_0110_4^6 + 428030950755490501345371487510333/2744113055740632\ 06850351994240*c_0110_4^5 + 696936734374366619992895573494126773/59\ 4923710484569032451563123512320*c_0110_4^4 + 27490752352821286578151262196236609/2974618552422845162257815617561\ 60*c_0110_4^3 - 249036349011609943163473180573973931/59492371048456\ 9032451563123512320*c_0110_4^2 - 1746955247574611274724510571074599\ /1791938887001713953167358805760*c_0110_4 - 203231850277225464302323767468476991/594923710484569032451563123512\ 320, c_0011_0 - 1, c_0011_3 - 690011506707122675842/23187911143771227121501*c_0110_4^20 - 3132032014104224302122/23187911143771227121501*c_0110_4^19 - 7576346205838701638889/23187911143771227121501*c_0110_4^18 - 11695741673404624071826/23187911143771227121501*c_0110_4^17 - 10103095920091199760500/23187911143771227121501*c_0110_4^16 + 1741639332758075621435/23187911143771227121501*c_0110_4^15 + 24912161748484829151746/23187911143771227121501*c_0110_4^14 + 56674777953023903718476/23187911143771227121501*c_0110_4^13 + 84530707976894750519864/23187911143771227121501*c_0110_4^12 + 98179651822735558168799/23187911143771227121501*c_0110_4^11 + 78173611383341326418428/23187911143771227121501*c_0110_4^10 + 42283742128352681238097/23187911143771227121501*c_0110_4^9 - 28807994419844400791727/23187911143771227121501*c_0110_4^8 - 162470841113908455878474/23187911143771227121501*c_0110_4^7 - 186898451816847780242944/23187911143771227121501*c_0110_4^6 - 195476972915617160192555/23187911143771227121501*c_0110_4^5 - 107099257220512014047125/23187911143771227121501*c_0110_4^4 + 9014921045998169246312/23187911143771227121501*c_0110_4^3 + 71158041772688531573790/23187911143771227121501*c_0110_4^2 + 1665319607381503989145/279372423418930447247*c_0110_4 + 35378899241090459473992/23187911143771227121501, c_0011_4 - 357689043527221943313/23187911143771227121501*c_0110_4^20 - 1455952937019230267621/23187911143771227121501*c_0110_4^19 - 3115186214201652979516/23187911143771227121501*c_0110_4^18 - 4271679246334740706336/23187911143771227121501*c_0110_4^17 - 2985967332699978580094/23187911143771227121501*c_0110_4^16 + 1944371420520871888337/23187911143771227121501*c_0110_4^15 + 10613765148182709990372/23187911143771227121501*c_0110_4^14 + 22559858328866892693579/23187911143771227121501*c_0110_4^13 + 31919728587693464456769/23187911143771227121501*c_0110_4^12 + 35238341334374999380651/23187911143771227121501*c_0110_4^11 + 24658399294391400419843/23187911143771227121501*c_0110_4^10 + 12491811948176593170613/23187911143771227121501*c_0110_4^9 - 14000956319358394527307/23187911143771227121501*c_0110_4^8 - 72141145221583975954967/23187911143771227121501*c_0110_4^7 - 54661672191740497673411/23187911143771227121501*c_0110_4^6 - 62541926596813766634788/23187911143771227121501*c_0110_4^5 - 55996104824930570098874/23187911143771227121501*c_0110_4^4 + 14620828983260671045598/23187911143771227121501*c_0110_4^3 + 29493305916123155608567/23187911143771227121501*c_0110_4^2 + 549059839540978406091/279372423418930447247*c_0110_4 + 11466303371417036990360/23187911143771227121501, c_0101_1 - 1494537241854588905227/23187911143771227121501*c_0110_4^20 - 7140363746093043793606/23187911143771227121501*c_0110_4^19 - 17752905067024661733450/23187911143771227121501*c_0110_4^18 - 28418659329163907255621/23187911143771227121501*c_0110_4^17 - 26950294135585661454731/23187911143771227121501*c_0110_4^16 - 1850094863736312250956/23187911143771227121501*c_0110_4^15 + 51016998310818819044620/23187911143771227121501*c_0110_4^14 + 127682641375883826835191/23187911143771227121501*c_0110_4^13 + 202021964588868036000969/23187911143771227121501*c_0110_4^12 + 246296468981716494982305/23187911143771227121501*c_0110_4^11 + 216537153738447566489301/23187911143771227121501*c_0110_4^10 + 140774629352146631680925/23187911143771227121501*c_0110_4^9 - 8868408794211843394306/23187911143771227121501*c_0110_4^8 - 319969304074941908506428/23187911143771227121501*c_0110_4^7 - 417812966338235747853673/23187911143771227121501*c_0110_4^6 - 429709223312218145795819/23187911143771227121501*c_0110_4^5 - 322898812446846222536468/23187911143771227121501*c_0110_4^4 - 59492603501658135038547/23187911143771227121501*c_0110_4^3 + 123674350043775025312219/23187911143771227121501*c_0110_4^2 + 3315387462850692433047/279372423418930447247*c_0110_4 + 79222222082514100707623/23187911143771227121501, c_0101_2 + 1677621820635040535640/23187911143771227121501*c_0110_4^20 + 7853244294895480284555/23187911143771227121501*c_0110_4^19 + 19226354888538037701587/23187911143771227121501*c_0110_4^18 + 30328624556870941220991/23187911143771227121501*c_0110_4^17 + 27913345524491028568036/23187911143771227121501*c_0110_4^16 + 41873144325737302360/23187911143771227121501*c_0110_4^15 - 56889569586481307762869/23187911143771227121501*c_0110_4^14 - 138233930755779567536245/23187911143771227121501*c_0110_4^13 - 214900960804794026529569/23187911143771227121501*c_0110_4^12 - 259126739088320006338990/23187911143771227121501*c_0110_4^11 - 223806519581680676864667/23187911143771227121501*c_0110_4^10 - 143384710186863897078597/23187911143771227121501*c_0110_4^9 + 17712089351671708906498/23187911143771227121501*c_0110_4^8 + 354291893578658265264349/23187911143771227121501*c_0110_4^7 + 434449866901279539459568/23187911143771227121501*c_0110_4^6 + 454130018411578002510995/23187911143771227121501*c_0110_4^5 + 332129002853570499354928/23187911143771227121501*c_0110_4^4 + 17873719904061338074576/23187911143771227121501*c_0110_4^3 - 128671668816789766527328/23187911143771227121501*c_0110_4^2 - 3383677748561786041577/279372423418930447247*c_0110_4 - 78308423504953467478095/23187911143771227121501, c_0101_6 + 1027104020586772009608/23187911143771227121501*c_0110_4^20 + 4924669561889354853945/23187911143771227121501*c_0110_4^19 + 12144363703121820858339/23187911143771227121501*c_0110_4^18 + 19320575154272193321020/23187911143771227121501*c_0110_4^17 + 17941131469806013343334/23187911143771227121501*c_0110_4^16 + 137764955625915211512/23187911143771227121501*c_0110_4^15 - 36592653596109365355199/23187911143771227121501*c_0110_4^14 - 89147680383341332686388/23187911143771227121501*c_0110_4^13 - 138778843915035660248019/23187911143771227121501*c_0110_4^12 - 166038746872230289395276/23187911143771227121501*c_0110_4^11 - 142381002127745150783227/23187911143771227121501*c_0110_4^10 - 85907951744380277091393/23187911143771227121501*c_0110_4^9 + 17639152434670946049219/23187911143771227121501*c_0110_4^8 + 239633830507569372668004/23187911143771227121501*c_0110_4^7 + 298533359525596889484631/23187911143771227121501*c_0110_4^6 + 297676712635545477814719/23187911143771227121501*c_0110_4^5 + 230963412106970157245548/23187911143771227121501*c_0110_4^4 - 9284316237124194536/23187911143771227121501*c_0110_4^3 - 90352646261674746071056/23187911143771227121501*c_0110_4^2 - 2496444487544410924246/279372423418930447247*c_0110_4 - 61545214701203953571615/23187911143771227121501, c_0110_4^21 + 5*c_0110_4^20 + 13*c_0110_4^19 + 22*c_0110_4^18 + 23*c_0110_4^17 + 6*c_0110_4^16 - 34*c_0110_4^15 - 95*c_0110_4^14 - 158*c_0110_4^13 - 200*c_0110_4^12 - 187*c_0110_4^11 - 130*c_0110_4^10 - 14*c_0110_4^9 + 224*c_0110_4^8 + 340*c_0110_4^7 + 376*c_0110_4^6 + 305*c_0110_4^5 + 74*c_0110_4^4 - 79*c_0110_4^3 - 212*c_0110_4^2 - 115*c_0110_4 - 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB