Magma V2.19-8 Tue Aug 20 2013 16:14:18 on localhost [Seed = 610646016] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s280 geometric_solution 4.45036371 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 6 1 2 3 3 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 -1 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 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.781586322331 1.209282664072 0 4 3 4 0132 0132 1302 2310 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.781155531449 0.520530123202 2 0 3 2 3201 0132 3120 2310 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 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.261045698810 1.105332160525 1 0 2 0 2031 1302 3120 0132 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 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.623012451023 0.583281071487 1 1 5 5 3201 0132 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.384695522057 0.179151960405 5 4 5 4 2031 2310 1302 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 -2.897252420090 1.059783681801 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], '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' : negation(d['c_0101_0']), 'c_1001_4' : negation(d['c_0110_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0011_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0110_4'], 'c_1010_5' : negation(d['c_0110_4']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0110_4']), 'c_1010_0' : d['c_0011_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0101_0, c_0101_2, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 55310460272642533421937699/4722780806650096348622768*c_0110_4^17 - 136494128281916953312969868/1475869002078155108944615*c_0110_4^16 + 5971404266272358086622792171/23613904033250481743113840*c_0110_4^15 - 1988490131228247051485331301/11806952016625240871556920*c_0110_4^\ 14 - 567575013814750973397245903/1180695201662524087155692*c_0110_4\ ^13 + 5410185581164793388075774571/4722780806650096348622768*c_0110\ _4^12 - 1129127117133640120192659579/694526589213249463032760*c_011\ 0_4^11 + 32856037141496173581941952521/11806952016625240871556920*c\ _0110_4^10 - 1215024264213792190782067447/590347600831262043577846*\ c_0110_4^9 - 97827245212110979960447079011/236139040332504817431138\ 40*c_0110_4^8 + 25099863700952949709601687109/295173800415631021788\ 9230*c_0110_4^7 - 10675124469593191132388059081/4722780806650096348\ 622768*c_0110_4^6 - 60371280278331864766619530831/11806952016625240\ 871556920*c_0110_4^5 + 5927650674576505873806844362/147586900207815\ 5108944615*c_0110_4^4 + 2074606554127181105571447271/23613904033250\ 481743113840*c_0110_4^3 - 26585143310120672082011272753/23613904033\ 250481743113840*c_0110_4^2 + 938018127782545035547433507/2951738004\ 156310217889230*c_0110_4 + 625145138603443263208266289/236139040332\ 50481743113840, c_0011_0 - 1, c_0011_3 + 162745820558722843127205/590347600831262043577846*c_0110_4^1\ 7 - 626411185686164807382781/295173800415631021788923*c_0110_4^16 + 3263704239486536826532427/590347600831262043577846*c_0110_4^15 - 837201312044511357476020/295173800415631021788923*c_0110_4^14 - 3549889530162211729809873/295173800415631021788923*c_0110_4^13 + 14693624135972888257783891/590347600831262043577846*c_0110_4^12 - 580171422924626515739188/17363164730331236575819*c_0110_4^11 + 17138308664518373864250458/295173800415631021788923*c_0110_4^10 - 10430949076314840024364354/295173800415631021788923*c_0110_4^9 - 62971205693557723056109923/590347600831262043577846*c_0110_4^8 + 53831290142070741213227459/295173800415631021788923*c_0110_4^7 - 10909093845555776075751385/590347600831262043577846*c_0110_4^6 - 38619038044344140656486226/295173800415631021788923*c_0110_4^5 + 23154145364927725367563065/295173800415631021788923*c_0110_4^4 + 10524565046889180266011595/590347600831262043577846*c_0110_4^3 - 17686855448044801425758499/590347600831262043577846*c_0110_4^2 + 1214886489408327760560089/295173800415631021788923*c_0110_4 + 1090710418226932808591021/590347600831262043577846, c_0011_5 - 48503299237780575624245/590347600831262043577846*c_0110_4^17 + 183414316770635109434089/295173800415631021788923*c_0110_4^16 - 925771849518897636566897/590347600831262043577846*c_0110_4^15 + 193264342688413662115842/295173800415631021788923*c_0110_4^14 + 1081097976475614668494553/295173800415631021788923*c_0110_4^13 - 4134778769911653163546153/590347600831262043577846*c_0110_4^12 + 158028223464928552620862/17363164730331236575819*c_0110_4^11 - 4734845356759540514912179/295173800415631021788923*c_0110_4^10 + 2511999067938340401218163/295173800415631021788923*c_0110_4^9 + 19356698048978467745633485/590347600831262043577846*c_0110_4^8 - 14975177425463174360817185/295173800415631021788923*c_0110_4^7 - 324401292635865651055369/590347600831262043577846*c_0110_4^6 + 11794487089928870917284156/295173800415631021788923*c_0110_4^5 - 5625412871933968072204217/295173800415631021788923*c_0110_4^4 - 4927583116240930524585627/590347600831262043577846*c_0110_4^3 + 5005619590464336250849925/590347600831262043577846*c_0110_4^2 - 284648475736020095653235/295173800415631021788923*c_0110_4 - 753093421389984886705051/590347600831262043577846, c_0101_0 + 856120178706959365060555/1180695201662524087155692*c_0110_4^\ 17 - 1389207126964063705082268/295173800415631021788923*c_0110_4^16 + 9914379081116075731263115/1180695201662524087155692*c_0110_4^15 + 3520525594607566555483961/590347600831262043577846*c_0110_4^14 - 9395652830362146413594008/295173800415631021788923*c_0110_4^13 + 33022884067557488281553135/1180695201662524087155692*c_0110_4^12 - 1219216555219823009179301/34726329460662473151638*c_0110_4^11 + 48338617293405779223169841/590347600831262043577846*c_0110_4^10 + 13649104191543939875843816/295173800415631021788923*c_0110_4^9 - 360182902717008532946263219/1180695201662524087155692*c_0110_4^8 + 40221567743785056537491523/295173800415631021788923*c_0110_4^7 + 337547387386440169432586867/1180695201662524087155692*c_0110_4^6 - 104227485152920243320134511/590347600831262043577846*c_0110_4^5 - 23362902921838262077637205/295173800415631021788923*c_0110_4^4 + 99198972102933260300845219/1180695201662524087155692*c_0110_4^3 + 7977809117571813644806831/1180695201662524087155692*c_0110_4^2 - 4669152323919353125156198/295173800415631021788923*c_0110_4 - 2996277150641117925141963/1180695201662524087155692, c_0101_2 - 2124501402535372368438105/2361390403325048174311384*c_0110_4\ ^17 + 1824751673610052570624864/295173800415631021788923*c_0110_4^1\ 6 - 30358726832260559356412133/2361390403325048174311384*c_0110_4^1\ 5 - 2254774132303464964031893/1180695201662524087155692*c_0110_4^14 + 22952214020062527164522829/590347600831262043577846*c_0110_4^13 - 116248341679182511192238073/2361390403325048174311384*c_0110_4^12 + 4541613152197019852429205/69452658921324946303276*c_0110_4^11 - 155283093968083434360795187/1180695201662524087155692*c_0110_4^10 + 261989932977201289465257/295173800415631021788923*c_0110_4^9 + 856010808943032953354462133/2361390403325048174311384*c_0110_4^8 - 88960922169175134401113837/295173800415631021788923*c_0110_4^7 - 502659855207456695307497885/2361390403325048174311384*c_0110_4^6 + 318668667882546427870542277/1180695201662524087155692*c_0110_4^5 - 2744638976650974901383475/295173800415631021788923*c_0110_4^4 - 202362701250698622869490281/2361390403325048174311384*c_0110_4^3 + 39714617479212021136973983/2361390403325048174311384*c_0110_4^2 + 3576849536643398251662344/295173800415631021788923*c_0110_4 + 841513843317564806489217/2361390403325048174311384, c_0110_4^18 - 37/5*c_0110_4^17 + 89/5*c_0110_4^16 - 23/5*c_0110_4^15 - 46*c_0110_4^14 + 77*c_0110_4^13 - 479/5*c_0110_4^12 + 888/5*c_0110_4^11 - 70*c_0110_4^10 - 2089/5*c_0110_4^9 + 2713/5*c_0110_4^8 + 117*c_0110_4^7 - 2363/5*c_0110_4^6 + 698/5*c_0110_4^5 + 669/5*c_0110_4^4 - 392/5*c_0110_4^3 - 61/5*c_0110_4^2 + 51/5*c_0110_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB