Magma V2.19-8 Tue Aug 20 2013 16:14:09 on localhost [Seed = 3633923326] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s114 geometric_solution 3.99350455 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 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.509139026666 0.056322969316 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.550506296016 0.158326726009 1 3 1 3 0132 0132 1023 2310 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 1 0 -1 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.510575649402 2.399428832357 2 2 5 4 3201 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 -1 0 1 1 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 0 -0.457587275643 0.876361942935 5 5 3 5 1023 3012 0132 1302 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 -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.505932026364 0.887589097920 4 4 4 3 1230 1023 2031 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 -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.505932026364 0.887589097920 ==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_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_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' : d['c_0101_5'], 'c_1100_4' : d['c_0101_5'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : 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' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_4']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 394679730277394316119198227127186270869/194972701661442394891659166\ 61451490953*c_0101_5^18 - 3269783414854342735776062092505373106724/\ 19497270166144239489165916661451490953*c_0101_5^17 - 23500415773200416772432294123854563394947/1949727016614423948916591\ 6661451490953*c_0101_5^16 - 469299699272435430271403510283007522532\ 18/19497270166144239489165916661451490953*c_0101_5^15 + 135500755142531164629048977121216849539408/194972701661442394891659\ 16661451490953*c_0101_5^14 + 42795862494289097029487754767341211466\ 9821/19497270166144239489165916661451490953*c_0101_5^13 - 302197471861763550070245974160873545424143/194972701661442394891659\ 16661451490953*c_0101_5^12 + 10259538349238616014564073720617000362\ 2019/19497270166144239489165916661451490953*c_0101_5^11 + 319959869894660490858551154472040246775227/194972701661442394891659\ 16661451490953*c_0101_5^10 - 20254353882391309421577619936702358306\ 95840/19497270166144239489165916661451490953*c_0101_5^9 - 348847992652255749087977679710579156137687/194972701661442394891659\ 16661451490953*c_0101_5^8 + 840532463073516402197715132091022994315\ 883/19497270166144239489165916661451490953*c_0101_5^7 + 176660921372152096515050509751372803563730/649909005538141316305530\ 5553817163651*c_0101_5^6 + 1052019031356303589795362100707987435000\ 856/19497270166144239489165916661451490953*c_0101_5^5 - 393895229997402773942790397478596803245065/194972701661442394891659\ 16661451490953*c_0101_5^4 - 554584982961723877429532309706834145609\ 771/19497270166144239489165916661451490953*c_0101_5^3 + 77414295423094679164722147071772811800959/1949727016614423948916591\ 6661451490953*c_0101_5^2 + 4981456554691958602008786159339443676835\ 1/19497270166144239489165916661451490953*c_0101_5 - 2119508773771044762257567134439091113432/19497270166144239489165916\ 661451490953, c_0011_0 - 1, c_0011_1 + 2367958108142935335798769557684994639/6499090055381413163055\ 305553817163651*c_0101_5^18 - 2224961795048415435249255408259181783\ 6/6499090055381413163055305553817163651*c_0101_5^17 - 116881769797473402954644379039877104985/649909005538141316305530555\ 3817163651*c_0101_5^16 - 146178506497538677811194886555949755364/64\ 99090055381413163055305553817163651*c_0101_5^15 + 1008606877198262444404187724757308750596/64990900553814131630553055\ 53817163651*c_0101_5^14 + 1501782056491614288912153593437090797767/\ 6499090055381413163055305553817163651*c_0101_5^13 - 3714840545666357154275568319672830507808/64990900553814131630553055\ 53817163651*c_0101_5^12 + 4238816240545388278229099678444322474909/\ 6499090055381413163055305553817163651*c_0101_5^11 - 2093074099135298561396774418263292941526/64990900553814131630553055\ 53817163651*c_0101_5^10 - 10602349687706291123355007571909727170242\ /6499090055381413163055305553817163651*c_0101_5^9 + 9866952492573872357933793749232413370738/64990900553814131630553055\ 53817163651*c_0101_5^8 - 3113354947883002102704704454689648141486/6\ 499090055381413163055305553817163651*c_0101_5^7 + 5501784100895604686092743158844281255907/64990900553814131630553055\ 53817163651*c_0101_5^6 + 570919209708593788922923514948271492755/64\ 99090055381413163055305553817163651*c_0101_5^5 - 4256967992746987414007619513942012029555/64990900553814131630553055\ 53817163651*c_0101_5^4 + 647214324051736303509779739381430137207/64\ 99090055381413163055305553817163651*c_0101_5^3 + 416169666473359768286734650360362087350/649909005538141316305530555\ 3817163651*c_0101_5^2 - 38245818673331191723411264546950664418/6499\ 090055381413163055305553817163651*c_0101_5 - 5782859350118957723992628522389737225/64990900553814131630553055538\ 17163651, c_0011_4 + 702336030060678768577823971482604318/64990900553814131630553\ 05553817163651*c_0101_5^18 - 6698794550117872164233266116712116117/\ 6499090055381413163055305553817163651*c_0101_5^17 - 33753214404816032992021289629503001434/6499090055381413163055305553\ 817163651*c_0101_5^16 - 38224978629263608245245700249815776937/6499\ 090055381413163055305553817163651*c_0101_5^15 + 306246714189345302519846448443857013424/649909005538141316305530555\ 3817163651*c_0101_5^14 + 403494771708787675020427809514528856886/64\ 99090055381413163055305553817163651*c_0101_5^13 - 1176093558928882820475879182647885762823/64990900553814131630553055\ 53817163651*c_0101_5^12 + 1403681816521234258062496322901124861343/\ 6499090055381413163055305553817163651*c_0101_5^11 - 750519143854271719448646063814569273708/649909005538141316305530555\ 3817163651*c_0101_5^10 - 3100093778937380754972200555448608973025/6\ 499090055381413163055305553817163651*c_0101_5^9 + 3406615133676444108268385438372962881628/64990900553814131630553055\ 53817163651*c_0101_5^8 - 1238223596449183016071091828367929597824/6\ 499090055381413163055305553817163651*c_0101_5^7 + 1615269129936336730377566438370956184232/64990900553814131630553055\ 53817163651*c_0101_5^6 - 54274598871593442205315243089392794519/649\ 9090055381413163055305553817163651*c_0101_5^5 - 1363337217894707475797926425349545817922/64990900553814131630553055\ 53817163651*c_0101_5^4 + 384164378974521747180216818122612036711/64\ 99090055381413163055305553817163651*c_0101_5^3 + 160909280654435250287215970767195192512/649909005538141316305530555\ 3817163651*c_0101_5^2 - 22217898310627001936797885921321357496/6499\ 090055381413163055305553817163651*c_0101_5 - 5642835870306793638915467729233145943/64990900553814131630553055538\ 17163651, c_0101_0 + 5231217560962679588445728428580862369/6499090055381413163055\ 305553817163651*c_0101_5^18 - 4823018151337979841862235921463051967\ 6/6499090055381413163055305553817163651*c_0101_5^17 - 266510187755115293688974055546472323960/649909005538141316305530555\ 3817163651*c_0101_5^16 - 371737777937521397825269188009760484823/64\ 99090055381413163055305553817163651*c_0101_5^15 + 2150485489013466103109312984462063352571/64990900553814131630553055\ 53817163651*c_0101_5^14 + 3673154396358990124280773895568927826430/\ 6499090055381413163055305553817163651*c_0101_5^13 - 7488805701185327126364192954063849504084/64990900553814131630553055\ 53817163651*c_0101_5^12 + 8246448912743671579669088730822159934922/\ 6499090055381413163055305553817163651*c_0101_5^11 - 3324495678762715776481484576430348155250/64990900553814131630553055\ 53817163651*c_0101_5^10 - 23818233287034542081649128928353713139886\ /6499090055381413163055305553817163651*c_0101_5^9 + 17623967411717339475697360369424241309842/6499090055381413163055305\ 553817163651*c_0101_5^8 - 4715810665420089131111342004626370683341/\ 6499090055381413163055305553817163651*c_0101_5^7 + 11302001676556995603397058921674100663151/6499090055381413163055305\ 553817163651*c_0101_5^6 + 3159081520486190214554405685623845035624/\ 6499090055381413163055305553817163651*c_0101_5^5 - 8449371159297342345028095138582526586664/64990900553814131630553055\ 53817163651*c_0101_5^4 + 338288287262355907586993375820640053425/64\ 99090055381413163055305553817163651*c_0101_5^3 + 900224959708613296555836278879711322265/649909005538141316305530555\ 3817163651*c_0101_5^2 - 23022195625835300523882557564169041933/6499\ 090055381413163055305553817163651*c_0101_5 - 19053601102250832855240830341744984561/6499090055381413163055305553\ 817163651, c_0101_4 + 2140044347069661950153154803549639933/6499090055381413163055\ 305553817163651*c_0101_5^18 - 1980813003168941106178248051734689226\ 6/6499090055381413163055305553817163651*c_0101_5^17 - 108346390680927639355003937336081315114/649909005538141316305530555\ 3817163651*c_0101_5^16 - 147794934789449651570543714020217291804/64\ 99090055381413163055305553817163651*c_0101_5^15 + 886983719314690203200801261888485451284/649909005538141316305530555\ 3817163651*c_0101_5^14 + 1472976648707078055518540603795114806153/6\ 499090055381413163055305553817163651*c_0101_5^13 - 3132765440868038511022512197510641390219/64990900553814131630553055\ 53817163651*c_0101_5^12 + 3462237974362743779350327359522277921640/\ 6499090055381413163055305553817163651*c_0101_5^11 - 1429423879082602620786504588893355553197/64990900553814131630553055\ 53817163651*c_0101_5^10 - 9756337249233793931514117218473964966228/\ 6499090055381413163055305553817163651*c_0101_5^9 + 7597627017186122218337546211845936168044/64990900553814131630553055\ 53817163651*c_0101_5^8 - 2041496283873319884438957758833617802701/6\ 499090055381413163055305553817163651*c_0101_5^7 + 4558212226761323168227682755488721855370/64990900553814131630553055\ 53817163651*c_0101_5^6 + 1173645126539659213265916337971803033201/6\ 499090055381413163055305553817163651*c_0101_5^5 - 3602187871391103593434016177294925607543/64990900553814131630553055\ 53817163651*c_0101_5^4 + 263992831714088337850994107633622235688/64\ 99090055381413163055305553817163651*c_0101_5^3 + 413671344175180839599975109052315371957/649909005538141316305530555\ 3817163651*c_0101_5^2 - 18916573896247291923651903415407258088/6499\ 090055381413163055305553817163651*c_0101_5 - 9755315685487779793298509062656192859/64990900553814131630553055538\ 17163651, c_0101_5^19 - 9*c_0101_5^18 - 53*c_0101_5^17 - 82*c_0101_5^16 + 397*c_0101_5^15 + 795*c_0101_5^14 - 1288*c_0101_5^13 + 1239*c_0101_5^12 - 257*c_0101_5^11 - 4731*c_0101_5^10 + 2379*c_0101_5^9 - 34*c_0101_5^8 + 1907*c_0101_5^7 + 1105*c_0101_5^6 - 1541*c_0101_5^5 - 321*c_0101_5^4 + 216*c_0101_5^3 + 36*c_0101_5^2 - 7*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB