Magma V2.19-8 Tue Aug 20 2013 16:16:03 on localhost [Seed = 4004475432] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0310 geometric_solution 4.34828281 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 3201 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 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 -1.118146269247 0.922236828093 0 0 4 3 0132 2310 0132 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 -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.048658709685 0.137407919400 0 0 2 2 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.229415712356 0.484426232807 4 5 1 6 1230 0132 0132 0132 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 -1 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.242407837641 1.559817080928 6 3 5 1 1302 3012 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 -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.242407837641 1.559817080928 6 3 6 4 3012 0132 2103 3012 0 0 0 0 0 0 -1 1 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 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.106860859813 0.825170662113 5 4 3 5 2103 2031 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1.154350523676 1.191881892419 ==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_0110_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0110_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0110_5'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0110_5'], 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0011_6'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_6']), 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0011_6'], '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_3, c_0011_4, c_0011_6, c_0101_0, c_0101_2, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 68927702343223549/7442770113493777*c_0110_5^12 - 514511402475251545/7442770113493777*c_0110_5^11 - 2484620210440230468/7442770113493777*c_0110_5^10 - 5306469431080355974/7442770113493777*c_0110_5^9 - 4761895198343327817/7442770113493777*c_0110_5^8 + 15776614845607420522/7442770113493777*c_0110_5^7 + 36308687899839516009/7442770113493777*c_0110_5^6 + 4580123352969131006/7442770113493777*c_0110_5^5 - 46606706253060126605/7442770113493777*c_0110_5^4 - 997978871054548913/181530978377897*c_0110_5^3 + 1458127381523993363/7442770113493777*c_0110_5^2 + 15848530110619358098/7442770113493777*c_0110_5 + 5793990994085417649/7442770113493777, c_0011_0 - 1, c_0011_3 + 25873788942116/181530978377897*c_0110_5^12 + 180814498377788/181530978377897*c_0110_5^11 + 847870928995775/181530978377897*c_0110_5^10 + 1598407494764063/181530978377897*c_0110_5^9 + 1075398456169100/181530978377897*c_0110_5^8 - 6327264627698050/181530978377897*c_0110_5^7 - 10541152008186123/181530978377897*c_0110_5^6 + 2938735772612720/181530978377897*c_0110_5^5 + 15216338514309466/181530978377897*c_0110_5^4 + 8115146911099837/181530978377897*c_0110_5^3 - 3083639722775320/181530978377897*c_0110_5^2 - 3747757394971615/181530978377897*c_0110_5 - 784670825327673/181530978377897, c_0011_4 + 25873788942116/181530978377897*c_0110_5^12 + 180814498377788/181530978377897*c_0110_5^11 + 847870928995775/181530978377897*c_0110_5^10 + 1598407494764063/181530978377897*c_0110_5^9 + 1075398456169100/181530978377897*c_0110_5^8 - 6327264627698050/181530978377897*c_0110_5^7 - 10541152008186123/181530978377897*c_0110_5^6 + 2938735772612720/181530978377897*c_0110_5^5 + 15216338514309466/181530978377897*c_0110_5^4 + 8115146911099837/181530978377897*c_0110_5^3 - 3083639722775320/181530978377897*c_0110_5^2 - 3747757394971615/181530978377897*c_0110_5 - 784670825327673/181530978377897, c_0011_6 - 16409821640376/181530978377897*c_0110_5^12 - 125400160944534/181530978377897*c_0110_5^11 - 609834137319300/181530978377897*c_0110_5^10 - 1346886468977836/181530978377897*c_0110_5^9 - 1261924755305091/181530978377897*c_0110_5^8 + 3692473604093890/181530978377897*c_0110_5^7 + 9334652610151521/181530978377897*c_0110_5^6 + 1721590963552394/181530978377897*c_0110_5^5 - 11694459611319053/181530978377897*c_0110_5^4 - 10694904767744724/181530978377897*c_0110_5^3 + 277861979150662/181530978377897*c_0110_5^2 + 3960842051404665/181530978377897*c_0110_5 + 1313355355063086/181530978377897, c_0101_0 - 42452477298433/181530978377897*c_0110_5^12 - 326804454526080/181530978377897*c_0110_5^11 - 1589652779714428/181530978377897*c_0110_5^10 - 3531993859386803/181530978377897*c_0110_5^9 - 3271821466338367/181530978377897*c_0110_5^8 + 9684467414593129/181530978377897*c_0110_5^7 + 24848052808154793/181530978377897*c_0110_5^6 + 4321180436529437/181530978377897*c_0110_5^5 - 31816870539134599/181530978377897*c_0110_5^4 - 27934209993237631/181530978377897*c_0110_5^3 + 1458099118966203/181530978377897*c_0110_5^2 + 10685772397323693/181530978377897*c_0110_5 + 3497073009691038/181530978377897, c_0101_2 + 55913945942027/181530978377897*c_0110_5^12 + 416916069178019/181530978377897*c_0110_5^11 + 2010578596558897/181530978377897*c_0110_5^10 + 4279327105485029/181530978377897*c_0110_5^9 + 3790097415320357/181530978377897*c_0110_5^8 - 12865252894333613/181530978377897*c_0110_5^7 - 29309595999461294/181530978377897*c_0110_5^6 - 3040660845513239/181530978377897*c_0110_5^5 + 38005286710139387/181530978377897*c_0110_5^4 + 32066181872718702/181530978377897*c_0110_5^3 - 1974070911355938/181530978377897*c_0110_5^2 - 12500208156921509/181530978377897*c_0110_5 - 4189720605350046/181530978377897, c_0110_5^13 + 8*c_0110_5^12 + 40*c_0110_5^11 + 96*c_0110_5^10 + 109*c_0110_5^9 - 194*c_0110_5^8 - 650*c_0110_5^7 - 337*c_0110_5^6 + 654*c_0110_5^5 + 943*c_0110_5^4 + 273*c_0110_5^3 - 244*c_0110_5^2 - 197*c_0110_5 - 41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB