Magma V2.19-8 Tue Aug 20 2013 16:14:39 on localhost [Seed = 829467959] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s635 geometric_solution 5.12205651 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 1 2 3 0132 3201 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -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 1 0 0 -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.965897002346 1.623248782340 0 1 0 1 0132 2310 2310 3201 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 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 0 0 -0.632507487354 0.359647893709 3 4 5 0 1302 0132 0132 0132 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 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.572169422371 0.739336714398 4 2 0 5 0132 2031 0132 2310 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 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.572169422371 0.739336714398 3 2 4 4 0132 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.357775275322 0.555894973447 3 5 5 2 3201 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.357343408721 0.593260598573 ==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_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_0011_5'], 'c_1100_4' : d['c_0101_4'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_5'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_2']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_2']), 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_2'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 338855359154015660517/12542942280187619239*c_0101_4^18 + 3972241111995320751689/37628826840562857717*c_0101_4^17 - 6179852394242624573791/12542942280187619239*c_0101_4^16 - 72972739056745802224363/37628826840562857717*c_0101_4^15 + 52710061196150363948210/12542942280187619239*c_0101_4^14 + 401421153539547456083080/37628826840562857717*c_0101_4^13 - 324106157811211077301303/12542942280187619239*c_0101_4^12 - 878744706057750155390195/37628826840562857717*c_0101_4^11 + 951272637621929395008744/12542942280187619239*c_0101_4^10 + 181657115411419043141660/37628826840562857717*c_0101_4^9 - 1049093254793755403288887/12542942280187619239*c_0101_4^8 + 197206920874969473861626/12542942280187619239*c_0101_4^7 + 475531770264482566237916/12542942280187619239*c_0101_4^6 - 294329658005188073143517/37628826840562857717*c_0101_4^5 - 279513002632127073325576/37628826840562857717*c_0101_4^4 + 20646131921803909289510/37628826840562857717*c_0101_4^3 + 25079378119601713275464/37628826840562857717*c_0101_4^2 + 1648691259388224524249/37628826840562857717*c_0101_4 - 3089837670375153912862/37628826840562857717, c_0011_0 - 1, c_0011_2 - 1173304898429119158/12542942280187619239*c_0101_4^18 + 85615970405436557/12542942280187619239*c_0101_4^17 + 39421133081720808500/12542942280187619239*c_0101_4^16 - 1525966201873503080/12542942280187619239*c_0101_4^15 - 512944524446228970350/12542942280187619239*c_0101_4^14 + 271491879871500562788/12542942280187619239*c_0101_4^13 + 2916733456830944116605/12542942280187619239*c_0101_4^12 - 3455146941183825540387/12542942280187619239*c_0101_4^11 - 7044050002806751297675/12542942280187619239*c_0101_4^10 + 12606622048848333602859/12542942280187619239*c_0101_4^9 + 3901423811180102943994/12542942280187619239*c_0101_4^8 - 13873932297822003642896/12542942280187619239*c_0101_4^7 + 934060607989309828351/12542942280187619239*c_0101_4^6 + 5678010698247749774595/12542942280187619239*c_0101_4^5 - 483354430478282963285/12542942280187619239*c_0101_4^4 - 1008063262768875804273/12542942280187619239*c_0101_4^3 - 81792636531978621297/12542942280187619239*c_0101_4^2 + 85257595485083985304/12542942280187619239*c_0101_4 + 16769637396341333030/12542942280187619239, c_0011_5 + 7770894956720291597/12542942280187619239*c_0101_4^18 + 25841039298304246347/12542942280187619239*c_0101_4^17 - 157375761479654938585/12542942280187619239*c_0101_4^16 - 467303103710912488526/12542942280187619239*c_0101_4^15 + 1499088282044372191443/12542942280187619239*c_0101_4^14 + 2226726686261908768828/12542942280187619239*c_0101_4^13 - 8941916215441150407565/12542942280187619239*c_0101_4^12 - 1731281820546983889081/12542942280187619239*c_0101_4^11 + 24025380845265242501558/12542942280187619239*c_0101_4^10 - 12348241102594236851036/12542942280187619239*c_0101_4^9 - 20525797726871154838498/12542942280187619239*c_0101_4^8 + 17146513012798800841592/12542942280187619239*c_0101_4^7 + 5435797988607083049148/12542942280187619239*c_0101_4^6 - 6291022263992664336120/12542942280187619239*c_0101_4^5 - 832808498423070981192/12542942280187619239*c_0101_4^4 + 786205100546092850879/12542942280187619239*c_0101_4^3 + 213657651467234797797/12542942280187619239*c_0101_4^2 - 44350309609516192657/12542942280187619239*c_0101_4 - 13878406481326912049/12542942280187619239, c_0101_0 + 17633458327006248494/12542942280187619239*c_0101_4^18 + 80221505003286084987/12542942280187619239*c_0101_4^17 - 276487969044208677820/12542942280187619239*c_0101_4^16 - 1467760595958174858920/12542942280187619239*c_0101_4^15 + 1919101244167425921117/12542942280187619239*c_0101_4^14 + 8645144993542760722345/12542942280187619239*c_0101_4^13 - 12339246120456440239299/12542942280187619239*c_0101_4^12 - 25613052049954579821907/12542942280187619239*c_0101_4^11 + 39281089559048539893548/12542942280187619239*c_0101_4^10 + 33452215443356987421597/12542942280187619239*c_0101_4^9 - 51010130662342574973808/12542942280187619239*c_0101_4^8 - 22672660669306717721164/12542942280187619239*c_0101_4^7 + 28834269116343213466344/12542942280187619239*c_0101_4^6 + 9676212356614738293133/12542942280187619239*c_0101_4^5 - 6293554807081013500074/12542942280187619239*c_0101_4^4 - 2643943157801163961295/12542942280187619239*c_0101_4^3 + 77419512113922617891/12542942280187619239*c_0101_4^2 + 268825608032704084520/12542942280187619239*c_0101_4 + 45522902091006497949/12542942280187619239, c_0101_1 + 25396179356405875901/12542942280187619239*c_0101_4^18 + 100279607765352145988/12542942280187619239*c_0101_4^17 - 458097106449668384210/12542942280187619239*c_0101_4^16 - 1840260979731420694549/12542942280187619239*c_0101_4^15 + 3849486999314526096400/12542942280187619239*c_0101_4^14 + 10156127602674225403366/12542942280187619239*c_0101_4^13 - 23581050740286155690668/12542942280187619239*c_0101_4^12 - 22859378659507250531385/12542942280187619239*c_0101_4^11 + 68700851197534383503405/12542942280187619239*c_0101_4^10 + 8422903125082046645837/12542942280187619239*c_0101_4^9 - 74194645789125163739481/12542942280187619239*c_0101_4^8 + 6804129027962654747695/12542942280187619239*c_0101_4^7 + 33395222801967084035686/12542942280187619239*c_0101_4^6 - 1061256306528800447471/12542942280187619239*c_0101_4^5 - 6965261119674522646524/12542942280187619239*c_0101_4^4 - 1176323685099816533608/12542942280187619239*c_0101_4^3 + 455812600478480217866/12542942280187619239*c_0101_4^2 + 174639238873309428709/12542942280187619239*c_0101_4 + 9535500782165501714/12542942280187619239, c_0101_4^19 + 4*c_0101_4^18 - 18*c_0101_4^17 - 74*c_0101_4^16 + 151*c_0101_4^15 + 419*c_0101_4^14 - 936*c_0101_4^13 - 1009*c_0101_4^12 + 2828*c_0101_4^11 + 589*c_0101_4^10 - 3388*c_0101_4^9 + 147*c_0101_4^8 + 1829*c_0101_4^7 - 96*c_0101_4^6 - 489*c_0101_4^5 - 29*c_0101_4^4 + 61*c_0101_4^3 + 13*c_0101_4^2 - 3*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB