Magma V2.19-8 Tue Aug 20 2013 16:16:38 on localhost [Seed = 2378961239] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0929 geometric_solution 4.83031056 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 -1 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.232491211590 0.869956137150 0 4 0 4 0132 0132 2310 2310 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 0 0 0 0 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.264876438338 1.121637556163 3 5 3 0 1023 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 1 -1 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.381803579029 1.243065547706 5 2 0 2 3201 1023 0132 3012 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 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 0 0 0 0 0 0 0 0.381803579029 1.243065547706 1 1 4 4 3201 0132 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.384694969327 0.054700719085 6 2 6 3 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.066652902828 1.369118033901 5 5 6 6 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.276403370418 0.150537787392 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(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_0101_5'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0101_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0110_3'], 'c_1100_3' : d['c_0110_3'], 'c_1100_2' : d['c_0110_3'], 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(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_2']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : 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_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0110_4']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0110_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0110_3']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0110_4']), '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_2, c_0101_0, c_0101_1, c_0101_5, c_0110_3, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 147327899896948528073194318501643799/155033223930048639113346685772\ 20024*c_0110_4^24 + 4830150231757511690071419823509690357/775166119\ 6502431955667334288610012*c_0110_4^23 + 29318548211662072336275162055730609745/1550332239300486391133466857\ 7220024*c_0110_4^22 - 21124707430719692957249852606120395295/775166\ 1196502431955667334288610012*c_0110_4^21 - 25395114579467072979277020631468631968/1937915299125607988916833572\ 152503*c_0110_4^20 - 8894624278353536337004136748166963306/19379152\ 99125607988916833572152503*c_0110_4^19 + 218965514495846650414188717646682955603/775166119650243195566733428\ 8610012*c_0110_4^18 + 302486556119019337168108692356948208077/77516\ 61196502431955667334288610012*c_0110_4^17 - 386851154250202624979009644168469616769/155033223930048639113346685\ 77220024*c_0110_4^16 - 278946341819556935224570134849370179691/3875\ 830598251215977833667144305006*c_0110_4^15 + 86333089030519314732262238578521804155/7751661196502431955667334288\ 610012*c_0110_4^14 + 657985104158813048883160679189466100341/155033\ 22393004863911334668577220024*c_0110_4^13 - 238674605567697401357676303029709848227/155033223930048639113346685\ 77220024*c_0110_4^12 + 273961324128273400452150843643461048171/1550\ 3322393004863911334668577220024*c_0110_4^11 + 55091372701657774993297359721283392424/1937915299125607988916833572\ 152503*c_0110_4^10 - 395327519605617238108772885337955487627/155033\ 22393004863911334668577220024*c_0110_4^9 - 200374544651436957412418889603042973055/775166119650243195566733428\ 8610012*c_0110_4^8 + 949402656125365608291281076231518103/155033223\ 93004863911334668577220024*c_0110_4^7 + 175375336604767239719257019795505242017/155033223930048639113346685\ 77220024*c_0110_4^6 + 99077601609736646668281857964995546423/155033\ 22393004863911334668577220024*c_0110_4^5 - 29855544541630385467757751129544658023/1550332239300486391133466857\ 7220024*c_0110_4^4 - 21686332452626278718962232362588338703/1550332\ 2393004863911334668577220024*c_0110_4^3 + 93289760887244703885145071374249837/7751661196502431955667334288610\ 012*c_0110_4^2 - 249512609700379378366219523229488835/3875830598251\ 215977833667144305006*c_0110_4 + 5351430310936643663669700108259600\ 59/15503322393004863911334668577220024, c_0011_0 - 1, c_0011_2 + 10687420282903406965505695623413532/193791529912560798891683\ 3572152503*c_0110_4^24 + 29468879471307437888820818485118425/193791\ 5299125607988916833572152503*c_0110_4^23 - 70836573928707192950438374640863638/1937915299125607988916833572152\ 503*c_0110_4^22 - 238050315000215681365165171325764409/193791529912\ 5607988916833572152503*c_0110_4^21 + 56911852744236447530231713828483283/1937915299125607988916833572152\ 503*c_0110_4^20 + 708196495257686187411950362555408043/193791529912\ 5607988916833572152503*c_0110_4^19 + 543960080724317464035088494327865423/193791529912560798891683357215\ 2503*c_0110_4^18 - 1091001530310282730748753358637618202/1937915299\ 125607988916833572152503*c_0110_4^17 - 1585861334496187408150329694935879333/19379152991256079889168335721\ 52503*c_0110_4^16 + 1037868272088309603619438315952731279/193791529\ 9125607988916833572152503*c_0110_4^15 + 1457631147271741649957722636508458444/19379152991256079889168335721\ 52503*c_0110_4^14 - 722793358950644536979592555348597560/1937915299\ 125607988916833572152503*c_0110_4^13 + 142298630524856142346903360489877681/193791529912560798891683357215\ 2503*c_0110_4^12 + 555188999129475781566817222579239054/19379152991\ 25607988916833572152503*c_0110_4^11 - 1010873146791955842013429455691925201/19379152991256079889168335721\ 52503*c_0110_4^10 - 580604843398553006714632164200014961/1937915299\ 125607988916833572152503*c_0110_4^9 + 451695238446830453659749894208541872/193791529912560798891683357215\ 2503*c_0110_4^8 + 440769816997249900934058165110954828/193791529912\ 5607988916833572152503*c_0110_4^7 + 76490854996823840031477094356002507/1937915299125607988916833572152\ 503*c_0110_4^6 - 152851805883007872291651400395037684/1937915299125\ 607988916833572152503*c_0110_4^5 - 70458414124813040669457744265341555/1937915299125607988916833572152\ 503*c_0110_4^4 + 17104328071389905542215036386553658/19379152991256\ 07988916833572152503*c_0110_4^3 - 116040128655767757258720561936675\ 4/1937915299125607988916833572152503*c_0110_4^2 - 692742069533863196378197538577431/193791529912560798891683357215250\ 3*c_0110_4 + 1694900737737039482368057093377109/1937915299125607988\ 916833572152503, c_0101_0 - 4549385153293094251517019377629290/1937915299125607988916833\ 572152503*c_0110_4^24 - 19364406168707384423277422850737392/1937915\ 299125607988916833572152503*c_0110_4^23 + 6816321283895826541903372595135822/19379152991256079889168335721525\ 03*c_0110_4^22 + 128823562837549473186898600696326339/1937915299125\ 607988916833572152503*c_0110_4^21 + 136524762427591812611705473173301513/193791529912560798891683357215\ 2503*c_0110_4^20 - 229843865374491177930763111454673167/19379152991\ 25607988916833572152503*c_0110_4^19 - 582056706209231011983863336082245737/193791529912560798891683357215\ 2503*c_0110_4^18 - 47482699305658484244927989378791056/193791529912\ 5607988916833572152503*c_0110_4^17 + 969792653317905656367039277349613275/193791529912560798891683357215\ 2503*c_0110_4^16 + 544680467276292943401424355065762694/19379152991\ 25607988916833572152503*c_0110_4^15 - 708289755539281159072692156045403782/193791529912560798891683357215\ 2503*c_0110_4^14 - 410575144019931322463338240342844321/19379152991\ 25607988916833572152503*c_0110_4^13 + 117718907356505660539406281123564928/193791529912560798891683357215\ 2503*c_0110_4^12 - 311303788528947946198368254684365910/19379152991\ 25607988916833572152503*c_0110_4^11 - 5448674991029577043545217480734973/19379152991256079889168335721525\ 03*c_0110_4^10 + 575833363615384443608792486428126061/1937915299125\ 607988916833572152503*c_0110_4^9 + 227014718401208998271826247796680723/193791529912560798891683357215\ 2503*c_0110_4^8 - 231950792665919138879592716995911618/193791529912\ 5607988916833572152503*c_0110_4^7 - 216085991376602814908930549905879653/193791529912560798891683357215\ 2503*c_0110_4^6 - 23082636379054320255655143448007579/1937915299125\ 607988916833572152503*c_0110_4^5 + 61413015020953531218634852710199558/1937915299125607988916833572152\ 503*c_0110_4^4 + 24610474548023636632205511979257120/19379152991256\ 07988916833572152503*c_0110_4^3 - 449064806641539997336834110883074\ 2/1937915299125607988916833572152503*c_0110_4^2 + 18245247273479976531037247788420/1937915299125607988916833572152503\ *c_0110_4 + 876440850130422047627770191597107/193791529912560798891\ 6833572152503, c_0101_1 + 11145481714449452383535165495831658/193791529912560798891683\ 3572152503*c_0110_4^24 + 40639516419129416255345174316512754/193791\ 5299125607988916833572152503*c_0110_4^23 - 40608900199520621259554658150642482/1937915299125607988916833572152\ 503*c_0110_4^22 - 287045575818624915042216105061760366/193791529912\ 5607988916833572152503*c_0110_4^21 - 160667796307405051425570502112988219/193791529912560798891683357215\ 2503*c_0110_4^20 + 636228636440903552646732667871026775/19379152991\ 25607988916833572152503*c_0110_4^19 + 1012150534283943216660802822924000019/19379152991256079889168335721\ 52503*c_0110_4^18 - 457126779357056024538129713481486947/1937915299\ 125607988916833572152503*c_0110_4^17 - 1990017505540600930059429169597291566/19379152991256079889168335721\ 52503*c_0110_4^16 - 115305721876780973629343256002519495/1937915299\ 125607988916833572152503*c_0110_4^15 + 1630280678714843050299866511692243710/19379152991256079889168335721\ 52503*c_0110_4^14 - 71363227247682914804124896972534580/19379152991\ 25607988916833572152503*c_0110_4^13 - 115385445457183311445392664722354397/193791529912560798891683357215\ 2503*c_0110_4^12 + 868921592984519671888778131102675654/19379152991\ 25607988916833572152503*c_0110_4^11 - 543183142912176736539327766662727870/193791529912560798891683357215\ 2503*c_0110_4^10 - 984376248696981313208506384887171797/19379152991\ 25607988916833572152503*c_0110_4^9 + 39821816801823402338864274294003619/1937915299125607988916833572152\ 503*c_0110_4^8 + 431630177200303878298037579837942495/1937915299125\ 607988916833572152503*c_0110_4^7 + 249465121074339706910862262775075652/193791529912560798891683357215\ 2503*c_0110_4^6 - 64674000382623866562026714251022589/1937915299125\ 607988916833572152503*c_0110_4^5 - 95271764683908912198075423483919075/1937915299125607988916833572152\ 503*c_0110_4^4 + 4929138041245590111931608574512692/193791529912560\ 7988916833572152503*c_0110_4^3 + 864912227860825958732009154072384/\ 1937915299125607988916833572152503*c_0110_4^2 - 1693165028690951780704745985543345/19379152991256079889168335721525\ 03*c_0110_4 + 512491977224112994113494442489278/1937915299125607988\ 916833572152503, c_0101_5 + 50024805840050442730859909355515721/193791529912560798891683\ 3572152503*c_0110_4^24 + 176994608466402293640607534508755215/19379\ 15299125607988916833572152503*c_0110_4^23 - 173515736908008881269450275288778530/193791529912560798891683357215\ 2503*c_0110_4^22 - 1172888698963433379528888131713373830/1937915299\ 125607988916833572152503*c_0110_4^21 - 689373382169956100346685724706247088/193791529912560798891683357215\ 2503*c_0110_4^20 + 2312780917141767999989372461856591194/1937915299\ 125607988916833572152503*c_0110_4^19 + 3924274521626003428780373698463716582/19379152991256079889168335721\ 52503*c_0110_4^18 - 1349613962515485641064211442135605560/193791529\ 9125607988916833572152503*c_0110_4^17 - 6797109965725397857930767028280486376/19379152991256079889168335721\ 52503*c_0110_4^16 - 338618941923175001352829661758735507/1937915299\ 125607988916833572152503*c_0110_4^15 + 4217786316167932508785945875899107394/19379152991256079889168335721\ 52503*c_0110_4^14 - 888435217666100709484214683629213164/1937915299\ 125607988916833572152503*c_0110_4^13 + 996228471844566588153618399986119430/193791529912560798891683357215\ 2503*c_0110_4^12 + 3142836321167910397876597084721210376/1937915299\ 125607988916833572152503*c_0110_4^11 - 1766788148008988038716341225158880215/19379152991256079889168335721\ 52503*c_0110_4^10 - 2778266931317695772814950900949349506/193791529\ 9125607988916833572152503*c_0110_4^9 - 312403008259596494391841941711872839/193791529912560798891683357215\ 2503*c_0110_4^8 + 980114977284276302362496225849179072/193791529912\ 5607988916833572152503*c_0110_4^7 + 683164025492234683357345667796273373/193791529912560798891683357215\ 2503*c_0110_4^6 - 91552745019446363465709725436929813/1937915299125\ 607988916833572152503*c_0110_4^5 - 135602219357870660001655394573351583/193791529912560798891683357215\ 2503*c_0110_4^4 + 1527604439129809281698601955088058/19379152991256\ 07988916833572152503*c_0110_4^3 - 733424189365464111177325194843180\ 8/1937915299125607988916833572152503*c_0110_4^2 - 2576956586395001018797647936857111/19379152991256079889168335721525\ 03*c_0110_4 + 1506310563851848293543991171103901/193791529912560798\ 8916833572152503, c_0110_3 - 831780607560092186674672268508129/19379152991256079889168335\ 72152503*c_0110_4^24 - 9205802771361909760116553689729718/193791529\ 9125607988916833572152503*c_0110_4^23 - 18500040989862858629836110911004369/1937915299125607988916833572152\ 503*c_0110_4^22 + 47083219349136978518618590271485535/1937915299125\ 607988916833572152503*c_0110_4^21 + 165895572707756492253915465163137193/193791529912560798891683357215\ 2503*c_0110_4^20 + 17417502262741969641709659435467002/193791529912\ 5607988916833572152503*c_0110_4^19 - 431878517445843817324514735903378924/193791529912560798891683357215\ 2503*c_0110_4^18 - 462938189275878111178763774348205801/19379152991\ 25607988916833572152503*c_0110_4^17 + 471062476320835260371943018490042793/193791529912560798891683357215\ 2503*c_0110_4^16 + 1032780996598897026396641788327660082/1937915299\ 125607988916833572152503*c_0110_4^15 - 226500583916145392236514700612607345/193791529912560798891683357215\ 2503*c_0110_4^14 - 843280177423800733660166603341024698/19379152991\ 25607988916833572152503*c_0110_4^13 + 207584094605725242847955112102406901/193791529912560798891683357215\ 2503*c_0110_4^12 - 49672058843681770384732164887063594/193791529912\ 5607988916833572152503*c_0110_4^11 - 450916876328079134583869887418071891/193791529912560798891683357215\ 2503*c_0110_4^10 + 445248548058277659941368847855853544/19379152991\ 25607988916833572152503*c_0110_4^9 + 460116183505786778350853360446709834/193791529912560798891683357215\ 2503*c_0110_4^8 - 125872296003466376306694858862689000/193791529912\ 5607988916833572152503*c_0110_4^7 - 224000303447898927791979688233135929/193791529912560798891683357215\ 2503*c_0110_4^6 - 90828356719507499712187839288654042/1937915299125\ 607988916833572152503*c_0110_4^5 + 60403840822158934187046491878377528/1937915299125607988916833572152\ 503*c_0110_4^4 + 38630541559378213433776508849082080/19379152991256\ 07988916833572152503*c_0110_4^3 - 127382974282089019972871340854246\ 22/1937915299125607988916833572152503*c_0110_4^2 + 1166810433762146041190931368096308/19379152991256079889168335721525\ 03*c_0110_4 + 560478189948473236020228572701599/1937915299125607988\ 916833572152503, c_0110_4^25 + 68/21*c_0110_4^24 - 113/21*c_0110_4^23 - 176/7*c_0110_4^22 - 20/7*c_0110_4^21 + 208/3*c_0110_4^20 + 1474/21*c_0110_4^19 - 1958/21*c_0110_4^18 - 3839/21*c_0110_4^17 + 230/3*c_0110_4^16 + 1366/7*c_0110_4^15 - 1469/21*c_0110_4^14 - 991/21*c_0110_4^13 + 1859/21*c_0110_4^12 - 230/3*c_0110_4^11 - 1865/21*c_0110_4^10 + 1160/21*c_0110_4^9 + 1241/21*c_0110_4^8 + 11/7*c_0110_4^7 - 529/21*c_0110_4^6 - 223/21*c_0110_4^5 + 125/21*c_0110_4^4 + 16/7*c_0110_4^3 - 8/21*c_0110_4^2 + 1/21*c_0110_4 - 2/21 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB