Magma V2.19-8 Tue Aug 20 2013 16:17:41 on localhost [Seed = 2277907304] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1925 geometric_solution 5.52365612 oriented_manifold CS_known 0.0000000000000003 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 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.440755715870 0.296342444072 2 0 3 0 0132 2310 0132 0132 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 1 -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.996748643826 0.754202699704 1 4 3 5 0132 0132 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.148276792064 0.941776437532 5 2 4 1 1023 1230 1023 0132 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 0 0 0 0 1 0 0 -1 -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.148276792064 0.941776437532 6 2 3 6 0132 0132 1023 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.339586787374 0.320427835646 5 3 2 5 3012 1023 0132 1230 0 0 0 0 0 0 -1 1 -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 -1 0 1 -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 1.044204480670 0.737885835730 4 6 6 4 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.712174976726 1.031978420295 ==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' : 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' : d['c_0011_3'], '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' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), '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' : d['c_0011_3'], '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), '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_0101_1'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 1790089100657757646450202126409/466455169305018855200871856133*c_01\ 01_6^19 + 121305732984024018805084766540/66636452757859836457267408\ 019*c_0101_6^18 + 14368803129596234009716292836880/4664551693050188\ 55200871856133*c_0101_6^17 + 2508717488161896908435074153816/466455\ 169305018855200871856133*c_0101_6^16 - 9356247404432520730576360610815/66636452757859836457267408019*c_010\ 1_6^15 - 6326281544573571469332249435258/46645516930501885520087185\ 6133*c_0101_6^14 + 269373478177887119007241645685579/46645516930501\ 8855200871856133*c_0101_6^13 - 31224324375015024571267489113339/466\ 455169305018855200871856133*c_0101_6^12 - 115054575257777758620970514609339/66636452757859836457267408019*c_0\ 101_6^11 + 184661896708023065776757525601090/4664551693050188552008\ 71856133*c_0101_6^10 + 14506311527837921572758425398005/39197913386\ 97637438662788707*c_0101_6^9 - 372286220069932632841486222295428/46\ 6455169305018855200871856133*c_0101_6^8 - 300462376638327885064374326268581/66636452757859836457267408019*c_0\ 101_6^7 + 1055564136129571734456800652170699/4664551693050188552008\ 71856133*c_0101_6^6 + 1990140450706242341833011504329768/4664551693\ 05018855200871856133*c_0101_6^5 - 159702741094503445464294535942337\ 4/466455169305018855200871856133*c_0101_6^4 - 1008826446619236645538267013609672/466455169305018855200871856133*c\ _0101_6^3 + 1551087565746693910388390384277489/46645516930501885520\ 0871856133*c_0101_6^2 + 153207232510974820960444454358789/466455169\ 305018855200871856133*c_0101_6 - 250943297476789776149874664758674/\ 466455169305018855200871856133, c_0011_0 - 1, c_0011_1 - 1251913029448728072963789/559970191242519634094684101*c_0101\ _6^19 - 2578644039946000704147593/559970191242519634094684101*c_010\ 1_6^18 + 11042417911323483074812309/559970191242519634094684101*c_0\ 101_6^17 + 30007216879221521736156140/559970191242519634094684101*c\ _0101_6^16 - 33329821082496014012336666/559970191242519634094684101\ *c_0101_6^15 - 142855927300479233094511263/559970191242519634094684\ 101*c_0101_6^14 + 113987913477302854458770122/559970191242519634094\ 684101*c_0101_6^13 + 532967546578862993372068797/559970191242519634\ 094684101*c_0101_6^12 - 340379486303268014612473205/559970191242519\ 634094684101*c_0101_6^11 - 1618368234792459177391058127/55997019124\ 2519634094684101*c_0101_6^10 + 592064251237893513997154473/55997019\ 1242519634094684101*c_0101_6^9 + 3841138800619631348149217525/55997\ 0191242519634094684101*c_0101_6^8 + 358521847234392807268410907/559970191242519634094684101*c_0101_6^7 - 5093831857617519246940800033/559970191242519634094684101*c_0101_6^6 - 1796740414692508579307140778/559970191242519634094684101*c_0101_6\ ^5 + 3904948397081685818033112195/559970191242519634094684101*c_010\ 1_6^4 + 1840442323125221821820678288/559970191242519634094684101*c_\ 0101_6^3 - 1294906313466247522120865756/559970191242519634094684101\ *c_0101_6^2 - 506456194881023782528286950/5599701912425196340946841\ 01*c_0101_6 + 347156443545755359355591467/5599701912425196340946841\ 01, c_0011_3 - 5645081528846212384666736/559970191242519634094684101*c_0101\ _6^19 - 6009833248424612021391973/559970191242519634094684101*c_010\ 1_6^18 + 50912354283175086340505964/559970191242519634094684101*c_0\ 101_6^17 + 87614340750879157163386277/559970191242519634094684101*c\ _0101_6^16 - 200733762154639789464400189/55997019124251963409468410\ 1*c_0101_6^15 - 428419696643167861462096158/55997019124251963409468\ 4101*c_0101_6^14 + 761699722314599109167365809/55997019124251963409\ 4684101*c_0101_6^13 + 1571291926056353729497389816/5599701912425196\ 34094684101*c_0101_6^12 - 2410098034679118655167098967/559970191242\ 519634094684101*c_0101_6^11 - 4712357520817560779116561928/55997019\ 1242519634094684101*c_0101_6^10 + 5277369483384632859822311549/5599\ 70191242519634094684101*c_0101_6^9 + 11359591755629627349254639452/559970191242519634094684101*c_0101_6^\ 8 - 4884123746815107225435884525/559970191242519634094684101*c_0101\ _6^7 - 15885568287441622571059176216/559970191242519634094684101*c_\ 0101_6^6 + 1206434873580653222996197167/559970191242519634094684101\ *c_0101_6^5 + 13061420968408124613001385582/55997019124251963409468\ 4101*c_0101_6^4 + 1461495437427667909292921188/55997019124251963409\ 4684101*c_0101_6^3 - 5301709758014724424793954182/55997019124251963\ 4094684101*c_0101_6^2 - 751550040466737005953073348/559970191242519\ 634094684101*c_0101_6 + 476161521006252112689760552/559970191242519\ 634094684101, c_0101_0 + 7955822323222253129902250/559970191242519634094684101*c_0101\ _6^19 - 9102741702602817586385528/559970191242519634094684101*c_010\ 1_6^18 - 73415968688153264453432023/559970191242519634094684101*c_0\ 101_6^17 + 31689251457471013452425005/559970191242519634094684101*c\ _0101_6^16 + 403556741527317745672823617/55997019124251963409468410\ 1*c_0101_6^15 - 94548600077995199048551930/559970191242519634094684\ 101*c_0101_6^14 - 1691224960080940781006417548/55997019124251963409\ 4684101*c_0101_6^13 + 575911713954219089665911668/55997019124251963\ 4094684101*c_0101_6^12 + 5393764859700782969854670867/5599701912425\ 19634094684101*c_0101_6^11 - 2082986425716724988378136893/559970191\ 242519634094684101*c_0101_6^10 - 13052343834472897644123543324/5599\ 70191242519634094684101*c_0101_6^9 + 3675217879054930145904343872/559970191242519634094684101*c_0101_6^8 + 21558029056534436280870334534/559970191242519634094684101*c_0101_\ 6^7 - 2603375189374225366971475135/559970191242519634094684101*c_01\ 01_6^6 - 22714388016076550469747854695/559970191242519634094684101*\ c_0101_6^5 + 1376645016715642939651369570/5599701912425196340946841\ 01*c_0101_6^4 + 13954183370800358141041131469/559970191242519634094\ 684101*c_0101_6^3 - 1251460837254406568608605752/559970191242519634\ 094684101*c_0101_6^2 - 2503203468325964935365864275/559970191242519\ 634094684101*c_0101_6 - 8680978709422455008528654/55997019124251963\ 4094684101, c_0101_1 + 1588373635803268268236549/559970191242519634094684101*c_0101\ _6^19 + 5082215055051944251804100/559970191242519634094684101*c_010\ 1_6^18 - 13721723699987317270236971/559970191242519634094684101*c_0\ 101_6^17 - 55079319097165869575530660/559970191242519634094684101*c\ _0101_6^16 + 28838278563217834484970441/559970191242519634094684101\ *c_0101_6^15 + 259021179158313778795938997/559970191242519634094684\ 101*c_0101_6^14 - 68942111368954072437320846/5599701912425196340946\ 84101*c_0101_6^13 - 983823646975823441720909025/5599701912425196340\ 94684101*c_0101_6^12 + 184841218420953395944860247/5599701912425196\ 34094684101*c_0101_6^11 + 3030918439039284568253584563/559970191242\ 519634094684101*c_0101_6^10 - 44957480575650082831866015/5599701912\ 42519634094684101*c_0101_6^9 - 7114138995359059011119005608/5599701\ 91242519634094684101*c_0101_6^8 - 2318605323199743230560239763/5599\ 70191242519634094684101*c_0101_6^7 + 9319760662667807436161500715/559970191242519634094684101*c_0101_6^6 + 5145619074890394986738210596/559970191242519634094684101*c_0101_6\ ^5 - 6896608653978722960657221268/559970191242519634094684101*c_010\ 1_6^4 - 4325672367968756925347681386/559970191242519634094684101*c_\ 0101_6^3 + 2249466730260433663660593823/559970191242519634094684101\ *c_0101_6^2 + 1041497778669830890411842153/559970191242519634094684\ 101*c_0101_6 + 9260289184849822726932659/55997019124251963409468410\ 1, c_0101_3 - 18535236111045203028742310/559970191242519634094684101*c_010\ 1_6^19 - 4046210336273554798156750/559970191242519634094684101*c_01\ 01_6^18 + 165831821735034386261849021/559970191242519634094684101*c\ _0101_6^17 + 148682603828178873903392526/55997019124251963409468410\ 1*c_0101_6^16 - 744231914560525999835260157/55997019124251963409468\ 4101*c_0101_6^15 - 765146091761629769797437696/55997019124251963409\ 4684101*c_0101_6^14 + 2966701536644698944841262237/5599701912425196\ 34094684101*c_0101_6^13 + 2587949155022142885859210940/559970191242\ 519634094684101*c_0101_6^12 - 9356542939536407888621360128/55997019\ 1242519634094684101*c_0101_6^11 - 7449376152854829488892745651/5599\ 70191242519634094684101*c_0101_6^10 + 21381806055315530255415009257/559970191242519634094684101*c_0101_6^\ 9 + 19102474867464877326696836244/559970191242519634094684101*c_010\ 1_6^8 - 27450371654745195723833273105/559970191242519634094684101*c\ _0101_6^7 - 27865142896330527773851260725/5599701912425196340946841\ 01*c_0101_6^6 + 21887443163049072539677510804/559970191242519634094\ 684101*c_0101_6^5 + 22652746552454465019773554063/55997019124251963\ 4094684101*c_0101_6^4 - 9221567064198599390933913724/55997019124251\ 9634094684101*c_0101_6^3 - 6727220355468251955877738726/55997019124\ 2519634094684101*c_0101_6^2 + 1074665031027272470338151746/55997019\ 1242519634094684101*c_0101_6 + 252564591638129488597682334/55997019\ 1242519634094684101, c_0101_6^20 - 9*c_0101_6^18 - 6*c_0101_6^17 + 42*c_0101_6^16 + 32*c_0101_6^15 - 170*c_0101_6^14 - 103*c_0101_6^13 + 539*c_0101_6^12 + 285*c_0101_6^11 - 1253*c_0101_6^10 - 760*c_0101_6^9 + 1736*c_0101_6^8 + 1153*c_0101_6^7 - 1569*c_0101_6^6 - 983*c_0101_6^5 + 821*c_0101_6^4 + 312*c_0101_6^3 - 155*c_0101_6^2 - 23*c_0101_6 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB