Magma V2.19-8 Tue Aug 20 2013 16:16:17 on localhost [Seed = 1629552003] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0547 geometric_solution 4.56998421 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 -1 0 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 1 0 -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 2.322120182935 0.196732121601 0 2 2 0 0132 0132 3201 3201 0 0 0 0 0 1 0 -1 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 -1 0 1 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.916738416217 0.672345880944 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 -1 0 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 1 1 -2 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.126137852026 0.307110929205 4 2 5 2 0132 2310 0132 0132 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 1 -1 0 0 0 0 1 0 0 -1 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.794591537805 1.208497475568 3 5 5 6 0132 1230 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 0 -1 1 0 0 0 0 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.696812975292 0.742647576556 6 4 4 3 3201 0213 3012 0132 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 1 0 -1 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.696812975292 0.742647576556 6 6 4 5 1302 2031 0132 2310 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 -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.579240097606 0.330091726341 ==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_5'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], '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' : d['c_0011_0'], 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 189078083498865389271809/31451481457869999757531*c_0101_5^15 - 1078000771566905454665461/31451481457869999757531*c_0101_5^14 - 852343337019226740221341/31451481457869999757531*c_0101_5^13 + 20716682623541188291121704/31451481457869999757531*c_0101_5^12 - 57154668700910502377000422/31451481457869999757531*c_0101_5^11 + 46499471218226890415743868/31451481457869999757531*c_0101_5^10 + 94914783309814185244847854/31451481457869999757531*c_0101_5^9 - 327566700025369001137076273/31451481457869999757531*c_0101_5^8 + 238558564164861480605540282/31451481457869999757531*c_0101_5^7 + 147836099465465539732679895/31451481457869999757531*c_0101_5^6 - 351238491827464535551402567/31451481457869999757531*c_0101_5^5 + 292266199087074026072823925/31451481457869999757531*c_0101_5^4 - 116828949801537359075626168/31451481457869999757531*c_0101_5^3 + 13973037758240301277724721/31451481457869999757531*c_0101_5^2 + 2230432374802523342596540/31451481457869999757531*c_0101_5 - 4287087123464322548220820/31451481457869999757531, c_0011_0 - 1, c_0011_3 - 661800492361847612513/31451481457869999757531*c_0101_5^15 + 3075498406309247564447/31451481457869999757531*c_0101_5^14 + 6481030984508398126129/31451481457869999757531*c_0101_5^13 - 67141534262736790174414/31451481457869999757531*c_0101_5^12 + 128226730846139846950686/31451481457869999757531*c_0101_5^11 + 14426889888190872658/31451481457869999757531*c_0101_5^10 - 410363561727440327666362/31451481457869999757531*c_0101_5^9 + 786109862622515181825270/31451481457869999757531*c_0101_5^8 + 98975528037059744193647/31451481457869999757531*c_0101_5^7 - 831330596365840350107566/31451481457869999757531*c_0101_5^6 + 681493913255486948999103/31451481457869999757531*c_0101_5^5 - 168235409624572553430218/31451481457869999757531*c_0101_5^4 - 197779298904740661938744/31451481457869999757531*c_0101_5^3 + 99041165990986177914117/31451481457869999757531*c_0101_5^2 - 19393472369469919943164/31451481457869999757531*c_0101_5 + 12678576900115305702496/31451481457869999757531, c_0011_5 + 536132339499095092971/31451481457869999757531*c_0101_5^15 - 4036993164937441612891/31451481457869999757531*c_0101_5^14 + 2226751994782520298225/31451481457869999757531*c_0101_5^13 + 67886633659315684068943/31451481457869999757531*c_0101_5^12 - 261998675512911183171693/31451481457869999757531*c_0101_5^11 + 330282259271574972028708/31451481457869999757531*c_0101_5^10 + 246462302779726787319621/31451481457869999757531*c_0101_5^9 - 1510180795155355840834791/31451481457869999757531*c_0101_5^8 + 1850223835063242557714661/31451481457869999757531*c_0101_5^7 + 464388994602429506001893/31451481457869999757531*c_0101_5^6 - 2110238358729178599191844/31451481457869999757531*c_0101_5^5 + 1731331687201306796839059/31451481457869999757531*c_0101_5^4 - 623263514422933065733019/31451481457869999757531*c_0101_5^3 - 34618423810624493337915/31451481457869999757531*c_0101_5^2 + 25824181604023775546660/31451481457869999757531*c_0101_5 - 7277570501289721424053/31451481457869999757531, c_0011_6 - 3485398015120978394824/31451481457869999757531*c_0101_5^15 + 17738687219778041464716/31451481457869999757531*c_0101_5^14 + 26305348862406309509116/31451481457869999757531*c_0101_5^13 - 364909433913244952616151/31451481457869999757531*c_0101_5^12 + 834309102093516665285754/31451481457869999757531*c_0101_5^11 - 369504620881642755921632/31451481457869999757531*c_0101_5^10 - 1957995195355015489724723/31451481457869999757531*c_0101_5^9 + 4896654606024216293953832/31451481457869999757531*c_0101_5^8 - 1553643824058632833222910/31451481457869999757531*c_0101_5^7 - 3548022779123356719871442/31451481457869999757531*c_0101_5^6 + 4647137955984412253163555/31451481457869999757531*c_0101_5^5 - 2706287318442520810147012/31451481457869999757531*c_0101_5^4 + 440306730526139264809863/31451481457869999757531*c_0101_5^3 + 47952766915470399970592/31451481457869999757531*c_0101_5^2 - 38087686390371471911879/31451481457869999757531*c_0101_5 + 7443661941563937536847/31451481457869999757531, c_0101_0 + 1376504977769994310817/31451481457869999757531*c_0101_5^15 - 9403792139059171696005/31451481457869999757531*c_0101_5^14 + 1137169885577329965960/31451481457869999757531*c_0101_5^13 + 165512812698815133296555/31451481457869999757531*c_0101_5^12 - 574626818876365154969916/31451481457869999757531*c_0101_5^11 + 649982508803315283555306/31451481457869999757531*c_0101_5^10 + 665132658177563680576740/31451481457869999757531*c_0101_5^9 - 3314338761236501436777501/31451481457869999757531*c_0101_5^8 + 3578175842188125212701472/31451481457869999757531*c_0101_5^7 + 1221088016496508170463526/31451481457869999757531*c_0101_5^6 - 4401369700232729139975017/31451481457869999757531*c_0101_5^5 + 3537576946697276389368967/31451481457869999757531*c_0101_5^4 - 1254121536866786728714345/31451481457869999757531*c_0101_5^3 - 191415317768493701738314/31451481457869999757531*c_0101_5^2 + 110000957913999265113959/31451481457869999757531*c_0101_5 - 23797454133667269878390/31451481457869999757531, c_0101_1 - 3478313530194950140499/31451481457869999757531*c_0101_5^15 + 18080788136833610822560/31451481457869999757531*c_0101_5^14 + 24398440936936709561724/31451481457869999757531*c_0101_5^13 - 366980860215333577468725/31451481457869999757531*c_0101_5^12 + 869891068234520116805955/31451481457869999757531*c_0101_5^11 - 456123110946549091974830/31451481457869999757531*c_0101_5^10 - 1891553470279471418702851/31451481457869999757531*c_0101_5^9 + 5037970841448797678412077/31451481457869999757531*c_0101_5^8 - 2050356672709134646225043/31451481457869999757531*c_0101_5^7 - 3250997767412041822997160/31451481457869999757531*c_0101_5^6 + 4664974253435660612941307/31451481457869999757531*c_0101_5^5 - 3279341464950038589631233/31451481457869999757531*c_0101_5^4 + 989233938351616792005822/31451481457869999757531*c_0101_5^3 - 136179354843513370116957/31451481457869999757531*c_0101_5^2 - 10604593552804733271080/31451481457869999757531*c_0101_5 + 33631369037848975769235/31451481457869999757531, c_0101_5^16 - 5*c_0101_5^15 - 8*c_0101_5^14 + 104*c_0101_5^13 - 230*c_0101_5^12 + 85*c_0101_5^11 + 570*c_0101_5^10 - 1354*c_0101_5^9 + 322*c_0101_5^8 + 1055*c_0101_5^7 - 1246*c_0101_5^6 + 675*c_0101_5^5 - 45*c_0101_5^4 - 46*c_0101_5^3 + 19*c_0101_5^2 - 3*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB