Magma V2.19-8 Tue Aug 20 2013 16:14:06 on localhost [Seed = 2294879415] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s047 geometric_solution 3.58971524 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 2 2 1 0132 0132 1023 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 -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.304404597357 0.207846764328 0 0 4 3 0132 2310 0132 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 -1 1 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.795662205796 0.941302589686 2 0 0 2 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.410706868596 0.400331541887 4 5 1 5 1230 0132 0132 2310 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 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.195758110708 0.414418803955 5 3 5 1 3201 3012 1023 0132 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 1 -1 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.195758110708 0.414418803955 3 3 4 4 3201 0132 1023 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 -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.982522621834 0.506285304484 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(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_0011_3'], 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], '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' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 1878956892917794285231341/63253681828979175001800640*c_0101_4^14 - 160401215580412652182891/1581342045724479375045016*c_0101_4^13 - 19647528324954171542883399/31626840914489587500900320*c_0101_4^12 + 276521138987086101710261543/63253681828979175001800640*c_0101_4^11 - 574047371326355146668863/821476387389339935088320*c_0101_4^10 + 23698727293180849124387373/988338778577799609403135*c_0101_4^9 + 769112840286574154059292011/31626840914489587500900320*c_0101_4^8 + 3837282740410007955400183071/63253681828979175001800640*c_0101_4^7 + 522373647441279898965304907/6325368182897917500180064*c_0101_4^6 + 5402439092430123909860394101/63253681828979175001800640*c_0101_4^5 + 671020724899928767491959565/6325368182897917500180064*c_0101_4^4 + 142804053552132515578445209/3162684091448958750090032*c_0101_4^3 + 479094132072494442859867293/7906710228622396875225080*c_0101_4^2 + 367488226903138507128848/988338778577799609403135*c_0101_4 + 53071127345678659841216017/1976677557155599218806270, c_0011_0 - 1, c_0011_3 - 64292503541981123303/35939591948283622160114*c_0101_4^14 + 2448670190352006478533/287516735586268977280912*c_0101_4^13 + 548151237980125866225/20536909684733498377208*c_0101_4^12 - 43480195101711825133449/143758367793134488640456*c_0101_4^11 + 125814760516705850599083/287516735586268977280912*c_0101_4^10 - 78570387816161829505543/41073819369466996754416*c_0101_4^9 + 136855502309661634223033/143758367793134488640456*c_0101_4^8 - 591061654156759678083459/143758367793134488640456*c_0101_4^7 + 208147024656859449512899/287516735586268977280912*c_0101_4^6 - 77365943834713510948745/17969795974141811080057*c_0101_4^5 + 461297304574515610697389/287516735586268977280912*c_0101_4^4 - 64226631982057941853417/35939591948283622160114*c_0101_4^3 + 137335345473245049826553/71879183896567244320228*c_0101_4^2 - 3864175336227129104107/17969795974141811080057*c_0101_4 + 2186132759211117643125/17969795974141811080057, c_0101_0 + 763544856770762287479/287516735586268977280912*c_0101_4^14 - 2261933850765142997251/287516735586268977280912*c_0101_4^13 - 611991557937304054867/10268454842366749188604*c_0101_4^12 + 104421582292271435946943/287516735586268977280912*c_0101_4^11 + 17714908811691439086429/143758367793134488640456*c_0101_4^10 + 88952291037102492862185/41073819369466996754416*c_0101_4^9 + 99129417890100123687943/35939591948283622160114*c_0101_4^8 + 1934372650176180338915795/287516735586268977280912*c_0101_4^7 + 2275221452333962032976381/287516735586268977280912*c_0101_4^6 + 3069130494002109945690423/287516735586268977280912*c_0101_4^5 + 2481855462676540026106319/287516735586268977280912*c_0101_4^4 + 474774546818709278692149/71879183896567244320228*c_0101_4^3 + 41926289963962824863729/17969795974141811080057*c_0101_4^2 + 9010360194414914573601/35939591948283622160114*c_0101_4 + 8621167804652843820888/17969795974141811080057, c_0101_1 + 32048261794267387955/20536909684733498377208*c_0101_4^14 - 250962566489060837207/41073819369466996754416*c_0101_4^13 - 638672398504747194731/20536909684733498377208*c_0101_4^12 + 639956711380558038413/2567113710591687297151*c_0101_4^11 - 5074217062214063778187/41073819369466996754416*c_0101_4^10 + 45739086565011039923587/41073819369466996754416*c_0101_4^9 + 11110248031451171869739/20536909684733498377208*c_0101_4^8 + 20971577005232592524103/10268454842366749188604*c_0101_4^7 + 45745220910146388965987/41073819369466996754416*c_0101_4^6 + 37104396254790101144595/20536909684733498377208*c_0101_4^5 - 15809673394231545325155/41073819369466996754416*c_0101_4^4 + 97755954559094548643/5134227421183374594302*c_0101_4^3 - 8097859302621254373391/10268454842366749188604*c_0101_4^2 + 335713137991770605881/2567113710591687297151*c_0101_4 + 1397011804921946857013/2567113710591687297151, c_0101_2 - 248781442322744350239/71879183896567244320228*c_0101_4^14 + 4121221093684381432957/287516735586268977280912*c_0101_4^13 + 632595462514231493673/10268454842366749188604*c_0101_4^12 - 79350091182238060282797/143758367793134488640456*c_0101_4^11 + 139566909279659082948539/287516735586268977280912*c_0101_4^10 - 131888013350241811419721/41073819369466996754416*c_0101_4^9 - 24103218049431937133241/71879183896567244320228*c_0101_4^8 - 1066251694459748315179063/143758367793134488640456*c_0101_4^7 - 935871116004053266863017/287516735586268977280912*c_0101_4^6 - 1290605398652958694546997/143758367793134488640456*c_0101_4^5 - 1049014469662573346787971/287516735586268977280912*c_0101_4^4 - 557541078351130266194797/143758367793134488640456*c_0101_4^3 - 91706699628128413733547/71879183896567244320228*c_0101_4^2 - 3948120795770454494379/17969795974141811080057*c_0101_4 - 22896889359701618367688/17969795974141811080057, c_0101_4^15 - 4*c_0101_4^14 - 18*c_0101_4^13 + 155*c_0101_4^12 - 123*c_0101_4^11 + 976*c_0101_4^10 + 114*c_0101_4^9 + 2563*c_0101_4^8 + 986*c_0101_4^7 + 3581*c_0101_4^6 + 1126*c_0101_4^5 + 2240*c_0101_4^4 + 144*c_0101_4^3 + 496*c_0101_4^2 + 96*c_0101_4 + 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB