Magma V2.19-8 Tue Aug 20 2013 16:17:15 on localhost [Seed = 1612840126] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1484 geometric_solution 5.29835965 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 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.134658103464 1.249259307652 0 2 5 4 0132 2310 0132 1230 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 -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 0.233610366503 0.347410299844 6 0 6 1 0132 0132 2310 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 -1 1 0 -1 0 0 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.512813205039 2.572211158450 4 5 4 0 1230 2103 2031 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 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.701177731639 0.597710573566 1 3 0 3 3012 3012 0132 1302 0 0 0 0 0 -1 1 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 -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.841114760843 0.795466235311 5 3 5 1 2031 2103 1302 0132 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.776144935908 1.526798138382 2 2 6 6 0132 3201 1230 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.176458656578 0.212667111311 ==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' : d['1'], 's_0_6' : 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_6' : d['c_0101_2'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0101_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : d['c_0101_3'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0011_4'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_0'], '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_0011_3'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_1001_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_1001_0']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0011_3'])})} 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_0011_5, c_0101_2, c_0101_3, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 607357411314643081964952/13468122701915884841575*c_1001_0^12 + 13535313124531161166838836/13468122701915884841575*c_1001_0^11 + 2317811884725674990354613/2693624540383176968315*c_1001_0^10 - 8938101433640400469889224/2693624540383176968315*c_1001_0^9 - 254141631748792047290790292/13468122701915884841575*c_1001_0^8 - 24197847604887341987095149/1224374791083262258325*c_1001_0^7 - 98221025603009263940293278/13468122701915884841575*c_1001_0^6 + 62794972471654185621076666/13468122701915884841575*c_1001_0^5 - 50830956202974480530995709/1224374791083262258325*c_1001_0^4 - 698886109021485657906500948/13468122701915884841575*c_1001_0^3 + 381981002898157253541313483/13468122701915884841575*c_1001_0^2 + 740710887896287811322999423/13468122701915884841575*c_1001_0 + 47002044246591340707711014/2693624540383176968315, c_0011_0 - 1, c_0011_3 + 128619887854412787/244874958216652451665*c_1001_0^12 - 10648823312204039/244874958216652451665*c_1001_0^11 - 11945331974784031563/48974991643330490333*c_1001_0^10 - 4494594961524869347/48974991643330490333*c_1001_0^9 + 168099996745095848923/244874958216652451665*c_1001_0^8 + 1000508291485632000771/244874958216652451665*c_1001_0^7 + 522513940189490344992/244874958216652451665*c_1001_0^6 + 81988732850545121086/244874958216652451665*c_1001_0^5 - 499906301501417952219/244874958216652451665*c_1001_0^4 + 2779413590304626965557/244874958216652451665*c_1001_0^3 + 1478060049649953285143/244874958216652451665*c_1001_0^2 - 2758839161769029786602/244874958216652451665*c_1001_0 - 330441945246901332836/48974991643330490333, c_0011_4 + 275015117505287157234/1224374791083262258325*c_1001_0^12 + 6152083148455388479867/1224374791083262258325*c_1001_0^11 + 1149514002389287809079/244874958216652451665*c_1001_0^10 - 4033298382757077987488/244874958216652451665*c_1001_0^9 - 116846141622376480110289/1224374791083262258325*c_1001_0^8 - 128882012287671328782343/1224374791083262258325*c_1001_0^7 - 48414814519666280734836/1224374791083262258325*c_1001_0^6 + 27689356857994086113902/1224374791083262258325*c_1001_0^5 - 250462397758547802953118/1224374791083262258325*c_1001_0^4 - 339937224773766219700401/1224374791083262258325*c_1001_0^3 + 162991322738776078183566/1224374791083262258325*c_1001_0^2 + 357093562379673731375061/1224374791083262258325*c_1001_0 + 23776353010025967116362/244874958216652451665, c_0011_5 - 34702437096823933072/244874958216652451665*c_1001_0^12 - 776876539796453228131/244874958216652451665*c_1001_0^11 - 147602848723750303038/48974991643330490333*c_1001_0^10 + 507864279607478642645/48974991643330490333*c_1001_0^9 + 14798811534020807676407/244874958216652451665*c_1001_0^8 + 16475789033611865198729/244874958216652451665*c_1001_0^7 + 6246027973625452956808/244874958216652451665*c_1001_0^6 - 3547298689690026934036/244874958216652451665*c_1001_0^5 + 31566483631020070923029/244874958216652451665*c_1001_0^4 + 43328691878459903535738/244874958216652451665*c_1001_0^3 - 20305332468400271302918/244874958216652451665*c_1001_0^2 - 45539364205218232522303/244874958216652451665*c_1001_0 - 3070609438696948218864/48974991643330490333, c_0101_2 - 14509325502697/55328970630541925*c_1001_0^12 - 344904839397836/55328970630541925*c_1001_0^11 - 159621207333147/11065794126108385*c_1001_0^10 - 47193662457826/11065794126108385*c_1001_0^9 + 7314179155875087/55328970630541925*c_1001_0^8 + 19276153697997169/55328970630541925*c_1001_0^7 + 26606915078801863/55328970630541925*c_1001_0^6 + 11046794813969134/55328970630541925*c_1001_0^5 + 2713718964666419/55328970630541925*c_1001_0^4 + 38326332363282433/55328970630541925*c_1001_0^3 + 53575619822268797/55328970630541925*c_1001_0^2 - 7043738598622038/55328970630541925*c_1001_0 - 16607755176170086/11065794126108385, c_0101_3 - 81138576846134748381/1224374791083262258325*c_1001_0^12 - 1822232842295379705653/1224374791083262258325*c_1001_0^11 - 370480260761785810876/244874958216652451665*c_1001_0^10 + 1175485078489419034427/244874958216652451665*c_1001_0^9 + 35014531097541563428026/1224374791083262258325*c_1001_0^8 + 40867135529550829592987/1224374791083262258325*c_1001_0^7 + 16242968011040899335899/1224374791083262258325*c_1001_0^6 - 7864938129080939080893/1224374791083262258325*c_1001_0^5 + 72544989803110702957337/1224374791083262258325*c_1001_0^4 + 107727022008045316753359/1224374791083262258325*c_1001_0^3 - 42066379196841530189794/1224374791083262258325*c_1001_0^2 - 112634890265852685811399/1224374791083262258325*c_1001_0 - 8110110685842402570083/244874958216652451665, c_1001_0^13 + 23*c_1001_0^12 + 35*c_1001_0^11 - 60*c_1001_0^10 - 471*c_1001_0^9 - 737*c_1001_0^8 - 474*c_1001_0^7 - 12*c_1001_0^6 - 847*c_1001_0^5 - 1809*c_1001_0^4 - 191*c_1001_0^3 + 1669*c_1001_0^2 + 1255*c_1001_0 + 275 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB