Magma V2.19-8 Tue Aug 20 2013 16:17:37 on localhost [Seed = 3633923134] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1856 geometric_solution 5.49502234 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 1 1 0 -1 0 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 1 -1 -1 0 1 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.719096254203 0.481605452345 3 2 4 0 0132 3012 0132 0132 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 1 -1 0 0 1 -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 1.360864364766 0.804316187791 1 3 0 5 1230 3201 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 0 1 -1 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.684002950284 0.257177443159 1 4 2 6 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.912856345813 0.996434859322 6 3 5 1 0132 0132 2031 0132 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 1 -1 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.394154844372 0.162932856625 6 6 2 4 1302 0321 0132 1302 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 -1 0 0 1 -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.778670935307 0.494878040966 4 5 3 5 0132 2031 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.306804082034 1.022157232598 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_2'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : d['c_0011_2'], 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_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_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_2'], 'c_1001_4' : negation(d['c_0110_5']), 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : negation(d['c_0011_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_2']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : d['c_0011_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} 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_1, c_0011_2, c_0011_5, c_0101_0, c_0101_1, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 1543274883509422845052711516/33851128528539089368414065*c_0110_5^14 + 34071859258136461066317530387/67702257057078178736828130*c_0110_5\ ^13 + 916682950950412346519675569/537319500453001418546255*c_0110_5\ ^12 - 8787667187245907776249491121/7522473006342019859647570*c_0110\ _5^11 - 1741477271654399845634497622191/67702257057078178736828130*\ c_0110_5^10 - 81420571586252904279159861733/96717510081540255338325\ 9*c_0110_5^9 - 5546131896392605444930394970161/33851128528539089368\ 414065*c_0110_5^8 - 1497584783000385815932838083989/752247300634201\ 9859647570*c_0110_5^7 - 4488479203565925753744787699151/67702257057\ 078178736828130*c_0110_5^6 + 7403829160222604233898973777556/338511\ 28528539089368414065*c_0110_5^5 + 1372242869239087576079919951913/3\ 223917002718008511277530*c_0110_5^4 + 13089645647965927174790638042118/33851128528539089368414065*c_0110_\ 5^3 + 4534313775444276216200463242129/22567419019026059578942710*c_\ 0110_5^2 + 1310809615723198833516110833769/225674190190260595789427\ 10*c_0110_5 + 257982622516917018594436118977/3385112852853908936841\ 4065, c_0011_0 - 1, c_0011_1 - 321736833885806531569/214927800181200567418502*c_0110_5^14 - 862700701006455960612/107463900090600283709251*c_0110_5^13 + 6819129993293508121229/214927800181200567418502*c_0110_5^12 + 30910382416493750675570/107463900090600283709251*c_0110_5^11 + 83681884174354270692939/214927800181200567418502*c_0110_5^10 - 199044641954848864618016/107463900090600283709251*c_0110_5^9 - 712130543552159278924090/107463900090600283709251*c_0110_5^8 - 1331684318642794884740175/107463900090600283709251*c_0110_5^7 - 3092078277604038520522113/214927800181200567418502*c_0110_5^6 + 643178149835351663125117/214927800181200567418502*c_0110_5^5 + 5858970033877417032621387/214927800181200567418502*c_0110_5^4 + 3064758465629511550804539/107463900090600283709251*c_0110_5^3 + 2772388338581189525211359/214927800181200567418502*c_0110_5^2 + 87050845514967086936776/107463900090600283709251*c_0110_5 - 54013862182181267581181/214927800181200567418502, c_0011_2 + 2680011344286486945349/214927800181200567418502*c_0110_5^14 + 15944388126840053086737/107463900090600283709251*c_0110_5^13 + 122472445529595793191121/214927800181200567418502*c_0110_5^12 - 7839564025620800103793/107463900090600283709251*c_0110_5^11 - 1665270551385227895567525/214927800181200567418502*c_0110_5^10 - 3042754192429961395629081/107463900090600283709251*c_0110_5^9 - 6088859135619702086937655/107463900090600283709251*c_0110_5^8 - 7696913139138451106179581/107463900090600283709251*c_0110_5^7 - 6176788333431760894740731/214927800181200567418502*c_0110_5^6 + 16917001617149755747020211/214927800181200567418502*c_0110_5^5 + 34058555555318532897287163/214927800181200567418502*c_0110_5^4 + 14795406845393095149147042/107463900090600283709251*c_0110_5^3 + 12992460371574654641921143/214927800181200567418502*c_0110_5^2 + 1146552996399542060215898/107463900090600283709251*c_0110_5 - 22834015396698867867659/214927800181200567418502, c_0011_5 + 14079486264384760305105/214927800181200567418502*c_0110_5^14 + 73417289747858736003308/107463900090600283709251*c_0110_5^13 + 436926084550188248850203/214927800181200567418502*c_0110_5^12 - 315669333517899162294483/107463900090600283709251*c_0110_5^11 - 7570736550962098607569849/214927800181200567418502*c_0110_5^10 - 10680845766337892814391872/107463900090600283709251*c_0110_5^9 - 18678566916807020689266886/107463900090600283709251*c_0110_5^8 - 19061833281642724729507963/107463900090600283709251*c_0110_5^7 + 3735965560227909211107025/214927800181200567418502*c_0110_5^6 + 66202022919080758565524901/214927800181200567418502*c_0110_5^5 + 90870446601968716742817901/214927800181200567418502*c_0110_5^4 + 31124280231387768456090509/107463900090600283709251*c_0110_5^3 + 21930180109924278983122575/214927800181200567418502*c_0110_5^2 + 1602288802335466171079084/107463900090600283709251*c_0110_5 - 83838470246828775290349/214927800181200567418502, c_0101_0 + 8634520954166175140735/214927800181200567418502*c_0110_5^14 + 45066720351830076479028/107463900090600283709251*c_0110_5^13 + 267174335273667309378371/214927800181200567418502*c_0110_5^12 - 200110977996493969556748/107463900090600283709251*c_0110_5^11 - 4682576672522085602126069/214927800181200567418502*c_0110_5^10 - 6517514111360428654844466/107463900090600283709251*c_0110_5^9 - 11126881899010088357767093/107463900090600283709251*c_0110_5^8 - 10934747645724766274519742/107463900090600283709251*c_0110_5^7 + 4707664574344517746572491/214927800181200567418502*c_0110_5^6 + 42414606519434657954354065/214927800181200567418502*c_0110_5^5 + 53736327586851099498230805/214927800181200567418502*c_0110_5^4 + 16557440422083196409863261/107463900090600283709251*c_0110_5^3 + 8600601188344955317761947/214927800181200567418502*c_0110_5^2 - 46144410382992267146159/107463900090600283709251*c_0110_5 - 237822889373652440177741/214927800181200567418502, c_0101_1 - 13162392618128494803899/214927800181200567418502*c_0110_5^14 - 69362534280144215110075/107463900090600283709251*c_0110_5^13 - 424272742755564076081981/214927800181200567418502*c_0110_5^12 + 269816076679183582645420/107463900090600283709251*c_0110_5^11 + 7134855900087269894381503/214927800181200567418502*c_0110_5^10 + 10405584858575526658815341/107463900090600283709251*c_0110_5^9 + 18699715029259752233988648/107463900090600283709251*c_0110_5^8 + 19927469141367233300549012/107463900090600283709251*c_0110_5^7 + 680651169901789965185087/214927800181200567418502*c_0110_5^6 - 62717385221858298733732491/214927800181200567418502*c_0110_5^5 - 93540819526289097028249583/214927800181200567418502*c_0110_5^4 - 34361862139468647308068378/107463900090600283709251*c_0110_5^3 - 26102202693900442676608237/214927800181200567418502*c_0110_5^2 - 1966616155859481967890531/107463900090600283709251*c_0110_5 + 216358945361351218261061/214927800181200567418502, c_0110_5^15 + 11*c_0110_5^14 + 37*c_0110_5^13 - 27*c_0110_5^12 - 563*c_0110_5^11 - 1825*c_0110_5^10 - 3526*c_0110_5^9 - 4238*c_0110_5^8 - 1303*c_0110_5^7 + 4836*c_0110_5^6 + 9154*c_0110_5^5 + 8153*c_0110_5^4 + 4121*c_0110_5^3 + 1131*c_0110_5^2 + 127*c_0110_5 - 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB