Magma V2.19-8 Tue Aug 20 2013 16:16:42 on localhost [Seed = 4256981300] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0990 geometric_solution 4.88319632 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.469661256797 0.413002968470 0 3 5 5 0132 1230 2310 0132 0 0 0 0 0 -1 0 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.996844955363 1.494228556529 2 0 3 2 3012 0132 3012 1230 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 0 0 0 0 0 0 0 0 0 0 0 0.799290612701 1.055860014103 4 2 1 0 0321 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 1 -1 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.173755612611 0.914065884267 3 6 0 6 0321 0132 0132 1023 0 0 0 0 0 1 -1 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.754262877885 0.282231647829 5 1 1 5 3201 3201 0132 2310 0 0 0 0 0 0 -1 1 -1 0 0 1 -1 0 0 1 -1 0 1 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 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.351966129099 0.657908381222 6 4 6 4 2031 0132 1302 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.625772746138 0.101883798254 ==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' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_1_2' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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_1']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_3, c_0011_4, c_0011_5, c_0101_1, c_0101_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 48224866543524384163055794225841349060/4521104647283546927649565801\ 091228179*c_0110_6^16 - 79352210255046138327672705317585592717/1291\ 744184938156265042733086026065194*c_0110_6^15 - 7050895956024471295281630961114770331413/31647732530984828493546960\ 607638597253*c_0110_6^14 + 3275392676682650765005879934239182711666\ 6/31647732530984828493546960607638597253*c_0110_6^13 + 6958397376536265455493547312490305764700/45211046472835469276495658\ 01091228179*c_0110_6^12 - 13702398844389974683199051052221686765440\ 0/31647732530984828493546960607638597253*c_0110_6^11 - 65271882773474633695009284193491575962073/3164773253098482849354696\ 0607638597253*c_0110_6^10 + 106878000471487373277206065161833307040\ 865/31647732530984828493546960607638597253*c_0110_6^9 + 10759834640830890555050921607826948455191/6329546506196965698709392\ 1215277194506*c_0110_6^8 + 1062203945595247359175707876444659623296\ 25/31647732530984828493546960607638597253*c_0110_6^7 - 268245305937532201076221384778397290814367/632954650619696569870939\ 21215277194506*c_0110_6^6 + 943235802041547907718671068040413177250\ 7/4521104647283546927649565801091228179*c_0110_6^5 - 27572191710442508593463605191174188984740/3164773253098482849354696\ 0607638597253*c_0110_6^4 + 9620882024211737960708803069711511261100\ /31647732530984828493546960607638597253*c_0110_6^3 + 8814457561260712191026517102500692939701/31647732530984828493546960\ 607638597253*c_0110_6^2 - 5493368583881204264661630334710170971928/\ 31647732530984828493546960607638597253*c_0110_6 + 2678325109491701592196778285921304163413/63295465061969656987093921\ 215277194506, c_0011_0 - 1, c_0011_3 + 25433038033928706543414737297787216/379924760275928313247862\ 67236060741*c_0110_6^16 - 165173280455238610499490441066778677/3799\ 2476027592831324786267236060741*c_0110_6^15 - 380245303221312850707452515386656952/379924760275928313247862672360\ 60741*c_0110_6^14 + 2547902311531103157320330031782636723/379924760\ 27592831324786267236060741*c_0110_6^13 + 1402042155501144715582945964897439707/37992476027592831324786267236\ 060741*c_0110_6^12 - 8264282992175711580917715314424189757/37992476\ 027592831324786267236060741*c_0110_6^11 + 2061105281673044891863861669526764306/37992476027592831324786267236\ 060741*c_0110_6^10 - 3757146627365027427318812380951078907/37992476\ 027592831324786267236060741*c_0110_6^9 + 7860427085156475195863690463120135211/37992476027592831324786267236\ 060741*c_0110_6^8 - 1846327992196051254979561452573317710/379924760\ 27592831324786267236060741*c_0110_6^7 + 1387114704787072800668287354227750721/37992476027592831324786267236\ 060741*c_0110_6^6 - 290456615625676899435978414923248863/3799247602\ 7592831324786267236060741*c_0110_6^5 - 349332508123343512289119952854881522/379924760275928313247862672360\ 60741*c_0110_6^4 + 398508207454416429087316044890417013/37992476027\ 592831324786267236060741*c_0110_6^3 - 2842313678721172800712245313841638/37992476027592831324786267236060\ 741*c_0110_6^2 + 36730986705820913976590943915465156/37992476027592\ 831324786267236060741*c_0110_6 - 2134711205424249569140460048238871\ 8/37992476027592831324786267236060741, c_0011_4 + 18087974353814423984855061819377229/379924760275928313247862\ 67236060741*c_0110_6^16 - 118043740030604869643895173542924641/3799\ 2476027592831324786267236060741*c_0110_6^15 - 269172632578111906394660510826147333/379924760275928313247862672360\ 60741*c_0110_6^14 + 1836700356579115735126884214167568988/379924760\ 27592831324786267236060741*c_0110_6^13 + 976727938846541601401488834219315889/379924760275928313247862672360\ 60741*c_0110_6^12 - 6162637286601294100641958402409467662/379924760\ 27592831324786267236060741*c_0110_6^11 + 1518802784951551619208951884896726456/37992476027592831324786267236\ 060741*c_0110_6^10 - 1836496279816472306063895909976992583/37992476\ 027592831324786267236060741*c_0110_6^9 + 5445209954566804573312372181029732153/37992476027592831324786267236\ 060741*c_0110_6^8 - 1347913748756132841268893248404565345/379924760\ 27592831324786267236060741*c_0110_6^7 + 344309599918620160630598063324555314/379924760275928313247862672360\ 60741*c_0110_6^6 - 52887232596384271837482951281920883/379924760275\ 92831324786267236060741*c_0110_6^5 - 226568285099506446283178880095016344/379924760275928313247862672360\ 60741*c_0110_6^4 + 252873483212789697575639502180266384/37992476027\ 592831324786267236060741*c_0110_6^3 + 62285392086534922116500706995769333/3799247602759283132478626723606\ 0741*c_0110_6^2 + 2998205406036043916223001662084871/37992476027592\ 831324786267236060741*c_0110_6 - 3531683385534098934139497940373411\ /37992476027592831324786267236060741, c_0011_5 - 18828323280943183525178136329124117/379924760275928313247862\ 67236060741*c_0110_6^16 + 116840461146760801941428255081315055/3799\ 2476027592831324786267236060741*c_0110_6^15 + 314880199934893508609867314694564695/379924760275928313247862672360\ 60741*c_0110_6^14 - 1791646657008373803142352639955131035/379924760\ 27592831324786267236060741*c_0110_6^13 - 1559046183570148381264103223894768679/37992476027592831324786267236\ 060741*c_0110_6^12 + 5619007591814268709675909520557385546/37992476\ 027592831324786267236060741*c_0110_6^11 + 221139081188378166185938076134029694/379924760275928313247862672360\ 60741*c_0110_6^10 + 2931427874003182029953096781575151228/379924760\ 27592831324786267236060741*c_0110_6^9 - 5532464907064989159263132213074556554/37992476027592831324786267236\ 060741*c_0110_6^8 + 231817428896477240303018796441701584/3799247602\ 7592831324786267236060741*c_0110_6^7 - 1133274261086031952732381839220678648/37992476027592831324786267236\ 060741*c_0110_6^6 + 442051917116134208930456171854947222/3799247602\ 7592831324786267236060741*c_0110_6^5 + 10082525796177978818442961427961882/3799247602759283132478626723606\ 0741*c_0110_6^4 - 228578290700961863083570484019549109/379924760275\ 92831324786267236060741*c_0110_6^3 - 81836371914533644265373147858303077/3799247602759283132478626723606\ 0741*c_0110_6^2 - 46723688418906195029134554025838326/3799247602759\ 2831324786267236060741*c_0110_6 + 884351442008548122741195632391795\ 2/37992476027592831324786267236060741, c_0101_1 + 28315614280745464427110038481327284/379924760275928313247862\ 67236060741*c_0110_6^16 - 188468433861800890048925572163683236/3799\ 2476027592831324786267236060741*c_0110_6^15 - 388425416856579666328707093835737555/379924760275928313247862672360\ 60741*c_0110_6^14 + 2871552431333549067021782740720532834/379924760\ 27592831324786267236060741*c_0110_6^13 + 1022709335551070821049778386884011819/37992476027592831324786267236\ 060741*c_0110_6^12 - 8934990113162520388506529403895210543/37992476\ 027592831324786267236060741*c_0110_6^11 + 4098373038111231197412456077616309187/37992476027592831324786267236\ 060741*c_0110_6^10 - 6232321079075359685123477705452324722/37992476\ 027592831324786267236060741*c_0110_6^9 + 9744758973426968940090415348978480620/37992476027592831324786267236\ 060741*c_0110_6^8 - 4249784261026737291186268637785173562/379924760\ 27592831324786267236060741*c_0110_6^7 + 3562328711014136760126563282644340553/37992476027592831324786267236\ 060741*c_0110_6^6 - 877528493713390913894553112533048844/3799247602\ 7592831324786267236060741*c_0110_6^5 - 108573102455651284615971662550068373/379924760275928313247862672360\ 60741*c_0110_6^4 + 354909978368553313668237051025762508/37992476027\ 592831324786267236060741*c_0110_6^3 - 96098603009595389329922372996201918/3799247602759283132478626723606\ 0741*c_0110_6^2 + 115172800275969735031506050687948808/379924760275\ 92831324786267236060741*c_0110_6 - 6295474160354610325173886242038995/37992476027592831324786267236060\ 741, c_0101_2 - 24154322277493508181887553568832613/379924760275928313247862\ 67236060741*c_0110_6^16 + 181672245713876093901441050424127905/3799\ 2476027592831324786267236060741*c_0110_6^15 + 201250084108336868914420308600866117/379924760275928313247862672360\ 60741*c_0110_6^14 - 2799395056521743570351793002579755652/379924760\ 27592831324786267236060741*c_0110_6^13 + 1141872631672437263077782802135635591/37992476027592831324786267236\ 060741*c_0110_6^12 + 9347158200220966471098411257328425141/37992476\ 027592831324786267236060741*c_0110_6^11 - 10056558453446751507744220624531972512/3799247602759283132478626723\ 6060741*c_0110_6^10 + 5190232420486023692711136444113984617/3799247\ 6027592831324786267236060741*c_0110_6^9 - 10635039888054884128201619978861281904/3799247602759283132478626723\ 6060741*c_0110_6^8 + 9013112019574271784318024765515713429/37992476\ 027592831324786267236060741*c_0110_6^7 - 2766327135061630462496791035364420065/37992476027592831324786267236\ 060741*c_0110_6^6 + 1134860117946450714458589334031186535/379924760\ 27592831324786267236060741*c_0110_6^5 + 373938297845171998806811377162227338/379924760275928313247862672360\ 60741*c_0110_6^4 - 671454880408482079733318823510532681/37992476027\ 592831324786267236060741*c_0110_6^3 + 356810226301738271935693052693712234/379924760275928313247862672360\ 60741*c_0110_6^2 - 19261493169043259091152631027483691/379924760275\ 92831324786267236060741*c_0110_6 + 23542399546944391427469785814427130/3799247602759283132478626723606\ 0741, c_0110_6^17 - 7*c_0110_6^16 - 242/21*c_0110_6^15 + 2243/21*c_0110_6^14 + 7/3*c_0110_6^13 - 7111/21*c_0110_6^12 + 5317/21*c_0110_6^11 - 1630/7*c_0110_6^10 + 8314/21*c_0110_6^9 - 1802/7*c_0110_6^8 + 2879/21*c_0110_6^7 - 154/3*c_0110_6^6 + 83/21*c_0110_6^5 + 403/21*c_0110_6^4 - 61/7*c_0110_6^3 + 76/21*c_0110_6^2 - 22/21*c_0110_6 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB