Magma V2.19-8 Tue Aug 20 2013 16:16:07 on localhost [Seed = 290491870] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0380 geometric_solution 4.43992138 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 0 1 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.908827670463 0.044858356291 2 0 2 0 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.895756357921 0.064758443613 1 3 1 3 0132 0132 1023 1023 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 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.871821023922 0.131675527477 4 2 5 2 0132 0132 0132 1023 0 0 0 0 0 -1 1 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 -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.919595786298 0.344695576161 3 5 5 6 0132 0213 3012 0132 0 0 0 0 0 -1 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.775772597038 0.810301512964 6 4 4 3 1023 1230 0213 0132 0 0 0 0 0 0 1 -1 -1 0 0 1 1 -1 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 1 0 0 -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.775772597038 0.810301512964 6 5 4 6 3201 1023 0132 2310 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 -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.317213239601 1.146328970436 ==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_0011_5'], 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(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_3'], 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : d['c_0101_4'], '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_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0011_0'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : d['c_0101_2']})} 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_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 242471713122681676/7709834591796895*c_0101_4^22 - 310206988019556582/7709834591796895*c_0101_4^21 + 4297553987057018856/7709834591796895*c_0101_4^20 + 5092533518082990227/7709834591796895*c_0101_4^19 - 29235635446667494888/7709834591796895*c_0101_4^18 - 34529911737759892286/7709834591796895*c_0101_4^17 + 103519235783335376731/7709834591796895*c_0101_4^16 + 125794048187581728981/7709834591796895*c_0101_4^15 - 222915731375186463124/7709834591796895*c_0101_4^14 - 281082707262266430221/7709834591796895*c_0101_4^13 + 316616820412587487194/7709834591796895*c_0101_4^12 + 413523473912728504293/7709834591796895*c_0101_4^11 - 305098515202061810683/7709834591796895*c_0101_4^10 - 1537305068727991522/29093715440743*c_0101_4^9 + 39727994540366655264/1541966918359379*c_0101_4^8 + 263097380791258286242/7709834591796895*c_0101_4^7 - 16836533054567715685/1541966918359379*c_0101_4^6 - 108192965139606378318/7709834591796895*c_0101_4^5 + 15404519231828950809/7709834591796895*c_0101_4^4 + 25319566445686353206/7709834591796895*c_0101_4^3 + 1070296619540214816/1541966918359379*c_0101_4^2 - 552196362423585167/7709834591796895*c_0101_4 - 1221436974825726151/7709834591796895, c_0011_0 - 1, c_0011_5 + 462307315401849/1541966918359379*c_0101_4^22 + 670815530109116/1541966918359379*c_0101_4^21 - 7834660545058084/1541966918359379*c_0101_4^20 - 10553556170996291/1541966918359379*c_0101_4^19 + 49899937624872278/1541966918359379*c_0101_4^18 + 66603428005836573/1541966918359379*c_0101_4^17 - 160956181336625440/1541966918359379*c_0101_4^16 - 220944169407859760/1541966918359379*c_0101_4^15 + 309561997936423819/1541966918359379*c_0101_4^14 + 447838756612137628/1541966918359379*c_0101_4^13 - 383095777004932405/1541966918359379*c_0101_4^12 - 595965726187898818/1541966918359379*c_0101_4^11 + 302892372842956470/1541966918359379*c_0101_4^10 + 9877401255570175/29093715440743*c_0101_4^9 - 140169590851932512/1541966918359379*c_0101_4^8 - 295590056855351984/1541966918359379*c_0101_4^7 + 18886783910830759/1541966918359379*c_0101_4^6 + 104035997254687275/1541966918359379*c_0101_4^5 + 25249801738121824/1541966918359379*c_0101_4^4 - 15316454032202871/1541966918359379*c_0101_4^3 - 15961229525977460/1541966918359379*c_0101_4^2 - 3555049440061985/1541966918359379*c_0101_4 + 1432123023370958/1541966918359379, c_0101_0 + 454289099840324/1541966918359379*c_0101_4^22 + 956854698329349/1541966918359379*c_0101_4^21 - 7822514044183748/1541966918359379*c_0101_4^20 - 16097904152111619/1541966918359379*c_0101_4^19 + 51448150937381043/1541966918359379*c_0101_4^18 + 107836948926046946/1541966918359379*c_0101_4^17 - 171767164847151855/1541966918359379*c_0101_4^16 - 382665675827929969/1541966918359379*c_0101_4^15 + 335958286062955096/1541966918359379*c_0101_4^14 + 832398602871786262/1541966918359379*c_0101_4^13 - 411395747224397506/1541966918359379*c_0101_4^12 - 1193033129099705837/1541966918359379*c_0101_4^11 + 310951297245166016/1541966918359379*c_0101_4^10 + 21608409626396266/29093715440743*c_0101_4^9 - 129849613441140175/1541966918359379*c_0101_4^8 - 718842463366247506/1541966918359379*c_0101_4^7 + 15829140153792146/1541966918359379*c_0101_4^6 + 282190101358251016/1541966918359379*c_0101_4^5 + 22465470323119990/1541966918359379*c_0101_4^4 - 56355393220721278/1541966918359379*c_0101_4^3 - 20139507304850626/1541966918359379*c_0101_4^2 - 4331435841626531/1541966918359379*c_0101_4 + 1137552792043696/1541966918359379, c_0101_1 - 854268661285028/1541966918359379*c_0101_4^22 - 1364868406817045/1541966918359379*c_0101_4^21 + 14760044230298130/1541966918359379*c_0101_4^20 + 22662011610638875/1541966918359379*c_0101_4^19 - 97051727771057916/1541966918359379*c_0101_4^18 - 152926396660347912/1541966918359379*c_0101_4^17 + 327731197604950570/1541966918359379*c_0101_4^16 + 550332998673114633/1541966918359379*c_0101_4^15 - 665601074907317679/1541966918359379*c_0101_4^14 - 1214333914320418955/1541966918359379*c_0101_4^13 + 880857982192373343/1541966918359379*c_0101_4^12 + 1769364067010092281/1541966918359379*c_0101_4^11 - 776868564481000816/1541966918359379*c_0101_4^10 - 32738940985657978/29093715440743*c_0101_4^9 + 456089098762283552/1541966918359379*c_0101_4^8 + 1125830449273024662/1541966918359379*c_0101_4^7 - 174493979630913848/1541966918359379*c_0101_4^6 - 466535025476233593/1541966918359379*c_0101_4^5 + 18016538207680003/1541966918359379*c_0101_4^4 + 103794037955998535/1541966918359379*c_0101_4^3 + 23447976259307171/1541966918359379*c_0101_4^2 + 184821937499076/1541966918359379*c_0101_4 - 3521727766553400/1541966918359379, c_0101_2 + 1141821569483109/1541966918359379*c_0101_4^22 + 1310588646561378/1541966918359379*c_0101_4^21 - 20184374704586826/1541966918359379*c_0101_4^20 - 21217160629535028/1541966918359379*c_0101_4^19 + 136424103277702051/1541966918359379*c_0101_4^18 + 143092085628029395/1541966918359379*c_0101_4^17 - 478785406209442117/1541966918359379*c_0101_4^16 - 518404619162669662/1541966918359379*c_0101_4^15 + 1020154390048463285/1541966918359379*c_0101_4^14 + 1146039702155920914/1541966918359379*c_0101_4^13 - 1429276416505276463/1541966918359379*c_0101_4^12 - 1656685025920880482/1541966918359379*c_0101_4^11 + 1348177680863047326/1541966918359379*c_0101_4^10 + 29922638132932363/29093715440743*c_0101_4^9 - 842738278753689563/1541966918359379*c_0101_4^8 - 976235451762805810/1541966918359379*c_0101_4^7 + 326293123876945974/1541966918359379*c_0101_4^6 + 373766997106371484/1541966918359379*c_0101_4^5 - 38152694268506860/1541966918359379*c_0101_4^4 - 77508697778038948/1541966918359379*c_0101_4^3 - 31734385308104942/1541966918359379*c_0101_4^2 - 2620177689166781/1541966918359379*c_0101_4 + 3606561629091356/1541966918359379, c_0101_3 + 411613258325762/1541966918359379*c_0101_4^22 + 1284273408331196/1541966918359379*c_0101_4^21 - 6718453287039221/1541966918359379*c_0101_4^20 - 21823202622288934/1541966918359379*c_0101_4^19 + 41429972064989450/1541966918359379*c_0101_4^18 + 145330767549946042/1541966918359379*c_0101_4^17 - 126343490230545426/1541966918359379*c_0101_4^16 - 509841606708709700/1541966918359379*c_0101_4^15 + 220356636616321515/1541966918359379*c_0101_4^14 + 1101424080145681892/1541966918359379*c_0101_4^13 - 232297314071369578/1541966918359379*c_0101_4^12 - 1583563294958207103/1541966918359379*c_0101_4^11 + 140648269351604080/1541966918359379*c_0101_4^10 + 29176723548766108/29093715440743*c_0101_4^9 - 48355223514928185/1541966918359379*c_0101_4^8 - 1008363768843141654/1541966918359379*c_0101_4^7 + 17178349931718800/1541966918359379*c_0101_4^6 + 415006896103262716/1541966918359379*c_0101_4^5 + 6015172411341546/1541966918359379*c_0101_4^4 - 83694573990245003/1541966918359379*c_0101_4^3 - 16126702898125400/1541966918359379*c_0101_4^2 - 1952585509713085/1541966918359379*c_0101_4 + 3438902763314878/1541966918359379, c_0101_4^23 + c_0101_4^22 - 18*c_0101_4^21 - 16*c_0101_4^20 + 125*c_0101_4^19 + 108*c_0101_4^18 - 457*c_0101_4^17 - 395*c_0101_4^16 + 1030*c_0101_4^15 + 887*c_0101_4^14 - 1555*c_0101_4^13 - 1309*c_0101_4^12 + 1626*c_0101_4^11 + 1287*c_0101_4^10 - 1180*c_0101_4^9 - 822*c_0101_4^8 + 577*c_0101_4^7 + 333*c_0101_4^6 - 157*c_0101_4^5 - 82*c_0101_4^4 + c_0101_4^3 + 7*c_0101_4^2 + 4*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB