Magma V2.19-8 Tue Aug 20 2013 16:17:23 on localhost [Seed = 3187417456] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1609 geometric_solution 5.36843975 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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 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 0 0 0 0 -0.190892792583 0.161053658468 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 -1 1 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 -1 0 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 2.235617277965 2.470364018183 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 1 0 -1 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 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 0 0 0 0 0.298512723003 0.420733461380 2 4 6 5 0132 2310 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 -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.210419068994 1.040930676494 6 5 2 3 2310 2310 0132 3201 0 0 0 0 0 -1 1 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 -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.210419068994 1.040930676494 5 5 3 4 1302 2031 0132 3201 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 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.186572681387 0.922964008822 6 6 4 3 1230 3012 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.186572681387 0.922964008822 ==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' : negation(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' : negation(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' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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_0101_6'], 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0011_5']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : negation(d['c_0101_6']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0011_5'])})} 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_0011_6, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 13990519462021010146573/7578051601343255335*c_0101_6^15 + 125132137396405854629081/30312206405373021340*c_0101_6^14 - 1089704079662463386514159/30312206405373021340*c_0101_6^13 + 151237266078508129618983/15156103202686510670*c_0101_6^12 + 1882424264360484070595739/15156103202686510670*c_0101_6^11 + 5381808026277025232483/496921416481524940*c_0101_6^10 - 15422964674733718307800711/30312206405373021340*c_0101_6^9 + 23167394924646013117714917/30312206405373021340*c_0101_6^8 + 9616043344462907249500217/15156103202686510670*c_0101_6^7 - 7415013531586206559987437/7578051601343255335*c_0101_6^6 - 10036602495546678264828453/15156103202686510670*c_0101_6^5 + 330727725787151427447336/1515610320268651067*c_0101_6^4 + 9435557091655371934211607/30312206405373021340*c_0101_6^3 + 150632664106180138795895/1515610320268651067*c_0101_6^2 - 291149915009507237133341/30312206405373021340*c_0101_6 - 58683286682421797560518/7578051601343255335, c_0011_0 - 1, c_0011_2 - 11467703571932348/24846070824076247*c_0101_6^15 - 21214413034271133/24846070824076247*c_0101_6^14 + 231021671548701918/24846070824076247*c_0101_6^13 - 151951686521952403/24846070824076247*c_0101_6^12 - 703226277362990741/24846070824076247*c_0101_6^11 + 195880849283671920/24846070824076247*c_0101_6^10 + 3058128504212582873/24846070824076247*c_0101_6^9 - 5913741467828009739/24846070824076247*c_0101_6^8 - 1537198067659756811/24846070824076247*c_0101_6^7 + 6401571725275443870/24846070824076247*c_0101_6^6 + 1639947021651248610/24846070824076247*c_0101_6^5 - 1728335384547755647/24846070824076247*c_0101_6^4 - 1290785478483884979/24846070824076247*c_0101_6^3 - 191771766649042066/24846070824076247*c_0101_6^2 + 88081880679648718/24846070824076247*c_0101_6 - 559644905371357/24846070824076247, c_0011_4 + 30840078140797041/24846070824076247*c_0101_6^15 + 58354031120024727/24846070824076247*c_0101_6^14 - 617172294825968912/24846070824076247*c_0101_6^13 + 383801294809405931/24846070824076247*c_0101_6^12 + 1871393132431680375/24846070824076247*c_0101_6^11 - 388912601656632412/24846070824076247*c_0101_6^10 - 8178891917133676971/24846070824076247*c_0101_6^9 + 15448894417873755240/24846070824076247*c_0101_6^8 + 4397790551044011541/24846070824076247*c_0101_6^7 - 15751193463776547807/24846070824076247*c_0101_6^6 - 5955235392828593324/24846070824076247*c_0101_6^5 + 3821642273990239027/24846070824076247*c_0101_6^4 + 3859244987125901145/24846070824076247*c_0101_6^3 + 934140916412871943/24846070824076247*c_0101_6^2 - 156081724423621271/24846070824076247*c_0101_6 - 75028697035772465/24846070824076247, c_0011_5 - 48394150636501147/24846070824076247*c_0101_6^15 - 90679610997924672/24846070824076247*c_0101_6^14 + 970725689342763967/24846070824076247*c_0101_6^13 - 619471290900582630/24846070824076247*c_0101_6^12 - 2937890549116062791/24846070824076247*c_0101_6^11 + 681786011423659746/24846070824076247*c_0101_6^10 + 12848517865827067379/24846070824076247*c_0101_6^9 - 24512112348583656294/24846070824076247*c_0101_6^8 - 6595426626521148510/24846070824076247*c_0101_6^7 + 25261210259139436485/24846070824076247*c_0101_6^6 + 8682008993038801827/24846070824076247*c_0101_6^5 - 6430448717998717309/24846070824076247*c_0101_6^4 - 5842127731543657512/24846070824076247*c_0101_6^3 - 1258797008091652542/24846070824076247*c_0101_6^2 + 285073168009937107/24846070824076247*c_0101_6 + 94030857325851827/24846070824076247, c_0011_6 + 17554072495704106/24846070824076247*c_0101_6^15 + 32325579877899945/24846070824076247*c_0101_6^14 - 353553394516795055/24846070824076247*c_0101_6^13 + 235669996091176699/24846070824076247*c_0101_6^12 + 1066497416684382416/24846070824076247*c_0101_6^11 - 292873409767027334/24846070824076247*c_0101_6^10 - 4669625948693390408/24846070824076247*c_0101_6^9 + 9063217930709901054/24846070824076247*c_0101_6^8 + 2197636075477136969/24846070824076247*c_0101_6^7 - 9510016795362888678/24846070824076247*c_0101_6^6 - 2726773600210208503/24846070824076247*c_0101_6^5 + 2608806444008478282/24846070824076247*c_0101_6^4 + 1982882744417756367/24846070824076247*c_0101_6^3 + 324656091678780599/24846070824076247*c_0101_6^2 - 128991443586315836/24846070824076247*c_0101_6 - 19002160290079362/24846070824076247, c_0101_1 + 3994859737238229/24846070824076247*c_0101_6^15 + 8377632672686265/24846070824076247*c_0101_6^14 - 78768039651962973/24846070824076247*c_0101_6^13 + 33238289012419501/24846070824076247*c_0101_6^12 + 261047452386241226/24846070824076247*c_0101_6^11 - 17640838910998237/24846070824076247*c_0101_6^10 - 1081332608810673068/24846070824076247*c_0101_6^9 + 1819335432517929841/24846070824076247*c_0101_6^8 + 1066365631067653007/24846070824076247*c_0101_6^7 - 2259285515008027736/24846070824076247*c_0101_6^6 - 903277100533178999/24846070824076247*c_0101_6^5 + 484000948307387405/24846070824076247*c_0101_6^4 + 473295932265626259/24846070824076247*c_0101_6^3 + 97812528010467549/24846070824076247*c_0101_6^2 - 28997527230639839/24846070824076247*c_0101_6 + 14405596253990284/24846070824076247, c_0101_6^16 + 2*c_0101_6^15 - 20*c_0101_6^14 + 10*c_0101_6^13 + 66*c_0101_6^12 - 10*c_0101_6^11 - 277*c_0101_6^10 + 479*c_0101_6^9 + 246*c_0101_6^8 - 611*c_0101_6^7 - 234*c_0101_6^6 + 203*c_0101_6^5 + 141*c_0101_6^4 + 14*c_0101_6^3 - 18*c_0101_6^2 - 3*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB