Magma V2.19-8 Tue Aug 20 2013 16:17:00 on localhost [Seed = 1461111684] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1247 geometric_solution 5.14228247 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 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 0 1 -1 0 0 1 -1 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.491083448922 0.328631950850 0 3 2 4 0132 0132 1230 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 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.593536606532 0.941202172075 3 0 4 1 3201 0132 0132 3012 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 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.593536606532 0.941202172075 3 1 3 2 2310 0132 3201 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 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.309304512116 1.127457320217 5 5 1 2 0132 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.073228218601 1.642250597669 4 6 6 4 0132 0132 3201 3201 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.295956346771 0.377032064765 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 0 -1 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.597508777644 0.513643873827 ==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' : negation(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_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_0101_2']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0110_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0110_2'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0110_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], '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' : 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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0110_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0110_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_6, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 8667966082289381649038247507/1161367368070371102771319*c_0110_2^17 - 28782227144207250257507789285/1161367368070371102771319*c_0110_2^15 + 29967791923003273500919227089/1161367368070371102771319*c_0110_2^\ 13 - 354603786797697288685162752509/1161367368070371102771319*c_011\ 0_2^11 + 41029939886476739936095583701/165909624010053014681617*c_0\ 110_2^9 - 174360135986158023012275953400/1161367368070371102771319*\ c_0110_2^7 + 210935459547878859890848122423/11613673680703711027713\ 19*c_0110_2^5 - 13643064193855504710553717571/165909624010053014681\ 617*c_0110_2^3 + 12835098067156409314538023165/11613673680703711027\ 71319*c_0110_2, c_0011_0 - 1, c_0011_4 + 19264701095592301685556/374513823950458272419*c_0110_2^17 + 68546208739082932313955/374513823950458272419*c_0110_2^15 - 50066979219697812009139/374513823950458272419*c_0110_2^13 + 777111831564051684899874/374513823950458272419*c_0110_2^11 - 454318781770558638279051/374513823950458272419*c_0110_2^9 + 289722630359635696550872/374513823950458272419*c_0110_2^7 - 405784558522165487007110/374513823950458272419*c_0110_2^5 + 119919403926701971305270/374513823950458272419*c_0110_2^3 - 5351931791277889166858/374513823950458272419*c_0110_2, c_0101_0 - 2125233726910601894911566/165909624010053014681617*c_0110_2^\ 16 - 7695166347501061449101249/165909624010053014681617*c_0110_2^14 + 5049593874336221246164190/165909624010053014681617*c_0110_2^12 - 85375648759817039038071915/165909624010053014681617*c_0110_2^10 + 44755578595253821100800830/165909624010053014681617*c_0110_2^8 - 28802615544842961558920621/165909624010053014681617*c_0110_2^6 + 42906471175171619642754346/165909624010053014681617*c_0110_2^4 - 10529079012921380221287515/165909624010053014681617*c_0110_2^2 - 143045548067258925825947/165909624010053014681617, c_0101_1 + 1844594565522176969196399/165909624010053014681617*c_0110_2^\ 16 + 6650739940133269135714639/165909624010053014681617*c_0110_2^14 - 4476423097937912337398141/165909624010053014681617*c_0110_2^12 + 74205732778974240682053640/165909624010053014681617*c_0110_2^10 - 39989622519599783528034428/165909624010053014681617*c_0110_2^8 + 25901993272475491348386131/165909624010053014681617*c_0110_2^6 - 37632204828196490576088964/165909624010053014681617*c_0110_2^4 + 9444142444063182864677963/165909624010053014681617*c_0110_2^2 - 6119301120099970498609/165909624010053014681617, c_0101_2 + 30685401091519218/2735734340054627*c_0110_2^17 + 122431643779083771/2735734340054627*c_0110_2^15 - 31921353401407752/2735734340054627*c_0110_2^13 + 1205791745545615865/2735734340054627*c_0110_2^11 - 191046627547857993/2735734340054627*c_0110_2^9 + 176656974431955734/2735734340054627*c_0110_2^7 - 464055770348074634/2735734340054627*c_0110_2^5 - 77190609586600094/2735734340054627*c_0110_2^3 + 58195937780578644/2735734340054627*c_0110_2, c_0101_6 - 3844477087260016892015133/165909624010053014681617*c_0110_2^\ 16 - 13880530323460388841468818/165909624010053014681617*c_0110_2^1\ 4 + 9259476471262160285957214/165909624010053014681617*c_0110_2^12 - 154621455225698237077344507/165909624010053014681617*c_0110_2^10 + 82539625428806103380417474/165909624010053014681617*c_0110_2^8 - 53681065136125424637224862/165909624010053014681617*c_0110_2^6 + 77956908095159768838506046/165909624010053014681617*c_0110_2^4 - 19988892660331913930822161/165909624010053014681617*c_0110_2^2 + 148358085419514871910952/165909624010053014681617, c_0110_2^18 + 988/297*c_0110_2^16 - 340/99*c_0110_2^14 + 4049/99*c_0110_2^12 - 9769/297*c_0110_2^10 + 5948/297*c_0110_2^8 - 7207/297*c_0110_2^6 + 120/11*c_0110_2^4 - 436/297*c_0110_2^2 + 1/297 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB