Magma V2.19-8 Tue Aug 20 2013 16:14:06 on localhost [Seed = 3701293283] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s053 geometric_solution 3.59248597 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 0 1 0 0132 2310 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.747930191812 0.089361654599 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 -1 1 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 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.712860610711 0.415227820308 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 -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 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 1.122993573032 0.220519962319 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 -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 0 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.813552576525 0.429970526763 5 3 5 5 2103 0132 1302 2031 0 0 0 0 0 0 1 -1 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.501158798050 0.512609930437 4 4 4 3 2031 1302 2103 0132 0 0 0 0 0 0 0 0 -1 0 1 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 -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.501158798050 0.512609930437 ==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' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_2'], 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_2'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 25254233459580316/3427024490739101*c_0101_3^16 + 57285484941137174/3427024490739101*c_0101_3^15 + 590897640959395869/3427024490739101*c_0101_3^14 - 113294947897292626/3427024490739101*c_0101_3^13 - 2366665062681479800/3427024490739101*c_0101_3^12 + 753558174146284195/3427024490739101*c_0101_3^11 + 4765962130498406015/3427024490739101*c_0101_3^10 - 1712243677429084287/3427024490739101*c_0101_3^9 - 4419188687660440216/3427024490739101*c_0101_3^8 - 33909294315366972/489574927248443*c_0101_3^7 - 1130928644047534709/3427024490739101*c_0101_3^6 + 3939590842204389699/3427024490739101*c_0101_3^5 + 5745774873427347495/3427024490739101*c_0101_3^4 - 3809551795486865137/3427024490739101*c_0101_3^3 - 3979435281078005519/3427024490739101*c_0101_3^2 + 1053172264646911525/3427024490739101*c_0101_3 + 735681350586890312/3427024490739101, c_0011_0 - 1, c_0011_2 - 339477914763955/489574927248443*c_0101_3^16 + 950677502347555/489574927248443*c_0101_3^15 + 7270762237938988/489574927248443*c_0101_3^14 - 4945453880411933/489574927248443*c_0101_3^13 - 25570722627031937/489574927248443*c_0101_3^12 + 21739927754910375/489574927248443*c_0101_3^11 + 40012344736457473/489574927248443*c_0101_3^10 - 34603799884221453/489574927248443*c_0101_3^9 - 21374601519747984/489574927248443*c_0101_3^8 - 7501898457273362/489574927248443*c_0101_3^7 - 20535043824572362/489574927248443*c_0101_3^6 + 59790443521029313/489574927248443*c_0101_3^5 + 32846822380660441/489574927248443*c_0101_3^4 - 40592250532782033/489574927248443*c_0101_3^3 - 15805575225189672/489574927248443*c_0101_3^2 + 4398274851150513/489574927248443*c_0101_3 + 2227337319100206/489574927248443, c_0011_5 - 58270125076526/489574927248443*c_0101_3^16 + 159034987777935/489574927248443*c_0101_3^15 + 1270855685465749/489574927248443*c_0101_3^14 - 786963922732372/489574927248443*c_0101_3^13 - 4695708586682265/489574927248443*c_0101_3^12 + 3467791021640060/489574927248443*c_0101_3^11 + 7875896235564598/489574927248443*c_0101_3^10 - 5826436762694721/489574927248443*c_0101_3^9 - 5215222889941142/489574927248443*c_0101_3^8 - 1102897374075291/489574927248443*c_0101_3^7 - 2994815500372338/489574927248443*c_0101_3^6 + 10617475223532168/489574927248443*c_0101_3^5 + 6976573531307005/489574927248443*c_0101_3^4 - 7504478985726692/489574927248443*c_0101_3^3 - 3891048999158967/489574927248443*c_0101_3^2 + 1068336174805959/489574927248443*c_0101_3 + 526759595210935/489574927248443, c_0101_0 - 1391409712566146/489574927248443*c_0101_3^16 + 3895402632096662/489574927248443*c_0101_3^15 + 29790239439465144/489574927248443*c_0101_3^14 - 20159310792695413/489574927248443*c_0101_3^13 - 104706363861234936/489574927248443*c_0101_3^12 + 87978066080622582/489574927248443*c_0101_3^11 + 164084125027799085/489574927248443*c_0101_3^10 - 139571559946159397/489574927248443*c_0101_3^9 - 89134055048693061/489574927248443*c_0101_3^8 - 32436155364667342/489574927248443*c_0101_3^7 - 83907152587091281/489574927248443*c_0101_3^6 + 243907812944706532/489574927248443*c_0101_3^5 + 136251087857579730/489574927248443*c_0101_3^4 - 164775687201007997/489574927248443*c_0101_3^3 - 63792863939827942/489574927248443*c_0101_3^2 + 17063536002908285/489574927248443*c_0101_3 + 8509512010246732/489574927248443, c_0101_1 - 2153530800149494/489574927248443*c_0101_3^16 + 6108189764215752/489574927248443*c_0101_3^15 + 45838305109549162/489574927248443*c_0101_3^14 - 32687692252446588/489574927248443*c_0101_3^13 - 160170257244751373/489574927248443*c_0101_3^12 + 140111387724089190/489574927248443*c_0101_3^11 + 247492338894347091/489574927248443*c_0101_3^10 - 219538360514438482/489574927248443*c_0101_3^9 - 131401235896716193/489574927248443*c_0101_3^8 - 50350921740114480/489574927248443*c_0101_3^7 - 124893604336369538/489574927248443*c_0101_3^6 + 377744686816158514/489574927248443*c_0101_3^5 + 200096602319637103/489574927248443*c_0101_3^4 - 255269626645373374/489574927248443*c_0101_3^3 - 94087791966710381/489574927248443*c_0101_3^2 + 28511448068481195/489574927248443*c_0101_3 + 12642419405679606/489574927248443, c_0101_3^17 - 4*c_0101_3^16 - 18*c_0101_3^15 + 40*c_0101_3^14 + 57*c_0101_3^13 - 152*c_0101_3^12 - 40*c_0101_3^11 + 237*c_0101_3^10 - 57*c_0101_3^9 - 49*c_0101_3^8 + 31*c_0101_3^7 - 244*c_0101_3^6 + 111*c_0101_3^5 + 229*c_0101_3^4 - 94*c_0101_3^3 - 65*c_0101_3^2 + 9*c_0101_3 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB