Magma V2.19-8 Tue Aug 20 2013 16:15:57 on localhost [Seed = 3785391581] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0193 geometric_solution 4.00489205 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.624265184765 0.050992012153 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 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 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.784468647093 0.078987787722 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -1 -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 0 1 -1 -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.524829706727 0.348996138008 4 2 5 2 0132 0132 0132 1023 0 0 0 0 0 0 -1 1 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 0 1 -1 -1 0 0 1 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.889190092179 3.310680182979 3 5 5 6 0132 3201 2310 0132 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 1 -1 0 1 0 -1 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.006024287769 0.578636739133 6 4 4 3 0132 3201 2310 0132 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 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.006024287769 0.578636739133 5 6 4 6 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.510446238655 0.901934114213 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], '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_1'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], '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_1']), 'c_0011_6' : negation(d['c_0011_5']), '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' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], '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_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : 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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 41515658139388919737/2308174313352962945*c_0101_4^14 + 220969027398426963004/6924522940058888835*c_0101_4^13 - 560292471171030018994/1384904588011777767*c_0101_4^12 + 10684028210597758589417/6924522940058888835*c_0101_4^11 - 6338171771693547202317/2308174313352962945*c_0101_4^10 + 7765717485509579021303/2308174313352962945*c_0101_4^9 - 3753189726632129188090/1384904588011777767*c_0101_4^8 - 1499266032721881408004/6924522940058888835*c_0101_4^7 + 33245093421691661505607/6924522940058888835*c_0101_4^6 - 21766931834144491175432/2308174313352962945*c_0101_4^5 + 10498715040115009299644/2308174313352962945*c_0101_4^4 + 40633568249703254479537/6924522940058888835*c_0101_4^3 - 31436455373011520299576/6924522940058888835*c_0101_4^2 - 320119281399795458377/629502085459898985*c_0101_4 + 2599741392116218682396/6924522940058888835, c_0011_0 - 1, c_0011_1 - 841665915464780/4243834283999319*c_0101_4^14 - 2187201136017490/4243834283999319*c_0101_4^13 + 5615217614412826/1414611427999773*c_0101_4^12 - 58903726653401032/4243834283999319*c_0101_4^11 + 28634129429881616/1414611427999773*c_0101_4^10 - 109359261290861177/4243834283999319*c_0101_4^9 + 25648467064251068/1414611427999773*c_0101_4^8 + 5415711478980767/1414611427999773*c_0101_4^7 - 154375903623191879/4243834283999319*c_0101_4^6 + 95805707822311109/1414611427999773*c_0101_4^5 - 8600194121810135/4243834283999319*c_0101_4^4 - 19567257268343717/471537142666591*c_0101_4^3 + 5444252280843572/1414611427999773*c_0101_4^2 + 716078141408598/471537142666591*c_0101_4 + 489584919970715/4243834283999319, c_0011_5 + 46923252484255/1414611427999773*c_0101_4^14 + 54866255677704/471537142666591*c_0101_4^13 - 802010667417947/1414611427999773*c_0101_4^12 + 2550135673398796/1414611427999773*c_0101_4^11 - 716495202111370/471537142666591*c_0101_4^10 + 2730501666555175/1414611427999773*c_0101_4^9 + 1531842719741053/1414611427999773*c_0101_4^8 - 4570000399933279/1414611427999773*c_0101_4^7 + 11129824454733758/1414611427999773*c_0101_4^6 - 3612170588289904/471537142666591*c_0101_4^5 - 8300319671225888/1414611427999773*c_0101_4^4 + 9830559775273282/1414611427999773*c_0101_4^3 - 1182722156517691/1414611427999773*c_0101_4^2 - 213438693683885/1414611427999773*c_0101_4 + 164453923629997/1414611427999773, c_0101_0 - 142786504807342/4243834283999319*c_0101_4^14 - 224259290270927/4243834283999319*c_0101_4^13 + 394136512547846/471537142666591*c_0101_4^12 - 11883312538342976/4243834283999319*c_0101_4^11 + 6559870243190803/1414611427999773*c_0101_4^10 - 15693764030247118/4243834283999319*c_0101_4^9 + 4075106713797953/1414611427999773*c_0101_4^8 + 2680699138459096/471537142666591*c_0101_4^7 - 45794115066548506/4243834283999319*c_0101_4^6 + 28132980299737933/1414611427999773*c_0101_4^5 - 12071517650101075/4243834283999319*c_0101_4^4 - 27426457110118664/1414611427999773*c_0101_4^3 + 564960156976898/471537142666591*c_0101_4^2 + 703530060993190/1414611427999773*c_0101_4 + 4190003208275365/4243834283999319, c_0101_1 - 617449013422963/4243834283999319*c_0101_4^14 - 1792591424181683/4243834283999319*c_0101_4^13 + 1299743642525403/471537142666591*c_0101_4^12 - 40048739478418763/4243834283999319*c_0101_4^11 + 17564484010105045/1414611427999773*c_0101_4^10 - 70712683739718790/4243834283999319*c_0101_4^9 + 13926322372659572/1414611427999773*c_0101_4^8 + 1409016930320132/471537142666591*c_0101_4^7 - 106538109444715783/4243834283999319*c_0101_4^6 + 59472256703773360/1414611427999773*c_0101_4^5 + 28957471492887284/4243834283999319*c_0101_4^4 - 31863951258187661/1414611427999773*c_0101_4^3 - 797427289269912/471537142666591*c_0101_4^2 - 712200901139135/1414611427999773*c_0101_4 + 2413544049003412/4243834283999319, c_0101_3 - 498455782667839/4243834283999319*c_0101_4^14 - 1238265368349983/4243834283999319*c_0101_4^13 + 3424850188907399/1414611427999773*c_0101_4^12 - 35441756224951811/4243834283999319*c_0101_4^11 + 17519717053805902/1414611427999773*c_0101_4^10 - 63298890528113311/4243834283999319*c_0101_4^9 + 16128477455898685/1414611427999773*c_0101_4^8 + 4528189492683055/1414611427999773*c_0101_4^7 - 88029866529941833/4243834283999319*c_0101_4^6 + 57750751685046982/1414611427999773*c_0101_4^5 + 2272120335503633/4243834283999319*c_0101_4^4 - 13586969120422424/471537142666591*c_0101_4^3 - 3030626948191268/1414611427999773*c_0101_4^2 + 680154724866730/471537142666591*c_0101_4 + 2597894199448711/4243834283999319, c_0101_4^15 + 3*c_0101_4^14 - 19*c_0101_4^13 + 62*c_0101_4^12 - 73*c_0101_4^11 + 85*c_0101_4^10 - 29*c_0101_4^9 - 69*c_0101_4^8 + 196*c_0101_4^7 - 278*c_0101_4^6 - 122*c_0101_4^5 + 235*c_0101_4^4 + 42*c_0101_4^3 - 21*c_0101_4^2 - 7*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB