Magma V2.19-8 Tue Aug 20 2013 16:18:01 on localhost [Seed = 2084430002] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2255 geometric_solution 5.68431433 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 1.609682019946 0.395274040496 0 2 3 0 3201 0132 0132 0132 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 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.925377451009 0.568514262924 4 1 3 5 0132 0132 1302 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 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.488376628613 0.695443902911 2 5 4 1 2031 2310 0132 0132 0 0 0 0 0 1 0 -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 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.488376628613 0.695443902911 2 6 6 3 0132 0132 1023 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 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.285142166018 0.410676749087 5 5 2 3 1302 2031 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.419310342453 0.464760423278 6 4 4 6 3201 0132 1023 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 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.436975044304 0.876736456324 ==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' : negation(d['c_0011_1']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0110_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0110_5']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0011_3, c_0011_5, c_0101_0, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 83728997827945643/20920917481413711*c_0101_6*c_0110_5^15 - 770667055102228982/20920917481413711*c_0101_6*c_0110_5^14 - 584152141999761337/20920917481413711*c_0101_6*c_0110_5^13 + 2463855350694178268/6973639160471237*c_0101_6*c_0110_5^12 + 7623285156320881445/20920917481413711*c_0101_6*c_0110_5^11 - 33764963214199256723/20920917481413711*c_0101_6*c_0110_5^10 - 3391013041522310593/6973639160471237*c_0101_6*c_0110_5^9 + 77244914963740972928/20920917481413711*c_0101_6*c_0110_5^8 - 16469508253619113820/20920917481413711*c_0101_6*c_0110_5^7 - 28527541845157782613/6973639160471237*c_0101_6*c_0110_5^6 + 39337665981968911280/20920917481413711*c_0101_6*c_0110_5^5 + 14693666678455894980/6973639160471237*c_0101_6*c_0110_5^4 - 7821239088942015332/6973639160471237*c_0101_6*c_0110_5^3 - 8189141250333443837/20920917481413711*c_0101_6*c_0110_5^2 + 4521746687636788099/20920917481413711*c_0101_6*c_0110_5 - 810977180123568649/20920917481413711*c_0101_6, c_0011_0 - 1, c_0011_1 - 2825565562683661/6973639160471237*c_0110_5^15 - 25000638726631412/6973639160471237*c_0110_5^14 - 12409390188185471/6973639160471237*c_0110_5^13 + 240474448868950539/6973639160471237*c_0110_5^12 + 170605375792756527/6973639160471237*c_0110_5^11 - 1068910555315994596/6973639160471237*c_0110_5^10 + 65298094607256733/6973639160471237*c_0110_5^9 + 2014093000989056931/6973639160471237*c_0110_5^8 - 911671539353400786/6973639160471237*c_0110_5^7 - 1812324472278638675/6973639160471237*c_0110_5^6 + 1098416475859938245/6973639160471237*c_0110_5^5 + 834974163312582157/6973639160471237*c_0110_5^4 - 475750423251534247/6973639160471237*c_0110_5^3 - 170492110419862022/6973639160471237*c_0110_5^2 + 71350638883243663/6973639160471237*c_0110_5 + 2409813271701537/6973639160471237, c_0011_3 - 4992198360944458/6973639160471237*c_0101_6*c_0110_5^15 - 41323084300992634/6973639160471237*c_0101_6*c_0110_5^14 + 3427178133461292/6973639160471237*c_0101_6*c_0110_5^13 + 440153889284030323/6973639160471237*c_0101_6*c_0110_5^12 + 72449894333674715/6973639160471237*c_0101_6*c_0110_5^11 - 2064644672463212542/6973639160471237*c_0101_6*c_0110_5^10 + 1074345551537191422/6973639160471237*c_0101_6*c_0110_5^9 + 3460544406436586057/6973639160471237*c_0101_6*c_0110_5^8 - 3207188682006927567/6973639160471237*c_0101_6*c_0110_5^7 - 2456766007696625930/6973639160471237*c_0101_6*c_0110_5^6 + 3149907752001485866/6973639160471237*c_0101_6*c_0110_5^5 + 821297683633795585/6973639160471237*c_0101_6*c_0110_5^4 - 1343443321498345964/6973639160471237*c_0101_6*c_0110_5^3 - 108853941383181833/6973639160471237*c_0101_6*c_0110_5^2 + 223949410128394505/6973639160471237*c_0101_6*c_0110_5 - 18368272184575173/6973639160471237*c_0101_6, c_0011_5 - 2072965825253191/6973639160471237*c_0101_6*c_0110_5^15 - 16087068459270170/6973639160471237*c_0101_6*c_0110_5^14 + 11242968684134119/6973639160471237*c_0101_6*c_0110_5^13 + 190746046474791553/6973639160471237*c_0101_6*c_0110_5^12 - 57011238671479743/6973639160471237*c_0101_6*c_0110_5^11 - 949174111850816185/6973639160471237*c_0101_6*c_0110_5^10 + 807546149827384689/6973639160471237*c_0101_6*c_0110_5^9 + 1522201949319623821/6973639160471237*c_0101_6*c_0110_5^8 - 2008801958979038631/6973639160471237*c_0101_6*c_0110_5^7 - 930659151771113729/6973639160471237*c_0101_6*c_0110_5^6 + 1979857052623800593/6973639160471237*c_0101_6*c_0110_5^5 + 191136258607493959/6973639160471237*c_0101_6*c_0110_5^4 - 917297352736826826/6973639160471237*c_0101_6*c_0110_5^3 + 24108751727060472/6973639160471237*c_0101_6*c_0110_5^2 + 166114600332653670/6973639160471237*c_0101_6*c_0110_5 - 15018472803712927/6973639160471237*c_0101_6, c_0101_0 + 1287464229323224/6973639160471237*c_0110_5^15 + 11666883637120695/6973639160471237*c_0110_5^14 + 8419288953348414/6973639160471237*c_0110_5^13 - 105265685072388046/6973639160471237*c_0110_5^12 - 97987950533277246/6973639160471237*c_0110_5^11 + 443817013097606566/6973639160471237*c_0110_5^10 + 39004830293741890/6973639160471237*c_0110_5^9 - 815678939363829780/6973639160471237*c_0110_5^8 + 275970013203352293/6973639160471237*c_0110_5^7 + 693175868246760668/6973639160471237*c_0110_5^6 - 334035910414160112/6973639160471237*c_0110_5^5 - 256299082520005159/6973639160471237*c_0110_5^4 + 112646606959017467/6973639160471237*c_0110_5^3 + 5871587508567330/6973639160471237*c_0110_5^2 - 7082922831695731/6973639160471237*c_0110_5 + 10186113783703581/6973639160471237, c_0101_6^2 + 2792660981471788/6973639160471237*c_0110_5^15 + 25812410633427468/6973639160471237*c_0110_5^14 + 22728138802804558/6973639160471237*c_0110_5^13 - 226429318086770988/6973639160471237*c_0110_5^12 - 257617009631133745/6973639160471237*c_0110_5^11 + 933337439828546023/6973639160471237*c_0110_5^10 + 297703233510992895/6973639160471237*c_0110_5^9 - 1784080197571899916/6973639160471237*c_0110_5^8 + 141647880222494681/6973639160471237*c_0110_5^7 + 1742401501427936775/6973639160471237*c_0110_5^6 - 276305460007701135/6973639160471237*c_0110_5^5 - 913569969715344991/6973639160471237*c_0110_5^4 + 58253083224923280/6973639160471237*c_0110_5^3 + 201906410713029604/6973639160471237*c_0110_5^2 - 895871924532134/6973639160471237*c_0110_5 - 11769964061895063/6973639160471237, c_0110_5^16 + 8*c_0110_5^15 - 3*c_0110_5^14 - 88*c_0110_5^13 + 11*c_0110_5^12 + 420*c_0110_5^11 - 338*c_0110_5^10 - 649*c_0110_5^9 + 870*c_0110_5^8 + 325*c_0110_5^7 - 829*c_0110_5^6 + 26*c_0110_5^5 + 354*c_0110_5^4 - 68*c_0110_5^3 - 58*c_0110_5^2 + 18*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB