Magma V2.19-8 Tue Aug 20 2013 16:14:39 on localhost [Seed = 981182012] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s634 geometric_solution 5.12179771 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 0 0 2 0132 3201 2310 0132 0 0 0 0 0 -1 0 1 0 0 1 -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 1 -1 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.151432846898 0.970110085210 0 3 2 4 0132 0132 1302 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631588259383 0.667453932446 1 4 0 3 2031 1023 0132 0132 0 0 0 0 0 0 -1 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 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 0 0.631588259383 0.667453932446 3 1 2 3 3012 0132 0132 1230 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 1.252025822702 0.790448996777 2 5 1 5 1023 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.793367855617 0.503145584232 5 4 5 4 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.744846480430 0.198311782654 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(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_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_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0011_2']), 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_2']), 'c_0101_1' : negation(d['c_0011_2']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0110_4'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0110_4'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_2']), 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0110_4'], 'c_1010_5' : d['c_0110_4'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0110_4'], 'c_1010_1' : d['c_0110_4'], 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0101_0, c_0101_3, c_0101_5, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 410456786558190948015/1749812583284643648512*c_0110_4^25 - 7461228144863375669027/1749812583284643648512*c_0110_4^24 - 29999520913701733854679/874906291642321824256*c_0110_4^23 - 71351099116008537768415/437453145821160912128*c_0110_4^22 - 129870945799946728519001/249973226183520521216*c_0110_4^21 - 1039995428844043996846931/874906291642321824256*c_0110_4^20 - 3552853121074429617420113/1749812583284643648512*c_0110_4^19 - 1142319108171155275883493/437453145821160912128*c_0110_4^18 - 4259401867489517962115167/1749812583284643648512*c_0110_4^17 - 2364253709048190644971681/1749812583284643648512*c_0110_4^16 + 12887616595106433909511/54681643227645114016*c_0110_4^15 + 710273710691912443120937/437453145821160912128*c_0110_4^14 + 4015298507140023582276947/1749812583284643648512*c_0110_4^13 + 1914148177924645475972851/874906291642321824256*c_0110_4^12 + 2818453919724717244552321/1749812583284643648512*c_0110_4^11 + 830681969301573714857863/874906291642321824256*c_0110_4^10 + 763688555860964505036273/1749812583284643648512*c_0110_4^9 + 117522788354086725409985/874906291642321824256*c_0110_4^8 - 11910063708916920056771/874906291642321824256*c_0110_4^7 - 64876517772000766021933/874906291642321824256*c_0110_4^6 - 182891890446645740961663/1749812583284643648512*c_0110_4^5 - 187325731208057499639731/1749812583284643648512*c_0110_4^4 - 63297256122158159256665/874906291642321824256*c_0110_4^3 - 39639323465645894435423/874906291642321824256*c_0110_4^2 - 11815248901341461280521/874906291642321824256*c_0110_4 - 15609353382782785572405/1749812583284643648512, c_0011_0 - 1, c_0011_2 - 12623578234312949897/374959839275280781824*c_0110_4^25 - 66360824761405034229/124986613091760260608*c_0110_4^24 - 672920792276891955905/187479919637640390912*c_0110_4^23 - 652724856146214382339/46869979909410097728*c_0110_4^22 - 13291970616590524288333/374959839275280781824*c_0110_4^21 - 377580499313914265057/5858747488676262216*c_0110_4^20 - 10949334087119475071359/124986613091760260608*c_0110_4^19 - 2786714950483172249287/31246653272940065152*c_0110_4^18 - 23700344158796091849385/374959839275280781824*c_0110_4^17 - 2215137714753780940491/124986613091760260608*c_0110_4^16 + 2898924090725678919863/93739959818820195456*c_0110_4^15 + 1580175234619544217695/23434989954705048864*c_0110_4^14 + 30788204942469085120249/374959839275280781824*c_0110_4^13 + 3425011981123708113389/46869979909410097728*c_0110_4^12 + 19118411882583771360581/374959839275280781824*c_0110_4^11 + 4801531351996371422425/187479919637640390912*c_0110_4^10 + 3094313114208745823803/374959839275280781824*c_0110_4^9 - 22171306431409696343/23434989954705048864*c_0110_4^8 - 210446111546011324291/46869979909410097728*c_0110_4^7 - 125482657361007822499/31246653272940065152*c_0110_4^6 - 1757212438776593953375/374959839275280781824*c_0110_4^5 + 222885991974542804351/374959839275280781824*c_0110_4^4 - 91487980706717807727/31246653272940065152*c_0110_4^3 + 8718202491100386907/11717494977352524432*c_0110_4^2 - 122899689675831923359/93739959818820195456*c_0110_4 + 257532138171876390247/374959839275280781824, c_0101_0 + 1014173512421931173/374959839275280781824*c_0110_4^25 + 6632193976289471489/124986613091760260608*c_0110_4^24 + 80061698823563570465/187479919637640390912*c_0110_4^23 + 21141093828263445955/11717494977352524432*c_0110_4^22 + 1532278845869991711409/374959839275280781824*c_0110_4^21 + 154604710313669945029/46869979909410097728*c_0110_4^20 - 1029934940674376353789/124986613091760260608*c_0110_4^19 - 1041186882213946436147/31246653272940065152*c_0110_4^18 - 22543981592014001074979/374959839275280781824*c_0110_4^17 - 8239812984529510504601/124986613091760260608*c_0110_4^16 - 3531336624699253981091/93739959818820195456*c_0110_4^15 + 34033007649252266747/2929373744338131108*c_0110_4^14 + 19343557799817636911243/374959839275280781824*c_0110_4^13 + 2881689274965531115909/46869979909410097728*c_0110_4^12 + 16917544121157578883559/374959839275280781824*c_0110_4^11 + 3839438598191539993931/187479919637640390912*c_0110_4^10 + 1788301985465037916913/374959839275280781824*c_0110_4^9 - 4488239906261037943/5858747488676262216*c_0110_4^8 - 16571386611708562097/11717494977352524432*c_0110_4^7 - 66781749942594862113/31246653272940065152*c_0110_4^6 - 1352898410502964982117/374959839275280781824*c_0110_4^5 - 1283229677998895378387/374959839275280781824*c_0110_4^4 - 140040007244236068701/31246653272940065152*c_0110_4^3 - 32608871546872814845/46869979909410097728*c_0110_4^2 - 70435926382558685441/93739959818820195456*c_0110_4 + 317460512205425536253/374959839275280781824, c_0101_3 + 899280561683361535/124986613091760260608*c_0110_4^25 + 16153382414145767305/124986613091760260608*c_0110_4^24 + 64124453110083793511/62493306545880130304*c_0110_4^23 + 75092248369471161757/15623326636470032576*c_0110_4^22 + 1869052900726265049659/124986613091760260608*c_0110_4^21 + 255786350041828169919/7811663318235016288*c_0110_4^20 + 6403838517958396533947/124986613091760260608*c_0110_4^19 + 1719011602809419566723/31246653272940065152*c_0110_4^18 + 4085066473867774974911/124986613091760260608*c_0110_4^17 - 931657504250218295593/124986613091760260608*c_0110_4^16 - 1233867291177181072689/31246653272940065152*c_0110_4^15 - 339063786296024313257/7811663318235016288*c_0110_4^14 - 3094426807939856737231/124986613091760260608*c_0110_4^13 - 96540397349940979529/15623326636470032576*c_0110_4^12 - 326885509520699295379/124986613091760260608*c_0110_4^11 - 587219655695873023055/62493306545880130304*c_0110_4^10 - 1792056119167697357565/124986613091760260608*c_0110_4^9 - 48381810465388981641/3905831659117508144*c_0110_4^8 - 100364366465231709409/15623326636470032576*c_0110_4^7 - 49407533289671482037/31246653272940065152*c_0110_4^6 + 160458963962729453449/124986613091760260608*c_0110_4^5 + 144720657368954712295/124986613091760260608*c_0110_4^4 + 28958581133661446719/31246653272940065152*c_0110_4^3 - 765343525152961569/7811663318235016288*c_0110_4^2 - 12204153177906684731/31246653272940065152*c_0110_4 + 115830191600002486367/124986613091760260608, c_0101_5 - 4529863468048555129/374959839275280781824*c_0110_4^25 - 19382043791040515327/124986613091760260608*c_0110_4^24 - 132595245594073990837/187479919637640390912*c_0110_4^23 - 83438657681792487679/93739959818820195456*c_0110_4^22 + 1504326393929931723967/374959839275280781824*c_0110_4^21 + 3992995480878652223635/187479919637640390912*c_0110_4^20 + 6333628879372370697531/124986613091760260608*c_0110_4^19 + 2354348531876481236485/31246653272940065152*c_0110_4^18 + 26179302749015175843103/374959839275280781824*c_0110_4^17 + 3174310289002521168147/124986613091760260608*c_0110_4^16 - 817953879690348493043/23434989954705048864*c_0110_4^15 - 6884764004677930398641/93739959818820195456*c_0110_4^14 - 26969899984513063406587/374959839275280781824*c_0110_4^13 - 8336293323269098666223/187479919637640390912*c_0110_4^12 - 5675572298875630402457/374959839275280781824*c_0110_4^11 - 110260474180690289023/187479919637640390912*c_0110_4^10 + 1380447104688535082903/374959839275280781824*c_0110_4^9 + 664686358775722304443/187479919637640390912*c_0110_4^8 + 600653037564525258931/187479919637640390912*c_0110_4^7 + 238674999556784063355/62493306545880130304*c_0110_4^6 + 635970042977912563735/374959839275280781824*c_0110_4^5 + 1658618684905304098027/374959839275280781824*c_0110_4^4 - 72470535584592475265/62493306545880130304*c_0110_4^3 + 171696410079377704199/187479919637640390912*c_0110_4^2 - 333842525349656382523/187479919637640390912*c_0110_4 + 193319291534547405869/374959839275280781824, c_0110_4^26 + 18*c_0110_4^25 + 143*c_0110_4^24 + 670*c_0110_4^23 + 2093*c_0110_4^22 + 4663*c_0110_4^21 + 7653*c_0110_4^20 + 9195*c_0110_4^19 + 7421*c_0110_4^18 + 2244*c_0110_4^17 - 4057*c_0110_4^16 - 8356*c_0110_4^15 - 8993*c_0110_4^14 - 6659*c_0110_4^13 - 3397*c_0110_4^12 - 913*c_0110_4^11 + 295*c_0110_4^10 + 559*c_0110_4^9 + 472*c_0110_4^8 + 348*c_0110_4^7 + 323*c_0110_4^6 + 278*c_0110_4^5 + 135*c_0110_4^4 + 44*c_0110_4^3 - 52*c_0110_4^2 - 11*c_0110_4 - 21 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB