Magma V2.19-8 Tue Aug 20 2013 16:17:30 on localhost [Seed = 711702259] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1729 geometric_solution 5.43482150 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 1 0 -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.325088840752 0.765587925092 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 1 -1 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 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.846154618746 1.108452689194 1 3 0 4 1230 2310 0132 3201 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 -1 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 0.846154618746 1.108452689194 1 5 5 2 0132 0132 1023 3201 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 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.867111512882 0.505356783569 6 2 6 1 0132 2310 2310 0132 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 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.063616168956 1.155285010816 5 3 3 5 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.574366345966 0.436751237895 4 4 6 6 0132 3201 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 0.448054810244 0.111918225242 ==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_0101_1'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0011_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 7467193428772100263875357901/1341902127445236099184374746*c_0101_5^\ 19 + 14226277956079194956215698274/670951063722618049592187373*c_01\ 01_5^18 - 479465342555366314598822990831/67095106372261804959218737\ 30*c_0101_5^17 - 228875938785976390734823170371/6099555124751073178\ 11079430*c_0101_5^16 + 47526753694911357069292394097/13419021274452\ 36099184374746*c_0101_5^15 + 6527173310852359936719020180444/335475\ 5318613090247960936865*c_0101_5^14 + 1152138922616122644431227650873/670951063722618049592187373*c_0101_\ 5^13 - 11294723511803352490397083417126/335475531861309024796093686\ 5*c_0101_5^12 - 34740286148478118933554011307483/670951063722618049\ 5921873730*c_0101_5^11 + 5400359935934654971649571913608/3354755318\ 613090247960936865*c_0101_5^10 + 8008690175666051907416455258713/13\ 41902127445236099184374746*c_0101_5^9 + 2638674438075563659236090542494/3354755318613090247960936865*c_0101\ _5^8 - 25974282945138192314495386276399/670951063722618049592187373\ 0*c_0101_5^7 - 3441579222742339564085428649081/33547553186130902479\ 60936865*c_0101_5^6 + 6340331270355317435328123748249/3354755318613\ 090247960936865*c_0101_5^5 + 4928910370968223950419073700133/670951\ 0637226180495921873730*c_0101_5^4 - 1423299949799989227225089477107/3354755318613090247960936865*c_0101\ _5^3 - 2247608595257374133326783156363/6709510637226180495921873730\ *c_0101_5^2 + 149696942758205438342387897447/6709510637226180495921\ 873730*c_0101_5 + 53006006347832011127491042093/6709510637226180495\ 921873730, c_0011_0 - 1, c_0011_1 + 86153052703370106436525570/60995551247510731781107943*c_0101\ _5^19 + 449234068756018860187917960/60995551247510731781107943*c_01\ 01_5^18 - 702919772932573440987177903/121991102495021463562215886*c\ _0101_5^17 - 11270184220662471827634798183/121991102495021463562215\ 886*c_0101_5^16 - 15366348420550628091957800373/1219911024950214635\ 62215886*c_0101_5^15 + 23094581066186369006617486995/12199110249502\ 1463562215886*c_0101_5^14 + 60237990599122508674702471871/121991102\ 495021463562215886*c_0101_5^13 + 113790182050304317771211356/609955\ 51247510731781107943*c_0101_5^12 - 82253963151423102420094502561/121991102495021463562215886*c_0101_5^\ 11 - 37923441508182644214054913877/121991102495021463562215886*c_01\ 01_5^10 + 56370891030944867641266287011/121991102495021463562215886\ *c_0101_5^9 + 20916139828123844518052747648/60995551247510731781107\ 943*c_0101_5^8 - 14006180261554438686824149390/60995551247510731781\ 107943*c_0101_5^7 - 12903514698445779642612862585/60995551247510731\ 781107943*c_0101_5^6 + 8884543078153413014223069583/121991102495021\ 463562215886*c_0101_5^5 + 10793474445500532067698231673/12199110249\ 5021463562215886*c_0101_5^4 + 423451437922999645709906471/609955512\ 47510731781107943*c_0101_5^3 - 1157327201415250289360213094/6099555\ 1247510731781107943*c_0101_5^2 - 72684491925895550631046954/6099555\ 1247510731781107943*c_0101_5 - 78828139027838866652921689/121991102\ 495021463562215886, c_0011_4 + 112593037622598973808333095/121991102495021463562215886*c_01\ 01_5^19 + 604116175973066789800025145/121991102495021463562215886*c\ _0101_5^18 - 380536904670591035416025349/12199110249502146356221588\ 6*c_0101_5^17 - 7486139511551605532665122421/1219911024950214635622\ 15886*c_0101_5^16 - 11114965934606424473246873289/12199110249502146\ 3562215886*c_0101_5^15 + 7110076326245275672166890531/6099555124751\ 0731781107943*c_0101_5^14 + 42516132034372882314683848391/121991102\ 495021463562215886*c_0101_5^13 + 4830518513855318212348430073/12199\ 1102495021463562215886*c_0101_5^12 - 56823163159138093773123674401/121991102495021463562215886*c_0101_5^\ 11 - 16337394941484538155063053704/60995551247510731781107943*c_010\ 1_5^10 + 18394483797798713718487324694/60995551247510731781107943*c\ _0101_5^9 + 16909894759763129555256339101/6099555124751073178110794\ 3*c_0101_5^8 - 16513087970250597750022350225/1219911024950214635622\ 15886*c_0101_5^7 - 20285262994356155986059082845/121991102495021463\ 562215886*c_0101_5^6 + 2259095059550334759673019816/609955512475107\ 31781107943*c_0101_5^5 + 4003953209446248656054395362/6099555124751\ 0731781107943*c_0101_5^4 + 595255041372564665110239390/609955512475\ 10731781107943*c_0101_5^3 - 1243724888739269496858385181/1219911024\ 95021463562215886*c_0101_5^2 - 178238791336901387870513206/60995551\ 247510731781107943*c_0101_5 - 20556022528520831596009837/6099555124\ 7510731781107943, c_0101_0 - 149768070916015924953996435/121991102495021463562215886*c_01\ 01_5^19 - 752367713019017389582713365/121991102495021463562215886*c\ _0101_5^18 + 760544286561297973948904847/12199110249502146356221588\ 6*c_0101_5^17 + 9702395171789346344447929139/1219911024950214635622\ 15886*c_0101_5^16 + 11585564048610169583387148361/12199110249502146\ 3562215886*c_0101_5^15 - 11370515984599700317067666648/609955512475\ 10731781107943*c_0101_5^14 - 49777757951811384813882743821/12199110\ 2495021463562215886*c_0101_5^13 + 8230356447910062633837868609/1219\ 91102495021463562215886*c_0101_5^12 + 73607179514713344667568450293/121991102495021463562215886*c_0101_5^\ 11 + 12243340580996273249460198899/60995551247510731781107943*c_010\ 1_5^10 - 27432747077651879152634654974/60995551247510731781107943*c\ _0101_5^9 - 16267703961336540591200357950/6099555124751073178110794\ 3*c_0101_5^8 + 28660962598639587486819385833/1219911024950214635622\ 15886*c_0101_5^7 + 21012264428452608187183331331/121991102495021463\ 562215886*c_0101_5^6 - 4915005924758941139972068577/609955512475107\ 31781107943*c_0101_5^5 - 4714885757116633828580465908/6099555124751\ 0731781107943*c_0101_5^4 - 100355827428731374500432302/609955512475\ 10731781107943*c_0101_5^3 + 2324222530931407933461121813/1219911024\ 95021463562215886*c_0101_5^2 + 83242666907187309106176499/609955512\ 47510731781107943*c_0101_5 + 30765033541033006926380886/60995551247\ 510731781107943, c_0101_1 - 27856868580509359879279355/121991102495021463562215886*c_010\ 1_5^19 - 158929078131342467139477255/121991102495021463562215886*c_\ 0101_5^18 + 46139473773916537192625711/121991102495021463562215886*\ c_0101_5^17 + 1891717068904526731160171599/121991102495021463562215\ 886*c_0101_5^16 + 3334618158021399957690522797/12199110249502146356\ 2215886*c_0101_5^15 - 1361018839934213430171569542/6099555124751073\ 1781107943*c_0101_5^14 - 11516148436296749662461083245/121991102495\ 021463562215886*c_0101_5^13 - 3969324046446356559267415083/12199110\ 2495021463562215886*c_0101_5^12 + 13408878960377477502607985749/121\ 991102495021463562215886*c_0101_5^11 + 5411762934208561206787455625/60995551247510731781107943*c_0101_5^10 - 3366056378720043049061393104/60995551247510731781107943*c_0101_5^\ 9 - 4525270521541527051693714708/60995551247510731781107943*c_0101_\ 5^8 + 2326189410929927505911798877/121991102495021463562215886*c_01\ 01_5^7 + 4885677224054351170477206799/121991102495021463562215886*c\ _0101_5^6 - 171220124813477366048613379/60995551247510731781107943*\ c_0101_5^5 - 831773069562159207367034871/60995551247510731781107943\ *c_0101_5^4 - 348997705242890663909590555/6099555124751073178110794\ 3*c_0101_5^3 + 645179793035622816508283/121991102495021463562215886\ *c_0101_5^2 + 121299666712905973792634825/6099555124751073178110794\ 3*c_0101_5 + 4994938561245645749189321/60995551247510731781107943, c_0101_4 + 25343041854478138160648905/121991102495021463562215886*c_010\ 1_5^19 + 163012397816584375169623195/121991102495021463562215886*c_\ 0101_5^18 + 32695714675307947461417897/60995551247510731781107943*c\ _0101_5^17 - 875785751467945800517924711/60995551247510731781107943\ *c_0101_5^16 - 2176594762106027517624601607/60995551247510731781107\ 943*c_0101_5^15 + 185262915108853840720802115/121991102495021463562\ 215886*c_0101_5^14 + 6423726733212945515072763261/60995551247510731\ 781107943*c_0101_5^13 + 12425702480488579805064071317/1219911024950\ 21463562215886*c_0101_5^12 - 5346610056510688672239653541/609955512\ 47510731781107943*c_0101_5^11 - 22676452338777888574270228629/12199\ 1102495021463562215886*c_0101_5^10 - 1041714372772845900275376293/121991102495021463562215886*c_0101_5^9 + 9106698542130955390506264277/60995551247510731781107943*c_0101_5^\ 8 + 5693606744790875842788023327/121991102495021463562215886*c_0101\ _5^7 - 10087517624777295972479026569/121991102495021463562215886*c_\ 0101_5^6 - 4869987593785023336866968309/121991102495021463562215886\ *c_0101_5^5 + 3948738306400697244549022865/121991102495021463562215\ 886*c_0101_5^4 + 1285563582694341194436972014/609955512475107317811\ 07943*c_0101_5^3 - 548553818487511700183513763/12199110249502146356\ 2215886*c_0101_5^2 - 154945231016353274626771156/609955512475107317\ 81107943*c_0101_5 - 40631526824296405583978913/12199110249502146356\ 2215886, c_0101_5^20 + 5*c_0101_5^19 - 26/5*c_0101_5^18 - 323/5*c_0101_5^17 - 377/5*c_0101_5^16 + 768/5*c_0101_5^15 + 1621/5*c_0101_5^14 - 352/5*c_0101_5^13 - 2422/5*c_0101_5^12 - 130*c_0101_5^11 + 1882/5*c_0101_5^10 + 933/5*c_0101_5^9 - 1053/5*c_0101_5^8 - 123*c_0101_5^7 + 399/5*c_0101_5^6 + 274/5*c_0101_5^5 - 33/5*c_0101_5^4 - 71/5*c_0101_5^3 + 6/5*c_0101_5^2 - 3/5*c_0101_5 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB