Magma V2.19-8 Tue Aug 20 2013 16:16:12 on localhost [Seed = 2901225583] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0457 geometric_solution 4.49541981 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 -1 0 1 -1 0 0 1 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 0 1 -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 -5.815603517829 1.389491706675 0 0 2 2 0132 3201 3201 0132 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 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.187615007150 0.051508720752 1 3 1 3 2310 0132 0132 2310 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 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 -1.253477806354 1.120448132330 2 2 5 4 3201 0132 0132 0132 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 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.674310953696 1.688738832243 6 5 3 5 0132 2031 0132 3012 0 0 0 0 0 0 -1 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 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.629288377266 0.578949886404 4 6 4 3 1302 3201 1230 0132 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 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.629288377266 0.578949886404 4 6 5 6 0132 1302 2310 2031 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 1 -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.408463030107 0.623403895429 ==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_4'], 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0101_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_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_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 3825526691812128966621363/1601725461202227317*c_0101_6^22 - 36190229257838198582575738/1601725461202227317*c_0101_6^21 + 87579000712293442720615220/1601725461202227317*c_0101_6^20 + 131438006410607391469289409/1601725461202227317*c_0101_6^19 - 709458905519806231357275646/1601725461202227317*c_0101_6^18 - 84580041881878911027810937/1601725461202227317*c_0101_6^17 + 3152499452488180158298146327/1601725461202227317*c_0101_6^16 - 1075603195850560859093358610/1601725461202227317*c_0101_6^15 - 8556901456660633378459875481/1601725461202227317*c_0101_6^14 + 4979238794465449990964494120/1601725461202227317*c_0101_6^13 + 15905156014936630371055347190/1601725461202227317*c_0101_6^12 - 15752482885013062673185951878/1601725461202227317*c_0101_6^11 - 14153784559799481370764934807/1601725461202227317*c_0101_6^10 + 20852652587564509687520369751/1601725461202227317*c_0101_6^9 + 5101103308229698825433088236/1601725461202227317*c_0101_6^8 - 13256601705784402584785518168/1601725461202227317*c_0101_6^7 + 20880780172802525496402713/1601725461202227317*c_0101_6^6 + 4330400777086185453910861079/1601725461202227317*c_0101_6^5 - 478130146531919531438560341/1601725461202227317*c_0101_6^4 - 698023261607787987666129367/1601725461202227317*c_0101_6^3 + 9915656409050710996741903/145611405563838847*c_0101_6^2 + 43566729236989117793404603/1601725461202227317*c_0101_6 - 7088710721045070887664893/1601725461202227317, c_0011_0 - 1, c_0011_2 - 11488378060034412852898/145611405563838847*c_0101_6^22 + 108594877894819129714490/145611405563838847*c_0101_6^21 - 262227528787558715564947/145611405563838847*c_0101_6^20 - 396297388188284128746691/145611405563838847*c_0101_6^19 + 2126702679711472686924207/145611405563838847*c_0101_6^18 + 268121754255159018473890/145611405563838847*c_0101_6^17 - 9457617075039513611672455/145611405563838847*c_0101_6^16 + 3163264421282438566429670/145611405563838847*c_0101_6^15 + 25685378486695719734440806/145611405563838847*c_0101_6^14 - 14763742930736599498127580/145611405563838847*c_0101_6^13 - 47775591829584982789941926/145611405563838847*c_0101_6^12 + 46936181243151582811740809/145611405563838847*c_0101_6^11 + 42664458060009559355300000/145611405563838847*c_0101_6^10 - 62211625558025447452758525/145611405563838847*c_0101_6^9 - 15573386328733417773003127/145611405563838847*c_0101_6^8 + 39555624226256219244129939/145611405563838847*c_0101_6^7 + 102577386010926397167400/145611405563838847*c_0101_6^6 - 12915284256939357966383671/145611405563838847*c_0101_6^5 + 1384987216575294295197917/145611405563838847*c_0101_6^4 + 2079606095270585206535258/145611405563838847*c_0101_6^3 - 320542575801496772565464/145611405563838847*c_0101_6^2 - 129549711580286084206731/145611405563838847*c_0101_6 + 20984128595553805757317/145611405563838847, c_0011_4 - 1183324628450661170844/145611405563838847*c_0101_6^22 + 11203638784598431011316/145611405563838847*c_0101_6^21 - 27171653642448374305243/145611405563838847*c_0101_6^20 - 40493439020511443344540/145611405563838847*c_0101_6^19 + 219859487815807518871361/145611405563838847*c_0101_6^18 + 24696187708457896110855/145611405563838847*c_0101_6^17 - 976177546704514186863696/145611405563838847*c_0101_6^16 + 339664886444667478063913/145611405563838847*c_0101_6^15 + 2648231218548617600026050/145611405563838847*c_0101_6^14 - 1559888840475244501946233/145611405563838847*c_0101_6^13 - 4919130619721344124796752/145611405563838847*c_0101_6^12 + 4911086832302209011286340/145611405563838847*c_0101_6^11 + 4362314505296683959517560/145611405563838847*c_0101_6^10 - 6493087602096704718225723/145611405563838847*c_0101_6^9 - 1552456045589428898052355/145611405563838847*c_0101_6^8 + 4127367119947271710474252/145611405563838847*c_0101_6^7 - 22908512295777084218514/145611405563838847*c_0101_6^6 - 1348914852817491897865225/145611405563838847*c_0101_6^5 + 152917719585109303790939/145611405563838847*c_0101_6^4 + 217663621539641387234615/145611405563838847*c_0101_6^3 - 34424540427991357326449/145611405563838847*c_0101_6^2 - 13609258700650004996870/145611405563838847*c_0101_6 + 2222300054048128440801/145611405563838847, c_0101_0 - 6741638924967791751858/145611405563838847*c_0101_6^22 + 63710737733018208931787/145611405563838847*c_0101_6^21 - 153745241664367291770820/145611405563838847*c_0101_6^20 - 232834102135568230155906/145611405563838847*c_0101_6^19 + 1247336348281135148222498/145611405563838847*c_0101_6^18 + 159802717552116111046855/145611405563838847*c_0101_6^17 - 5548348972867376048285809/145611405563838847*c_0101_6^16 + 1844673298706935420987759/145611405563838847*c_0101_6^15 + 15071035390295756039240241/145611405563838847*c_0101_6^14 - 8630997007404625577358244/145611405563838847*c_0101_6^13 - 28038510128345831956878709/145611405563838847*c_0101_6^12 + 27479636144637516591000255/145611405563838847*c_0101_6^11 + 25065526891809210410202031/145611405563838847*c_0101_6^10 - 36437672021578650798396233/145611405563838847*c_0101_6^9 - 9183825772325598488391305/145611405563838847*c_0101_6^8 + 23169827670866310070906822/145611405563838847*c_0101_6^7 + 88885194910433607291060/145611405563838847*c_0101_6^6 - 7564457429125372338752795/145611405563838847*c_0101_6^5 + 804078238250455103350349/145611405563838847*c_0101_6^4 + 1217692234318883913111134/145611405563838847*c_0101_6^3 - 186935884924221528234499/145611405563838847*c_0101_6^2 - 75817157090699001193743/145611405563838847*c_0101_6 + 12265400313228463122223/145611405563838847, c_0101_1 - 2185203898806703868995/145611405563838847*c_0101_6^22 + 20643885973045990467883/145611405563838847*c_0101_6^21 - 49773136712221795967478/145611405563838847*c_0101_6^20 - 75583156330470537621611/145611405563838847*c_0101_6^19 + 403966143619946099091626/145611405563838847*c_0101_6^18 + 52876942613710120284315/145611405563838847*c_0101_6^17 - 1797404801488662740366675/145611405563838847*c_0101_6^16 + 592647542695566726499125/145611405563838847*c_0101_6^15 + 4883040019308803186628078/145611405563838847*c_0101_6^14 - 2782335740530746841307487/145611405563838847*c_0101_6^13 - 9086298686707604172231541/145611405563838847*c_0101_6^12 + 8876583380458383373193024/145611405563838847*c_0101_6^11 + 8132198761199330694328598/145611405563838847*c_0101_6^10 - 11774037451260391529716328/145611405563838847*c_0101_6^9 - 2992598543875062798964262/145611405563838847*c_0101_6^8 + 7485126012983959182250143/145611405563838847*c_0101_6^7 + 40215503444011188312889/145611405563838847*c_0101_6^6 - 2442493037935214109819204/145611405563838847*c_0101_6^5 + 256831822489038629200388/145611405563838847*c_0101_6^4 + 392896297409943585051197/145611405563838847*c_0101_6^3 - 60024847996357386963183/145611405563838847*c_0101_6^2 - 24439825440946099061140/145611405563838847*c_0101_6 + 3947880178282842980903/145611405563838847, c_0101_4 + 617585424271932536791/145611405563838847*c_0101_6^22 - 5848399701401899386440/145611405563838847*c_0101_6^21 + 14190419195305981908620/145611405563838847*c_0101_6^20 + 21121231956359548737545/145611405563838847*c_0101_6^19 - 114816919613117929786532/145611405563838847*c_0101_6^18 - 12729219104511617183934/145611405563838847*c_0101_6^17 + 509751513266695863117144/145611405563838847*c_0101_6^16 - 178150202524436587191048/145611405563838847*c_0101_6^15 - 1382930114405440229738639/145611405563838847*c_0101_6^14 + 816887590243063888034371/145611405563838847*c_0101_6^13 + 2568840561123472536686057/145611405563838847*c_0101_6^12 - 2569128837613824240355057/145611405563838847*c_0101_6^11 - 2277522146005388843616371/145611405563838847*c_0101_6^10 + 3397551444934148861805794/145611405563838847*c_0101_6^9 + 808829272835673562485406/145611405563838847*c_0101_6^8 - 2161200998963662154567321/145611405563838847*c_0101_6^7 + 13945175316508898565996/145611405563838847*c_0101_6^6 + 707001035223987804056438/145611405563838847*c_0101_6^5 - 80718507218466035901888/145611405563838847*c_0101_6^4 - 114214588449738866201956/145611405563838847*c_0101_6^3 + 18132621402735798101149/145611405563838847*c_0101_6^2 + 7150889864759921899091/145611405563838847*c_0101_6 - 1169082814859963228831/145611405563838847, c_0101_6^23 - 10*c_0101_6^22 + 28*c_0101_6^21 + 22*c_0101_6^20 - 204*c_0101_6^19 + 78*c_0101_6^18 + 836*c_0101_6^17 - 726*c_0101_6^16 - 2085*c_0101_6^15 + 2509*c_0101_6^14 + 3455*c_0101_6^13 - 6362*c_0101_6^12 - 1477*c_0101_6^11 + 7448*c_0101_6^10 - 1609*c_0101_6^9 - 4185*c_0101_6^8 + 1876*c_0101_6^7 + 1129*c_0101_6^6 - 736*c_0101_6^5 - 115*c_0101_6^4 + 127*c_0101_6^3 - 4*c_0101_6^2 - 8*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB