Magma V2.19-8 Tue Aug 20 2013 16:18:11 on localhost [Seed = 2328565680] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2407 geometric_solution 5.76456185 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 -1 0 1 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.306571795511 0.181733162791 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 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.279728088500 1.249087814642 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 -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 -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.665946760472 0.470697122523 6 5 4 1 1023 0132 0132 0132 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 -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.665946760472 0.470697122523 4 2 4 3 2310 0132 3201 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 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.987063525424 1.265218014406 5 3 5 2 2031 0132 1302 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 0 0 0 0 0 0 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.002524008608 0.395905133137 6 3 2 6 3012 1023 0132 1230 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 0 0 0 0 0 0 0 0 -1 0 1 -1 0 0 1 -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.704168649630 0.509811319602 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), '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_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0101_3']), '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' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : 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_0'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], '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' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_1001_2'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_0, c_0101_1, c_0101_3, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 1703975483896281044754802303299266574781/25119282357905073915748972\ 796224141420424*c_1001_2^19 - 1193478372672159521768933634340482277\ 4599/6279820589476268478937243199056035355106*c_1001_2^17 + 682935433612445426316749740005193979503251/100477129431620295662995\ 891184896565681696*c_1001_2^15 + 2282301226720543566752144934280187\ 2824120457/200954258863240591325991782369793131363392*c_1001_2^13 - 15582123598044445542276089061545910727915359/2009542588632405913259\ 91782369793131363392*c_1001_2^11 - 475342215314457939445304263351517216214870371/200954258863240591325\ 991782369793131363392*c_1001_2^9 + 337176982992175064196238523457039056221709987/200954258863240591325\ 991782369793131363392*c_1001_2^7 + 1163666289902609897944162752175342115931028975/20095425886324059132\ 5991782369793131363392*c_1001_2^5 - 512029259182497765575111039800603784580512183/401908517726481182651\ 983564739586262726784*c_1001_2^3 - 6622806097773878847685015648729695584101937273/16076340709059247306\ 07934258958345050907136*c_1001_2, c_0011_0 - 1, c_0011_1 - 22697240295265716669454614107776/229357947022507979508299605\ 5170210137*c_1001_2^18 + 601233071884201012598626494464064/22935794\ 70225079795082996055170210137*c_1001_2^16 - 1328492261949143676759620658880640/22935794702250797950829960551702\ 10137*c_1001_2^14 - 40841351159492937015623593836099520/22935794702\ 25079795082996055170210137*c_1001_2^12 - 32576882592963574214104697232714848/2293579470225079795082996055170\ 210137*c_1001_2^10 + 781246164697858555687236683018535260/229357947\ 0225079795082996055170210137*c_1001_2^8 + 565768783889433787808623315665609072/229357947022507979508299605517\ 0210137*c_1001_2^6 - 1659279114127013399190353462524815712/22935794\ 70225079795082996055170210137*c_1001_2^4 - 666526140206978676064890247631783528/229357947022507979508299605517\ 0210137*c_1001_2^2 - 709728401866082240693643631729495816/229357947\ 0225079795082996055170210137, c_0011_3 + 15478637836096031268069523201027760/848624403983279524180708\ 54041297775069*c_1001_2^19 - 433712761988332522655771860051810112/8\ 4862440398327952418070854041297775069*c_1001_2^17 + 1554070284402828713469474713793694516/84862440398327952418070854041\ 297775069*c_1001_2^15 + 25868247430322879084484403398197412286/8486\ 2440398327952418070854041297775069*c_1001_2^13 - 17677997292609073446127264207803457290/8486244039832795241807085404\ 1297775069*c_1001_2^11 - 537118792982362919335391819889674326886/84\ 862440398327952418070854041297775069*c_1001_2^9 + 386057037053998304201268430486082222130/848624403983279524180708540\ 41297775069*c_1001_2^7 + 1277129786472657396184458523616350765428/8\ 4862440398327952418070854041297775069*c_1001_2^5 - 294748750618601628571193418086499679691/848624403983279524180708540\ 41297775069*c_1001_2^3 - 3562116099041811374534889289436734357003/3\ 39449761593311809672283416165191100276*c_1001_2, c_0101_0 + 25965984009650958087881870902400/229357947022507979508299605\ 5170210137*c_1001_2^18 - 773191238533917312196431167038400/22935794\ 70225079795082996055170210137*c_1001_2^16 + 3834476776509758533930561823336224/22935794702250797950829960551702\ 10137*c_1001_2^14 + 40115984963001186731432929719006368/22935794702\ 25079795082996055170210137*c_1001_2^12 - 108993699750928385288979786435438280/229357947022507979508299605517\ 0210137*c_1001_2^10 - 927495380611359628271037262799852536/22935794\ 70225079795082996055170210137*c_1001_2^8 + 2189903422213577906999344603544865384/22935794702250797950829960551\ 70210137*c_1001_2^6 + 2490248399993409273767243487601213938/2293579\ 470225079795082996055170210137*c_1001_2^4 - 3033170783245145508740539874673614170/22935794702250797950829960551\ 70210137*c_1001_2^2 - 1886462983327218243685785100734498771/2293579\ 470225079795082996055170210137, c_0101_1 - 27065425469145068427653685388672/229357947022507979508299605\ 5170210137*c_1001_2^18 + 710915365680040619866319784053824/22935794\ 70225079795082996055170210137*c_1001_2^16 - 1407039659254098328524315706464896/22935794702250797950829960551702\ 10137*c_1001_2^14 - 49512956363271944863610850455501280/22935794702\ 25079795082996055170210137*c_1001_2^12 - 47608731551358418498250316136769088/2293579470225079795082996055170\ 210137*c_1001_2^10 + 943013490438422999062764383970526724/229357947\ 0225079795082996055170210137*c_1001_2^8 + 809935756361797027371820488449162076/229357947022507979508299605517\ 0210137*c_1001_2^6 - 2786133339175066489741015199978643866/22935794\ 70225079795082996055170210137*c_1001_2^4 - 1003008323224725227054748099844304594/22935794702250797950829960551\ 70210137*c_1001_2^2 + 1363795874439732207640663341849510449/2293579\ 470225079795082996055170210137, c_0101_3 - 7251447290173938917684943447289344/8486244039832795241807085\ 4041297775069*c_1001_2^19 + 203492153620513801416296616087619520/84\ 862440398327952418070854041297775069*c_1001_2^17 - 737106254244650923041292937201357152/848624403983279524180708540412\ 97775069*c_1001_2^15 - 12074846836568895905561608682208515216/84862\ 440398327952418070854041297775069*c_1001_2^13 + 8730618965134715923346868300419610048/84862440398327952418070854041\ 297775069*c_1001_2^11 + 250662845690278843283140127707377306772/848\ 62440398327952418070854041297775069*c_1001_2^9 - 188850649097181792916265809552319271676/848624403983279524180708540\ 41297775069*c_1001_2^7 - 575174249407030604939153414110110314806/84\ 862440398327952418070854041297775069*c_1001_2^5 + 104541955048016974957641506654334291700/848624403983279524180708540\ 41297775069*c_1001_2^3 + 394387097310306017235345330936667540113/84\ 862440398327952418070854041297775069*c_1001_2, c_1001_2^20 - 28*c_1001_2^18 + 399/4*c_1001_2^16 + 13405/8*c_1001_2^14 - 8923/8*c_1001_2^12 - 278959/8*c_1001_2^10 + 193551/8*c_1001_2^8 + 683307/8*c_1001_2^6 - 286947/16*c_1001_2^4 - 3842221/64*c_1001_2^2 + 1369/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB