Magma V2.19-8 Tue Aug 20 2013 16:16:00 on localhost [Seed = 4273955385] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0257 geometric_solution 4.29729573 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 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 1.582061753200 0.146185064315 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 -1 2 0 0 0 0 -2 2 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 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.379305864870 0.343884644218 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 0 0 1 -1 1 -1 0 0 1 -2 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 -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.363264662881 0.824177582433 2 5 4 4 0132 0132 1302 2031 0 0 0 0 0 0 1 -1 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 -1 1 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.313757738745 0.294479258719 3 3 2 5 2031 1302 0132 2310 0 0 0 0 0 0 1 -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 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 0 0 0 0 0.313757738745 0.294479258719 4 3 6 6 3201 0132 0132 2310 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.638184751813 1.972946444626 5 6 6 5 3201 3201 2310 0132 0 0 0 0 0 1 -1 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.408553625956 0.561549744176 ==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_2_6' : d['1'], 's_1_6' : 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_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_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_6, c_0101_0, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 37968178188937943825944316/56154516681447641979591395*c_0101_5^16 - 2498882074656048558796606/11230903336289528395918279*c_0101_5^15 + 2345025284780909868646790/11230903336289528395918279*c_0101_5^14 + 307030245238190665384331789/11230903336289528395918279*c_0101_5^13 + 2133566578736906222918690288/56154516681447641979591395*c_0101_5^12 + 1721424532280256799743171442/11230903336289528395918279*c_0101_5^\ 11 + 396629235174400686561924067/56154516681447641979591395*c_0101_\ 5^10 + 5424439348020939646923548663/56154516681447641979591395*c_01\ 01_5^9 - 17172078206312702677408943788/56154516681447641979591395*c\ _0101_5^8 - 11807706117896969358073232901/5615451668144764197959139\ 5*c_0101_5^7 + 8042949130566040339807333923/56154516681447641979591\ 395*c_0101_5^6 + 3367000595218117855997482327/561545166814476419795\ 91395*c_0101_5^5 - 355686486426406530413731653/11230903336289528395\ 918279*c_0101_5^4 - 4549114969503761847214833411/561545166814476419\ 79591395*c_0101_5^3 + 4642280878498003952382241677/5615451668144764\ 1979591395*c_0101_5^2 + 1448511599536818543803705616/56154516681447\ 641979591395*c_0101_5 + 30539854961190267823516251/5615451668144764\ 1979591395, c_0011_0 - 1, c_0011_1 - 422662778007161342501463/11230903336289528395918279*c_0101_5\ ^16 + 120100756395190429627655/11230903336289528395918279*c_0101_5^\ 15 + 70254759731959022838209/11230903336289528395918279*c_0101_5^14 + 16935102454148964796272700/11230903336289528395918279*c_0101_5^13 + 13385891497291817960886980/11230903336289528395918279*c_0101_5^12 + 87157584546517313242467492/11230903336289528395918279*c_0101_5^11 - 45119217422492665420024157/11230903336289528395918279*c_0101_5^10 + 89007763821866282075662940/11230903336289528395918279*c_0101_5^9 - 224636977021613836511893067/11230903336289528395918279*c_0101_5^8 - 10472424110741061836104963/11230903336289528395918279*c_0101_5^7 + 108798229988617205817300227/11230903336289528395918279*c_0101_5^6 - 88027372100835654965086355/11230903336289528395918279*c_0101_5^5 + 11657681999149635465968410/11230903336289528395918279*c_0101_5^4 + 166938469959247739959460/11230903336289528395918279*c_0101_5^3 + 51965840943811623041647123/11230903336289528395918279*c_0101_5^2 - 25287156169331119512259107/11230903336289528395918279*c_0101_5 + 13333868739144464494309137/11230903336289528395918279, c_0011_4 - 370721753013070649697531/11230903336289528395918279*c_0101_5\ ^16 + 106882178117066618839800/11230903336289528395918279*c_0101_5^\ 15 + 59638015596901189713517/11230903336289528395918279*c_0101_5^14 + 14883272853743774868298361/11230903336289528395918279*c_0101_5^13 + 11710916429507019163481267/11230903336289528395918279*c_0101_5^12 + 76435836803462470652820188/11230903336289528395918279*c_0101_5^11 - 41025737555021408346966184/11230903336289528395918279*c_0101_5^10 + 76074205900673108182833868/11230903336289528395918279*c_0101_5^9 - 204394344782515265498666984/11230903336289528395918279*c_0101_5^8 - 12560430648530675269658659/11230903336289528395918279*c_0101_5^7 + 93268726335526549394195750/11230903336289528395918279*c_0101_5^6 - 73153058210511619200265039/11230903336289528395918279*c_0101_5^5 + 26582237667333576673162300/11230903336289528395918279*c_0101_5^4 - 18912071296889342580065205/11230903336289528395918279*c_0101_5^3 + 38946839786317107414879587/11230903336289528395918279*c_0101_5^2 - 15513102742169447792936527/11230903336289528395918279*c_0101_5 + 15583467152397894230433197/11230903336289528395918279, c_0011_6 + 350722224100879853853103/11230903336289528395918279*c_0101_5\ ^16 - 91720581914166087548457/11230903336289528395918279*c_0101_5^1\ 5 - 23596608963674194644818/11230903336289528395918279*c_0101_5^14 - 14029035153126770358469243/11230903336289528395918279*c_0101_5^13 - 11427160191404470544188229/11230903336289528395918279*c_0101_5^12 - 74060127129346092465904015/11230903336289528395918279*c_0101_5^11 + 33184269195271463856464376/11230903336289528395918279*c_0101_5^10 - 82342649545290543964195063/11230903336289528395918279*c_0101_5^9 + 180750022376255199925899726/11230903336289528395918279*c_0101_5^8 + 6748287885359624015758905/11230903336289528395918279*c_0101_5^7 - 76245305856250391423725300/11230903336289528395918279*c_0101_5^6 + 93410075136753837249361973/11230903336289528395918279*c_0101_5^5 - 9110082415301042609173154/11230903336289528395918279*c_0101_5^4 + 10168540314636366545787308/11230903336289528395918279*c_0101_5^3 - 44620275332415926015601062/11230903336289528395918279*c_0101_5^2 + 19912119317497996570725990/11230903336289528395918279*c_0101_5 - 15655277156957121383312867/11230903336289528395918279, c_0101_0 + 491537795863395257031397/11230903336289528395918279*c_0101_5\ ^16 + 33442721267546110728105/11230903336289528395918279*c_0101_5^1\ 5 + 112183014135077862906430/11230903336289528395918279*c_0101_5^14 - 19640593894479571228811915/11230903336289528395918279*c_0101_5^13 - 22464928318282294120253594/11230903336289528395918279*c_0101_5^12 - 116489460710510948559340762/11230903336289528395918279*c_0101_5^1\ 1 + 3051883795930677665610535/11230903336289528395918279*c_0101_5^1\ 0 - 144807795196870168525191522/11230903336289528395918279*c_0101_5\ ^9 + 209455768398993323733211432/11230903336289528395918279*c_0101_\ 5^8 + 34001126571121848805264853/11230903336289528395918279*c_0101_\ 5^7 - 52579012223988840103496737/11230903336289528395918279*c_0101_\ 5^6 + 99466516364013959499274385/11230903336289528395918279*c_0101_\ 5^5 - 23443161881695698741894634/11230903336289528395918279*c_0101_\ 5^4 + 46476406397687809629201663/11230903336289528395918279*c_0101_\ 5^3 - 35122603685242897259109976/11230903336289528395918279*c_0101_\ 5^2 + 24302425196475787470366582/11230903336289528395918279*c_0101_\ 5 - 14095047494195828971942563/11230903336289528395918279, c_0101_2 - 192108696305393920291689/11230903336289528395918279*c_0101_5\ ^16 + 94396041997823547477565/11230903336289528395918279*c_0101_5^1\ 5 + 63392628145191281965108/11230903336289528395918279*c_0101_5^14 + 7663931388480124389364859/11230903336289528395918279*c_0101_5^13 + 4447832443227940123096261/11230903336289528395918279*c_0101_5^12 + 36637980721191396106897798/11230903336289528395918279*c_0101_5^11 - 29464686647108801994421094/11230903336289528395918279*c_0101_5^10 + 37885406394320646998284198/11230903336289528395918279*c_0101_5^9 - 101035094050214960178107067/11230903336289528395918279*c_0101_5^8 + 13976304182992933287548977/11230903336289528395918279*c_0101_5^7 + 75065349869950052382846769/11230903336289528395918279*c_0101_5^6 - 53613469775307989954816282/11230903336289528395918279*c_0101_5^5 - 17409519082128163703085320/11230903336289528395918279*c_0101_5^4 - 4613785758852521625861148/11230903336289528395918279*c_0101_5^3 + 29049767818790528410003849/11230903336289528395918279*c_0101_5^2 - 17633741579997418373180394/11230903336289528395918279*c_0101_5 + 7255148613475997984674346/11230903336289528395918279, c_0101_5^17 - 40*c_0101_5^14 - 43*c_0101_5^13 - 225*c_0101_5^12 + 33*c_0101_5^11 - 243*c_0101_5^10 + 448*c_0101_5^9 + 101*c_0101_5^8 - 188*c_0101_5^7 + 188*c_0101_5^6 + 51*c_0101_5^4 - 92*c_0101_5^3 + 44*c_0101_5^2 - 31*c_0101_5 - 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB