Magma V2.19-8 Tue Aug 20 2013 16:18:31 on localhost [Seed = 3482211058] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2710 geometric_solution 5.96292904 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 1 0 -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.783665164736 1.518873574168 0 1 1 5 0132 1230 3012 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 -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 1.099638654745 0.907246549047 2 0 5 2 3201 0132 0132 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 -1 0 1 -1 0 0 1 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.289325660426 0.423551548282 3 3 5 0 1302 2031 3201 0132 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.143029406720 0.496276305343 6 5 0 6 0132 0132 0132 1023 0 0 0 0 0 -1 1 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 -1 1 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.350168204017 0.377682752587 3 4 1 2 2310 0132 0132 0132 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 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.783665164736 1.518873574168 4 6 6 4 0132 3201 2310 1023 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 0 0 0 0 0 0 0 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.323240472689 0.864759517018 ==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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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_1'], 'c_1001_4' : d['c_1001_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_1001_2']})} 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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_6, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 81922703039587797344426807694586/380187235077820784448527161951601*\ c_1001_2^12 - 254047826441189696682995890253680/3801872350778207844\ 48527161951601*c_1001_2^11 - 7020352692994146319553835708248697/380\ 187235077820784448527161951601*c_1001_2^10 - 12642031838563391757526077497930223/3801872350778207844485271619516\ 01*c_1001_2^9 - 28155879524266058287857751867731282/380187235077820\ 784448527161951601*c_1001_2^8 - 5883419563458817316387474155474156/\ 54312462153974397778361023135943*c_1001_2^7 + 129380256128430159671224232100106848/380187235077820784448527161951\ 601*c_1001_2^6 - 17535293381456819285691795232032686/38018723507782\ 0784448527161951601*c_1001_2^5 + 6721090147531646009184671382406580\ 20/380187235077820784448527161951601*c_1001_2^4 + 275590487200959414625247119769435453/380187235077820784448527161951\ 601*c_1001_2^3 + 686056104008273032566125774962349457/3801872350778\ 20784448527161951601*c_1001_2^2 + 531794924399952020777236975720306\ 695/380187235077820784448527161951601*c_1001_2 - 242889798698735474136014421905348213/380187235077820784448527161951\ 601, c_0011_0 - 1, c_0011_3 + 65629912983710/402327838648668371*c_1001_2^12 - 215491576803679/402327838648668371*c_1001_2^11 - 5569609933555934/402327838648668371*c_1001_2^10 - 9273050585102772/402327838648668371*c_1001_2^9 - 21862778884123811/402327838648668371*c_1001_2^8 - 21206405606590073/402327838648668371*c_1001_2^7 + 123136977676258601/402327838648668371*c_1001_2^6 - 22768231490525567/402327838648668371*c_1001_2^5 + 575989960765350239/402327838648668371*c_1001_2^4 - 106667592819210900/402327838648668371*c_1001_2^3 + 530518606809851130/402327838648668371*c_1001_2^2 + 76777269756049542/402327838648668371*c_1001_2 - 414865254704769822/402327838648668371, c_0011_4 + 19711082846455569581060971/267549074650120186100300606581*c_\ 1001_2^12 - 92591493850681646282499095/2675490746501201861003006065\ 81*c_1001_2^11 - 1600188023732600130061512231/267549074650120186100\ 300606581*c_1001_2^10 - 220184825502646013007502836/267549074650120\ 186100300606581*c_1001_2^9 - 1465444665405135031046415648/267549074\ 650120186100300606581*c_1001_2^8 - 6339745613060135767953919279/267549074650120186100300606581*c_1001_\ 2^7 + 33479242315654084267048600515/267549074650120186100300606581*\ c_1001_2^6 - 11203045475399249704140977704/382212963785885980143286\ 58083*c_1001_2^5 + 107209104215923707623213975817/26754907465012018\ 6100300606581*c_1001_2^4 - 28738418702804282374097060469/2675490746\ 50120186100300606581*c_1001_2^3 + 84720759304564758605474345456/267\ 549074650120186100300606581*c_1001_2^2 + 465480859966271974536972650039/267549074650120186100300606581*c_100\ 1_2 + 12494119266032049712542849069/38221296378588598014328658083, c_0101_0 - 31205872993148516581389682/267549074650120186100300606581*c_\ 1001_2^12 + 101769150092308709162302750/267549074650120186100300606\ 581*c_1001_2^11 + 2549472224523075849453208682/26754907465012018610\ 0300606581*c_1001_2^10 + 4705661692974831635360201318/2675490746501\ 20186100300606581*c_1001_2^9 + 19613976369462330552134618504/267549\ 074650120186100300606581*c_1001_2^8 + 31888833027093502186039779728/267549074650120186100300606581*c_1001\ _2^7 - 32097636779513822263785332229/267549074650120186100300606581\ *c_1001_2^6 + 5043989748403961716622983640/382212963785885980143286\ 58083*c_1001_2^5 - 477500787494187062505643929833/26754907465012018\ 6100300606581*c_1001_2^4 - 144673380030932956237503229357/267549074\ 650120186100300606581*c_1001_2^3 - 717622230230677440911357331827/267549074650120186100300606581*c_100\ 1_2^2 - 421885697353694509099026530277/2675490746501201861003006065\ 81*c_1001_2 + 31736211093118610733754633027/38221296378588598014328\ 658083, c_0101_1 - 53328205429976548419209765/267549074650120186100300606581*c_\ 1001_2^12 + 151136425950098595829013322/267549074650120186100300606\ 581*c_1001_2^11 + 4632529910205221949676541782/26754907465012018610\ 0300606581*c_1001_2^10 + 9419373295787792587827427883/2675490746501\ 20186100300606581*c_1001_2^9 + 18734360221822375450511944027/267549\ 074650120186100300606581*c_1001_2^8 + 26941890739950835849110656959/267549074650120186100300606581*c_1001\ _2^7 - 76279641767145292329888050518/267549074650120186100300606581\ *c_1001_2^6 - 1419136511460887533109417513/382212963785885980143286\ 58083*c_1001_2^5 - 396839293709899123578500500597/26754907465012018\ 6100300606581*c_1001_2^4 - 244565075398065415819458889643/267549074\ 650120186100300606581*c_1001_2^3 - 628128010437266759544355381677/267549074650120186100300606581*c_100\ 1_2^2 - 344246237196646774821922722297/2675490746501201861003006065\ 81*c_1001_2 - 13069046524645888976746180861/38221296378588598014328\ 658083, c_0101_6 - 42445781768906281101775043/267549074650120186100300606581*c_\ 1001_2^12 + 54566217641503598338880748/2675490746501201861003006065\ 81*c_1001_2^11 + 3861858833976214480872835124/267549074650120186100\ 300606581*c_1001_2^10 + 13255206955732993630375736892/2675490746501\ 20186100300606581*c_1001_2^9 + 27645120813059398438766081818/267549\ 074650120186100300606581*c_1001_2^8 + 44922940844760659557600189027/267549074650120186100300606581*c_1001\ _2^7 - 40639071076955491210770559245/267549074650120186100300606581\ *c_1001_2^6 - 19938194335599341739449204501/38221296378588598014328\ 658083*c_1001_2^5 - 397099304594440765092448295551/2675490746501201\ 86100300606581*c_1001_2^4 - 672608386089903608411593991365/26754907\ 4650120186100300606581*c_1001_2^3 - 501233707247393120191461827437/267549074650120186100300606581*c_100\ 1_2^2 - 493832409324699396562493037396/2675490746501201861003006065\ 81*c_1001_2 + 9134129526762439815451431489/382212963785885980143286\ 58083, c_1001_2^13 - 3*c_1001_2^12 - 86*c_1001_2^11 - 163*c_1001_2^10 - 360*c_1001_2^9 - 539*c_1001_2^8 + 1525*c_1001_2^7 - 60*c_1001_2^6 + 8194*c_1001_2^5 + 4196*c_1001_2^4 + 8784*c_1001_2^3 + 7397*c_1001_2^2 - 2224*c_1001_2 - 203 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB