Magma V2.19-8 Tue Aug 20 2013 16:17:04 on localhost [Seed = 997894121] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1314 geometric_solution 5.20064779 oriented_manifold CS_known 0.0000000000000001 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.469560108034 0.109469610074 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 2 -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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.510568420009 0.361427594888 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -2 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 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.619999470572 2.788314359093 5 2 6 4 0132 0132 0132 3120 0 0 0 0 0 0 1 -1 0 0 -1 1 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 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379916977508 0.477249432084 3 6 2 5 3120 0132 0132 3201 0 0 0 0 0 0 0 0 -1 0 1 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 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.379916977508 0.477249432084 3 4 5 5 0132 2310 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.172865452997 0.957530147270 6 4 6 3 2031 0132 1302 0132 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 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.729366654952 0.432562312585 ==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_4'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : 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' : d['c_0011_4'], 'c_1100_2' : 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' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), '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' : negation(d['c_0011_4']), '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_3']), 'c_1001_4' : d['c_1001_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_3'], 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_1001_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_4, c_0101_0, c_0101_3, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 27114873152236017121655863/43418098098090828222416775*c_1001_3^12 + 70314337894991513007253397/57890797464121104296555700*c_1001_3^11 + 2036904953578894312013756779/43418098098090828222416775*c_1001_3^10 - 5773718769328161290588757691/43418098098090828222416775*c_1001_3^\ 9 - 27757760183198486020213411817/43418098098090828222416775*c_1001\ _3^8 + 53151551508654153336404476811/86836196196181656444833550*c_1\ 001_3^7 + 22533374940421289829996114847/6946895695694532515586684*c\ _1001_3^6 + 16203313856890190349093734956/4341809809809082822241677\ 5*c_1001_3^5 - 266071533686438779187265012406/434180980980908282224\ 16775*c_1001_3^4 - 37271481501266844735020310577/827011392344587204\ 2365100*c_1001_3^3 + 100182079684254711584783359021/434180980980908\ 28222416775*c_1001_3^2 + 637831604033732476280759126741/17367239239\ 2363312889667100*c_1001_3 + 11155239326248496956226609093/827011392\ 3445872042365100, c_0011_0 - 1, c_0011_1 + 8536739568813661123/15752597949420708652124*c_1001_3^12 - 21443463873527217299/15752597949420708652124*c_1001_3^11 - 304065632989418170961/7876298974710354326062*c_1001_3^10 + 524496329800242783976/3938149487355177163031*c_1001_3^9 + 1516398342222334755936/3938149487355177163031*c_1001_3^8 - 5683265782945943209833/15752597949420708652124*c_1001_3^7 - 28087218207253212978763/15752597949420708652124*c_1001_3^6 - 5265711789152714425643/3938149487355177163031*c_1001_3^5 + 44355074326140895064841/15752597949420708652124*c_1001_3^4 + 77451016770688530229515/15752597949420708652124*c_1001_3^3 - 2938016885303875629217/15752597949420708652124*c_1001_3^2 - 22085536122988393759681/7876298974710354326062*c_1001_3 - 16446431419784624162411/15752597949420708652124, c_0011_4 + 1770104817900438935/3938149487355177163031*c_1001_3^12 + 1844537749187056189/7876298974710354326062*c_1001_3^11 - 146630206862086293877/3938149487355177163031*c_1001_3^10 + 126760169694190277221/7876298974710354326062*c_1001_3^9 + 6230327286091565770129/7876298974710354326062*c_1001_3^8 + 1321694182405673608073/3938149487355177163031*c_1001_3^7 - 17382433788110305554147/3938149487355177163031*c_1001_3^6 - 31235922455467439867329/7876298974710354326062*c_1001_3^5 + 62902465176088713164397/7876298974710354326062*c_1001_3^4 + 86650981197185591642863/7876298974710354326062*c_1001_3^3 - 9618790754781202940363/7876298974710354326062*c_1001_3^2 - 53643594813185617496393/7876298974710354326062*c_1001_3 - 13856828210424909679964/3938149487355177163031, c_0101_0 + 2201394960908009539/82701139234458720423651*c_1001_3^12 - 205848907521644120885/110268185645944960564868*c_1001_3^11 + 364881764126215166912/82701139234458720423651*c_1001_3^10 + 10923272898554424303775/82701139234458720423651*c_1001_3^9 - 46459075926991020084376/82701139234458720423651*c_1001_3^8 - 159283758587311296312137/165402278468917440847302*c_1001_3^7 + 1083388875293334699714809/330804556937834881694604*c_1001_3^6 + 317174828082828764562230/82701139234458720423651*c_1001_3^5 - 474338026279581287198306/82701139234458720423651*c_1001_3^4 - 118465924235921167084207/15752597949420708652124*c_1001_3^3 + 144381700808768715715049/82701139234458720423651*c_1001_3^2 + 1604776878126861991742455/330804556937834881694604*c_1001_3 + 23896996707905647550695/15752597949420708652124, c_0101_3 + 157397233684791017861/7876298974710354326062*c_1001_3^12 - 638015455670765283701/15752597949420708652124*c_1001_3^11 - 11786071701795500519511/7876298974710354326062*c_1001_3^10 + 17217953874552507412595/3938149487355177163031*c_1001_3^9 + 157480360589011841420755/7876298974710354326062*c_1001_3^8 - 163093341285536755058943/7876298974710354326062*c_1001_3^7 - 1594541714673882640235321/15752597949420708652124*c_1001_3^6 - 29031838164899774622868/3938149487355177163031*c_1001_3^5 + 754685434037979424577835/3938149487355177163031*c_1001_3^4 + 2153526155570349974289469/15752597949420708652124*c_1001_3^3 - 283251829402194836412922/3938149487355177163031*c_1001_3^2 - 1791326853860448381787879/15752597949420708652124*c_1001_3 - 675373078261176067616029/15752597949420708652124, c_0101_5 + 3898081712680699124033/330804556937834881694604*c_1001_3^12 - 651842014593874664871/27567046411486240141217*c_1001_3^11 - 145959310095985634890219/165402278468917440847302*c_1001_3^10 + 423270674345463315094873/165402278468917440847302*c_1001_3^9 + 1954349347235217907959065/165402278468917440847302*c_1001_3^8 - 3923143484156589240913805/330804556937834881694604*c_1001_3^7 - 9899831016524453538639907/165402278468917440847302*c_1001_3^6 - 919153630275900724477699/165402278468917440847302*c_1001_3^5 + 37443452486913740582461673/330804556937834881694604*c_1001_3^4 + 641409919582009148102545/7876298974710354326062*c_1001_3^3 - 14208059526028370396751785/330804556937834881694604*c_1001_3^2 - 22018623224358986525096443/330804556937834881694604*c_1001_3 - 97516827955647438716852/3938149487355177163031, c_1001_3^13 - 3*c_1001_3^12 - 73*c_1001_3^11 + 292*c_1001_3^10 + 794*c_1001_3^9 - 2041*c_1001_3^8 - 4105*c_1001_3^7 + 4763*c_1001_3^6 + 10177*c_1001_3^5 - 2919*c_1001_3^4 - 10762*c_1001_3^3 - 2018*c_1001_3^2 + 3696*c_1001_3 + 2205 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB