Magma V2.19-8 Tue Aug 20 2013 16:17:17 on localhost [Seed = 223121883] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1526 geometric_solution 5.32337714 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.482159252573 0.158209953184 2 0 2 0 0132 2310 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 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.645435323473 0.456178701362 1 3 1 4 0132 0132 1023 0132 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.412701699810 1.151614883892 5 2 6 4 0132 0132 0132 2310 0 0 0 0 0 0 0 0 -1 0 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 -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 0.007279719940 0.923116634245 3 6 2 5 3201 1023 0132 3201 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.007279719940 0.923116634245 3 4 5 5 0132 2310 2031 1302 0 0 0 0 0 0 -1 1 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 0 0 0 1 0 0 -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.389672099695 0.341161420847 4 6 6 3 1023 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.490370588067 0.960928690275 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_6'], '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_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 204343198330682750846434733281048031/245648787790246829433039870545\ 518600*c_0101_6^22 - 14796632748888242070617168749631209317/1228243\ 93895123414716519935272759300*c_0101_6^20 + 627562741987564645547721769438969117753/245648787790246829433039870\ 545518600*c_0101_6^18 - 5687228477967094566573199121479082059199/24\ 5648787790246829433039870545518600*c_0101_6^16 + 26071877477887631422259869630502141531007/2456487877902468294330398\ 70545518600*c_0101_6^14 - 61267713644234823529027024060340898818147\ /245648787790246829433039870545518600*c_0101_6^12 + 2032228848008921235062784420477458705091/64644417839538639324484176\ 45934700*c_0101_6^10 - 1551773099870377930339170718618304019859/446\ 6341596186305989691634009918520*c_0101_6^8 + 56765186810888173389366747148832044468439/2456487877902468294330398\ 70545518600*c_0101_6^6 - 11887409530005482216779294410254395677673/\ 245648787790246829433039870545518600*c_0101_6^4 + 1324771751923835201965442022144876047881/24564878779024682943303987\ 0545518600*c_0101_6^2 - 123337168451019260279612623740174290021/245\ 648787790246829433039870545518600, c_0011_0 - 1, c_0011_1 + 1186051831847672000205607941042/1469191314534969075556458555\ 89425*c_0101_6^22 - 171736349584838400560768042426188/1469191314534\ 96907555645855589425*c_0101_6^20 + 3638281245707822974169766439334821/14691913145349690755564585558942\ 5*c_0101_6^18 - 32922552228497226798397551053277043/146919131453496\ 907555645855589425*c_0101_6^16 + 1505674990365574625093018099965147\ 99/146919131453496907555645855589425*c_0101_6^14 - 352376136780048381249755328247704279/146919131453496907555645855589\ 425*c_0101_6^12 + 441695452799454627864535738271089556/146919131453\ 496907555645855589425*c_0101_6^10 - 97867763341638243451021328807599658/2938382629069938151112917111788\ 5*c_0101_6^8 + 323096454770092781853450536647643023/146919131453496\ 907555645855589425*c_0101_6^6 - 67376555784481763535594257805941161\ /146919131453496907555645855589425*c_0101_6^4 + 9678319977830429423266018760126142/14691913145349690755564585558942\ 5*c_0101_6^2 - 761345192776650233080617409735122/146919131453496907\ 555645855589425, c_0011_4 + 193320761934621028284295117702551/12282439389512341471651993\ 5272759300*c_0101_6^23 - 14014065133219168184035667096213537/614121\ 96947561707358259967636379650*c_0101_6^21 + 598222041404090716942151858616646893/122824393895123414716519935272\ 759300*c_0101_6^19 - 5476037563082636414230411019496669379/12282439\ 3895123414716519935272759300*c_0101_6^17 + 25530604543147547806500196166705902387/1228243938951234147165199352\ 72759300*c_0101_6^15 - 61917754700157224518516172628249088967/12282\ 4393895123414716519935272759300*c_0101_6^13 + 2165543547232612543779606310790719191/32322208919769319662242088229\ 67350*c_0101_6^11 - 1676044837931376627655076316274825827/223317079\ 8093152994845817004959260*c_0101_6^9 + 66147164009074903885000644722892404079/1228243938951234147165199352\ 72759300*c_0101_6^7 - 19294062327198777009434378733308917513/122824\ 393895123414716519935272759300*c_0101_6^5 + 2431054268811651648325681431926673401/12282439389512341471651993527\ 2759300*c_0101_6^3 - 179802801639136208410269941959185801/122824393\ 895123414716519935272759300*c_0101_6, c_0101_0 - 2384550160032685195215481129439/1616110445988465983112104411\ 483675*c_0101_6^23 + 343951564629261665948752394560001/161611044598\ 8465983112104411483675*c_0101_6^21 - 7123348179526758133485223384599597/16161104459884659831121044114836\ 75*c_0101_6^19 + 62163196353479679941737358646889731/16161104459884\ 65983112104411483675*c_0101_6^17 - 266657861642772292372216820380935628/161611044598846598311210441148\ 3675*c_0101_6^15 + 546537325745923444311787715598370483/16161104459\ 88465983112104411483675*c_0101_6^13 - 522380832644464303584510276453152422/161611044598846598311210441148\ 3675*c_0101_6^11 + 2014317278149620931669313205480472/5876765258139\ 876302225834223577*c_0101_6^9 - 17902306863363839169345415131879904\ 6/1616110445988465983112104411483675*c_0101_6^7 - 142603103299762727955106193577625123/161611044598846598311210441148\ 3675*c_0101_6^5 + 3794303869717856751846529930423561/16161104459884\ 65983112104411483675*c_0101_6^3 - 145144445876337510701204250447449\ 6/1616110445988465983112104411483675*c_0101_6, c_0101_1 - 1466242885144558223560011861026/1469191314534969075556458555\ 89425*c_0101_6^22 + 212336085834889242046584066149334/1469191314534\ 96907555645855589425*c_0101_6^20 - 4501979995427080229270325532101548/14691913145349690755564585558942\ 5*c_0101_6^18 + 40788644070452033394284511601995879/146919131453496\ 907555645855589425*c_0101_6^16 - 1869331924753334257474699705979152\ 27/146919131453496907555645855589425*c_0101_6^14 + 439223793046436842517442586906995247/146919131453496907555645855589\ 425*c_0101_6^12 - 554322548505104034441547397169652173/146919131453\ 496907555645855589425*c_0101_6^10 + 24601271323618655342952046893684570/5876765258139876302225834223577\ *c_0101_6^8 - 410526805951377203559539000258868289/1469191314534969\ 07555645855589425*c_0101_6^6 + 90001197285405453164501231635196643/\ 146919131453496907555645855589425*c_0101_6^4 - 13049742373754429730729497630204226/1469191314534969075556458555894\ 25*c_0101_6^2 + 1029369676666250573775093546918561/1469191314534969\ 07555645855589425, c_0101_3 - 30481342927783277911873514784781/614121969475617073582599676\ 36379650*c_0101_6^23 + 2220984007535956219109215554416412/307060984\ 73780853679129983818189825*c_0101_6^21 - 97609193499126438252525214493879323/6141219694756170735825996763637\ 9650*c_0101_6^19 + 932829041701520268211704652632175249/61412196947\ 561707358259967636379650*c_0101_6^17 - 4650644531798727810343689821679333017/61412196947561707358259967636\ 379650*c_0101_6^15 + 12599810784922014504751861234804477017/6141219\ 6947561707358259967636379650*c_0101_6^13 - 513668304760658848099236555134871736/161611044598846598311210441148\ 3675*c_0101_6^11 + 409877126721197188750692834686281521/11165853990\ 46576497422908502479630*c_0101_6^9 - 19270157325778245514713839832140700829/6141219694756170735825996763\ 6379650*c_0101_6^7 + 8613370886332623096079044384530897993/61412196\ 947561707358259967636379650*c_0101_6^5 - 1384249524810370850230980280257363381/61412196947561707358259967636\ 379650*c_0101_6^3 + 147931192983452642659009852015914761/6141219694\ 7561707358259967636379650*c_0101_6, c_0101_6^24 - 145*c_0101_6^22 + 3097*c_0101_6^20 - 28382*c_0101_6^18 + 132596*c_0101_6^16 - 322944*c_0101_6^14 + 432965*c_0101_6^12 - 488653*c_0101_6^10 + 356714*c_0101_6^8 - 112522*c_0101_6^6 + 19924*c_0101_6^4 - 2272*c_0101_6^2 + 121 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB