Magma V2.19-8 Tue Aug 20 2013 16:15:53 on localhost [Seed = 3768679643] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0106 geometric_solution 3.63446326 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4.024602818756 0.655786622118 0 0 3 3 0132 3201 3201 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 -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.405193186259 0.093169330369 0 0 2 2 3201 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.143971189730 0.014015012490 1 4 1 4 2310 0132 0132 1023 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 -1 1 0 0 0 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.666353492786 0.244797067844 5 3 6 3 0132 0132 0132 1023 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 1 0 0 -1 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.984847300461 1.974956022462 4 6 6 6 0132 3201 2310 1230 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 -1 0 1 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.002461316512 0.989914504145 5 5 5 4 3012 3201 2310 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.002461316512 0.989914504145 ==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' : negation(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' : negation(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_3'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0110_2'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_3']), '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0110_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0110_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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_5, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 197711006/7*c_0110_2^19 + 327268044*c_0110_2^18 + 4392079829/7*c_0110_2^17 - 33645121117/7*c_0110_2^16 - 124303917292/7*c_0110_2^15 + 195860026808/7*c_0110_2^14 + 98736487481*c_0110_2^13 - 47298161517*c_0110_2^12 - 1682121636817/7*c_0110_2^11 - 29758301360*c_0110_2^10 + 279568067806*c_0110_2^9 + 1127813432918/7*c_0110_2^8 - 851085886662/7*c_0110_2^7 - 1056952112743/7*c_0110_2^6 - 182054471782/7*c_0110_2^5 + 249884302266/7*c_0110_2^4 + 179142019722/7*c_0110_2^3 + 53566242672/7*c_0110_2^2 + 7940675460/7*c_0110_2 + 479066247/7, c_0011_0 - 1, c_0011_3 - 17*c_0110_2^19 - 203*c_0110_2^18 - 447*c_0110_2^17 + 2764*c_0110_2^16 + 11722*c_0110_2^15 - 13126*c_0110_2^14 - 65654*c_0110_2^13 + 7832*c_0110_2^12 + 156169*c_0110_2^11 + 68439*c_0110_2^10 - 165455*c_0110_2^9 - 157000*c_0110_2^8 + 42942*c_0110_2^7 + 119158*c_0110_2^6 + 46052*c_0110_2^5 - 18156*c_0110_2^4 - 23392*c_0110_2^3 - 9537*c_0110_2^2 - 1938*c_0110_2 - 170, c_0011_6 + 1016498*c_0110_2^19 + 11840550*c_0110_2^18 + 23282136*c_0110_2^17 - 171841399*c_0110_2^16 - 650106312*c_0110_2^15 + 971631866*c_0110_2^14 + 3627708212*c_0110_2^13 - 1510251701*c_0110_2^12 - 8820385105*c_0110_2^11 - 1541247221*c_0110_2^10 + 10161217439*c_0110_2^9 + 6380877945*c_0110_2^8 - 4224776574*c_0110_2^7 - 5755790948*c_0110_2^6 - 1156330192*c_0110_2^5 + 1304807138*c_0110_2^4 + 992806862*c_0110_2^3 + 306672692*c_0110_2^2 + 46727288*c_0110_2 + 2892926, c_0101_0 + c_0110_2^19 + 12*c_0110_2^18 + 27*c_0110_2^17 - 161*c_0110_2^16 - 699*c_0110_2^15 + 731*c_0110_2^14 + 3905*c_0110_2^13 - 231*c_0110_2^12 - 9200*c_0110_2^11 - 4567*c_0110_2^10 + 9464*c_0110_2^9 + 9792*c_0110_2^8 - 1950*c_0110_2^7 - 7124*c_0110_2^6 - 3128*c_0110_2^5 + 884*c_0110_2^4 + 1428*c_0110_2^3 + 645*c_0110_2^2 + 153*c_0110_2 + 18, c_0101_1 + 51949*c_0110_2^19 + 613548*c_0110_2^18 + 1284218*c_0110_2^17 - 8631587*c_0110_2^16 - 34716852*c_0110_2^15 + 44937901*c_0110_2^14 + 195580619*c_0110_2^13 - 51674786*c_0110_2^12 - 474815341*c_0110_2^11 - 141154036*c_0110_2^10 + 534713318*c_0110_2^9 + 403601173*c_0110_2^8 - 198011636*c_0110_2^7 - 337487536*c_0110_2^6 - 87296730*c_0110_2^5 + 69946517*c_0110_2^4 + 60141444*c_0110_2^3 + 19641973*c_0110_2^2 + 3118772*c_0110_2 + 199801, c_0101_5 - 152*c_0110_2^19 - 1808*c_0110_2^18 - 3913*c_0110_2^17 + 24892*c_0110_2^16 + 103645*c_0110_2^15 - 122135*c_0110_2^14 - 581165*c_0110_2^13 + 96861*c_0110_2^12 + 1390799*c_0110_2^11 + 547215*c_0110_2^10 - 1502400*c_0110_2^9 - 1332393*c_0110_2^8 + 443608*c_0110_2^7 + 1041856*c_0110_2^6 + 363422*c_0110_2^5 - 177292*c_0110_2^4 - 199784*c_0110_2^3 - 76076*c_0110_2^2 - 14212*c_0110_2 - 1104, c_0110_2^20 + 12*c_0110_2^19 + 27*c_0110_2^18 - 161*c_0110_2^17 - 699*c_0110_2^16 + 731*c_0110_2^15 + 3905*c_0110_2^14 - 231*c_0110_2^13 - 9200*c_0110_2^12 - 4567*c_0110_2^11 + 9464*c_0110_2^10 + 9792*c_0110_2^9 - 1950*c_0110_2^8 - 7124*c_0110_2^7 - 3128*c_0110_2^6 + 884*c_0110_2^5 + 1428*c_0110_2^4 + 645*c_0110_2^3 + 152*c_0110_2^2 + 19*c_0110_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB