Magma V2.19-8 Tue Aug 20 2013 16:14:20 on localhost [Seed = 4004475597] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s324 geometric_solution 4.50513487 oriented_manifold CS_known 0.0000000000000002 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 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.376905299304 0.184350984273 2 0 3 0 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 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 0.482109062447 0.862842595797 1 3 4 3 0132 3201 0132 2310 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 -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.434773298954 1.500209891577 2 4 2 1 3201 1023 2310 0132 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 1 0 -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 -0.434773298954 1.500209891577 3 5 5 2 1023 0132 3201 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 -1 0 0 1 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.311421266265 0.290309998360 4 4 5 5 2310 0132 2031 1302 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 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 1.072250295191 1.990939600509 ==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_0011_3'], '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_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], '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' : 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_1'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_1'], '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' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_3, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 5020038776319132756436641/193087726437973862275495*c_0101_5^14 - 1148203708388062893050017/14852902033690297098115*c_0101_5^13 - 50721078630742050018460607/193087726437973862275495*c_0101_5^12 - 21039209492154660940949128/193087726437973862275495*c_0101_5^11 - 265463990785408871164773709/193087726437973862275495*c_0101_5^10 + 1559612357150480973103433009/193087726437973862275495*c_0101_5^9 + 281350199236541695976422824/14852902033690297098115*c_0101_5^8 + 9560551847714331714500859012/193087726437973862275495*c_0101_5^7 + 15342780313700947708702718676/193087726437973862275495*c_0101_5^6 + 8956869576295019948862773081/193087726437973862275495*c_0101_5^5 + 2280719481287610525108271174/193087726437973862275495*c_0101_5^4 - 27287035121567598795266368/14852902033690297098115*c_0101_5^3 - 1170027289500363794976540234/193087726437973862275495*c_0101_5^2 - 118247611625806514274322551/193087726437973862275495*c_0101_5 + 41419997732036682494916758/193087726437973862275495, c_0011_0 - 1, c_0011_1 + 290090348649972643007/2970580406738059419623*c_0101_5^14 - 902263313311224497137/2970580406738059419623*c_0101_5^13 - 254907773272921150329/270052764248914492693*c_0101_5^12 - 847291613277257875175/2970580406738059419623*c_0101_5^11 - 15240232928058013897446/2970580406738059419623*c_0101_5^10 + 92229591615246843090986/2970580406738059419623*c_0101_5^9 + 198516563181827987201673/2970580406738059419623*c_0101_5^8 + 526626661770948098868841/2970580406738059419623*c_0101_5^7 + 815282932443163608020166/2970580406738059419623*c_0101_5^6 + 410758081282761301481698/2970580406738059419623*c_0101_5^5 + 80940193179572350790259/2970580406738059419623*c_0101_5^4 - 30500014678936033964752/2970580406738059419623*c_0101_5^3 - 53859259414728281511275/2970580406738059419623*c_0101_5^2 + 6566506780545396000417/2970580406738059419623*c_0101_5 + 903650256742731391592/2970580406738059419623, c_0011_3 - 14504322911118489509/2970580406738059419623*c_0101_5^14 + 27148497947187763660/2970580406738059419623*c_0101_5^13 + 204159407010972357666/2970580406738059419623*c_0101_5^12 + 191923125962334810943/2970580406738059419623*c_0101_5^11 + 727521447455986328456/2970580406738059419623*c_0101_5^10 - 3676918142974741280038/2970580406738059419623*c_0101_5^9 - 16043189751825330156936/2970580406738059419623*c_0101_5^8 - 36149105487452514919437/2970580406738059419623*c_0101_5^7 - 67199308277318827664619/2970580406738059419623*c_0101_5^6 - 57742190410783958111243/2970580406738059419623*c_0101_5^5 - 521706027141471449497/270052764248914492693*c_0101_5^4 + 4920070958965523853113/2970580406738059419623*c_0101_5^3 + 5043144013224100370867/2970580406738059419623*c_0101_5^2 + 7511589056834408045499/2970580406738059419623*c_0101_5 - 779793173699662733403/2970580406738059419623, c_0101_0 - 157103856434628094055/2970580406738059419623*c_0101_5^14 + 521625784612405103546/2970580406738059419623*c_0101_5^13 + 1381963861070019434241/2970580406738059419623*c_0101_5^12 + 248929962656502218910/2970580406738059419623*c_0101_5^11 + 770435590266313860831/270052764248914492693*c_0101_5^10 - 51604461441096281101514/2970580406738059419623*c_0101_5^9 - 95265975527526917671167/2970580406738059419623*c_0101_5^8 - 273623217988752303609566/2970580406738059419623*c_0101_5^7 - 403782734082853830230744/2970580406738059419623*c_0101_5^6 - 189906967261568544256515/2970580406738059419623*c_0101_5^5 - 84949726882489357440780/2970580406738059419623*c_0101_5^4 - 14094584704303546648285/2970580406738059419623*c_0101_5^3 + 25860865132311016542353/2970580406738059419623*c_0101_5^2 - 2148659911778989725851/2970580406738059419623*c_0101_5 + 197001624513393810802/270052764248914492693, c_0101_1 - 151286255776569111321/2970580406738059419623*c_0101_5^14 + 454909918473834611039/2970580406738059419623*c_0101_5^13 + 1512014868802699791884/2970580406738059419623*c_0101_5^12 + 578162488158537287452/2970580406738059419623*c_0101_5^11 + 8023893398595237748601/2970580406738059419623*c_0101_5^10 - 47185758950526176940874/2970580406738059419623*c_0101_5^9 - 108567394790457717953062/2970580406738059419623*c_0101_5^8 - 284399820511399482435208/2970580406738059419623*c_0101_5^7 - 456746687930474453441351/2970580406738059419623*c_0101_5^6 - 262480213921420746920509/2970580406738059419623*c_0101_5^5 - 79082731154242204350485/2970580406738059419623*c_0101_5^4 - 11167260080690620175549/2970580406738059419623*c_0101_5^3 + 26265729950152979695073/2970580406738059419623*c_0101_5^2 + 1698693938653585590025/2970580406738059419623*c_0101_5 + 174286011432955994090/2970580406738059419623, c_0101_5^15 - 3*c_0101_5^14 - 10*c_0101_5^13 - 4*c_0101_5^12 - 53*c_0101_5^11 + 312*c_0101_5^10 + 719*c_0101_5^9 + 1893*c_0101_5^8 + 3022*c_0101_5^7 + 1749*c_0101_5^6 + 477*c_0101_5^5 - 42*c_0101_5^4 - 216*c_0101_5^3 - 18*c_0101_5^2 + 5*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB