Magma V2.19-8 Tue Aug 20 2013 16:18:24 on localhost [Seed = 2547387046] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2596 geometric_solution 5.88602867 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 2 0 3012 0132 0132 1230 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 -2 1 -1 0 0 1 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.677659816309 0.648178804529 3 0 5 4 0132 0132 0132 0132 0 0 0 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 0 0 0 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 0 0 0 0 0.975094203664 0.653202600415 6 4 3 0 0132 2310 1023 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 -1 2 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.975094203664 0.653202600415 1 5 2 6 0132 2103 1023 3012 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 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 0 0 0 0 0 0 0 0.685496422271 0.180930449494 4 4 1 2 1230 3012 0132 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 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 1.265366935382 0.885728642481 6 3 6 1 3012 2103 0213 0132 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 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.067679798015 0.873047987060 2 5 3 5 0132 0213 1230 1230 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 -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.067679798015 0.873047987060 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_1'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_5'], '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_4'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0011_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_4']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_3'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : negation(d['c_0011_2']), 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : 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_2, c_0011_4, 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 + 12518050774853666923/307564891559725352*c_0101_3^16 + 2670258825302506757/38445611444965669*c_0101_3^15 + 1564222131565369711/10984460412847334*c_0101_3^14 - 40777880186641806765/76891222889931338*c_0101_3^13 + 56046677620447478630/38445611444965669*c_0101_3^12 - 845217816115431367915/307564891559725352*c_0101_3^11 + 3789967606637280967/6276834521627048*c_0101_3^10 + 54680120368548531453/43937841651389336*c_0101_3^9 - 1349329144887273547927/307564891559725352*c_0101_3^8 - 328238431833105056763/153782445779862676*c_0101_3^7 + 1583404001937007362345/307564891559725352*c_0101_3^6 - 509834442826192126793/76891222889931338*c_0101_3^5 - 100228383626742200646/38445611444965669*c_0101_3^4 + 446271100569337025051/307564891559725352*c_0101_3^3 - 120030347567298529239/43937841651389336*c_0101_3^2 - 302793333439984030057/153782445779862676*c_0101_3 - 84889163957117329259/307564891559725352, c_0011_0 - 1, c_0011_2 - 44079473030142750/38445611444965669*c_0101_3^16 - 83578779805636253/38445611444965669*c_0101_3^15 - 23727264318049766/5492230206423667*c_0101_3^14 + 548341863272110697/38445611444965669*c_0101_3^13 - 1462605624473329857/38445611444965669*c_0101_3^12 + 2643388825716136961/38445611444965669*c_0101_3^11 + 184556772451701/784604315203381*c_0101_3^10 - 238643112885269217/5492230206423667*c_0101_3^9 + 4605593249959718944/38445611444965669*c_0101_3^8 + 3240037207475941926/38445611444965669*c_0101_3^7 - 5411959191412837804/38445611444965669*c_0101_3^6 + 6098807607414496976/38445611444965669*c_0101_3^5 + 4485243778910357352/38445611444965669*c_0101_3^4 - 1551060354536407978/38445611444965669*c_0101_3^3 + 386967924193190380/5492230206423667*c_0101_3^2 + 2745902807723275213/38445611444965669*c_0101_3 + 510131250877748233/38445611444965669, c_0011_4 - 92887633454209319/115336834334897007*c_0101_3^16 - 41603497158890364/38445611444965669*c_0101_3^15 - 39644511551572082/16476690619271001*c_0101_3^14 + 1315494560877709615/115336834334897007*c_0101_3^13 - 1265123076659024572/38445611444965669*c_0101_3^12 + 2540924623791571732/38445611444965669*c_0101_3^11 - 83150645020833029/2353812945610143*c_0101_3^10 - 70805187425846096/5492230206423667*c_0101_3^9 + 3511964795557255314/38445611444965669*c_0101_3^8 + 371813842072620098/38445611444965669*c_0101_3^7 - 4123994678101137328/38445611444965669*c_0101_3^6 + 6482447498547720925/38445611444965669*c_0101_3^5 - 857128750653275230/115336834334897007*c_0101_3^4 - 3246158041951352183/115336834334897007*c_0101_3^3 + 1033838016213509977/16476690619271001*c_0101_3^2 + 1887396322153223354/115336834334897007*c_0101_3 - 173008396827124897/115336834334897007, c_0011_5 + 628669226931745285/115336834334897007*c_0101_3^16 + 352045091048747389/38445611444965669*c_0101_3^15 + 311377284812670388/16476690619271001*c_0101_3^14 - 8238083710571416613/115336834334897007*c_0101_3^13 + 7586840774832920837/38445611444965669*c_0101_3^12 - 14388421487698941533/38445611444965669*c_0101_3^11 + 220301928375828154/2353812945610143*c_0101_3^10 + 871965604632431284/5492230206423667*c_0101_3^9 - 22660531029128911984/38445611444965669*c_0101_3^8 - 10310815953592825841/38445611444965669*c_0101_3^7 + 26448737320460430160/38445611444965669*c_0101_3^6 - 34892472883956049499/38445611444965669*c_0101_3^5 - 36390146228216131699/115336834334897007*c_0101_3^4 + 21822470721030204196/115336834334897007*c_0101_3^3 - 6128941885107693488/16476690619271001*c_0101_3^2 - 28858514825777814004/115336834334897007*c_0101_3 - 4051929689230404739/115336834334897007, c_0101_0 - 210914056594847170/115336834334897007*c_0101_3^16 - 113772207618097159/38445611444965669*c_0101_3^15 - 101395718162672620/16476690619271001*c_0101_3^14 + 2808163805378473154/115336834334897007*c_0101_3^13 - 2602316049109463655/38445611444965669*c_0101_3^12 + 4985709031838411178/38445611444965669*c_0101_3^11 - 92384743806503287/2353812945610143*c_0101_3^10 - 281934452860930512/5492230206423667*c_0101_3^9 + 7748502024275361864/38445611444965669*c_0101_3^8 + 2949769675339427616/38445611444965669*c_0101_3^7 - 9042918826626385532/38445611444965669*c_0101_3^6 + 12287563119376549803/38445611444965669*c_0101_3^5 + 9869723290403001889/115336834334897007*c_0101_3^4 - 7997375067167308807/115336834334897007*c_0101_3^3 + 2163468979371648677/16476690619271001*c_0101_3^2 + 8514860837956995547/115336834334897007*c_0101_3 + 839090784306897406/115336834334897007, c_0101_1 + 628669226931745285/115336834334897007*c_0101_3^16 + 352045091048747389/38445611444965669*c_0101_3^15 + 311377284812670388/16476690619271001*c_0101_3^14 - 8238083710571416613/115336834334897007*c_0101_3^13 + 7586840774832920837/38445611444965669*c_0101_3^12 - 14388421487698941533/38445611444965669*c_0101_3^11 + 220301928375828154/2353812945610143*c_0101_3^10 + 871965604632431284/5492230206423667*c_0101_3^9 - 22660531029128911984/38445611444965669*c_0101_3^8 - 10310815953592825841/38445611444965669*c_0101_3^7 + 26448737320460430160/38445611444965669*c_0101_3^6 - 34892472883956049499/38445611444965669*c_0101_3^5 - 36390146228216131699/115336834334897007*c_0101_3^4 + 21822470721030204196/115336834334897007*c_0101_3^3 - 6128941885107693488/16476690619271001*c_0101_3^2 - 28858514825777814004/115336834334897007*c_0101_3 - 4051929689230404739/115336834334897007, c_0101_3^17 + 2*c_0101_3^16 + 4*c_0101_3^15 - 12*c_0101_3^14 + 32*c_0101_3^13 - 57*c_0101_3^12 - 5*c_0101_3^11 + 35*c_0101_3^10 - 99*c_0101_3^9 - 84*c_0101_3^8 + 111*c_0101_3^7 - 126*c_0101_3^6 - 112*c_0101_3^5 + 17*c_0101_3^4 - 57*c_0101_3^3 - 68*c_0101_3^2 - 21*c_0101_3 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB