Magma V2.19-8 Tue Aug 20 2013 16:18:05 on localhost [Seed = 1629552041] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2306 geometric_solution 5.70524611 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 1 0 -1 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.222057859470 0.179611997158 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 1 -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 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.055649420607 2.022320568716 1 3 4 5 0132 3201 0132 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.284396528944 0.880108081391 5 4 2 1 1023 0132 2310 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 1 0 -1 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.284396528944 0.880108081391 4 3 4 2 2031 0132 1302 0132 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 0 0 0 0.598245657683 0.494580493795 6 3 2 6 0132 1023 0132 3201 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 -1 0 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.758527012356 0.400343891568 5 5 6 6 0132 2310 2031 1302 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 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.454021951459 0.842560684364 ==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_0101_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 7136265745414693214359714917545141974383702792799/27489361080627495\ 7041269041824976475218003612395*c_0101_6^37 + 9427716096756475251149633264648962641799941640343/91631203602091652\ 347089680608325491739334537465*c_0101_6^35 + 33183758615253261483690367566954259757093870743534/3054373453403055\ 0782363226869441830579778179155*c_0101_6^33 - 3721943160303748629929226211414547404134005217636838/27489361080627\ 4957041269041824976475218003612395*c_0101_6^31 + 798955797141771700820873975445991348340619645346771/274893610806274\ 957041269041824976475218003612395*c_0101_6^29 - 77277405816898752712134925848149469596136219615216226/2748936108062\ 74957041269041824976475218003612395*c_0101_6^27 + 940644440796520192374200761433271126668206523783944993/274893610806\ 274957041269041824976475218003612395*c_0101_6^25 - 763649797667067953689678573039165565750654332929402404/549787221612\ 54991408253808364995295043600722479*c_0101_6^23 + 8270190014407886685782473245685910785455211345149719939/27489361080\ 6274957041269041824976475218003612395*c_0101_6^21 - 1234198546787955522649782313907363002268408326872354043/30543734534\ 030550782363226869441830579778179155*c_0101_6^19 + 9846790920124984127461018184626232380225829123218081022/27489361080\ 6274957041269041824976475218003612395*c_0101_6^17 - 5911985464913895686541467116835257864661379606243900704/27489361080\ 6274957041269041824976475218003612395*c_0101_6^15 + 2514675998517546694845863652114059485930762786303629404/27489361080\ 6274957041269041824976475218003612395*c_0101_6^13 - 861960388961600515201160635228651601013069467859426139/274893610806\ 274957041269041824976475218003612395*c_0101_6^11 + 248556846114086379272761086131138963433681602779664921/274893610806\ 274957041269041824976475218003612395*c_0101_6^9 - 5975891066575120560182325773590777565549350111680602/30543734534030\ 550782363226869441830579778179155*c_0101_6^7 + 1838123511173048497433034271083549960779535648685091/54978722161254\ 991408253808364995295043600722479*c_0101_6^5 - 688906774934471684932424025823863249619044424315093/274893610806274\ 957041269041824976475218003612395*c_0101_6^3 + 8597056028526587903635667918172863345190281466812/27489361080627495\ 7041269041824976475218003612395*c_0101_6, c_0011_0 - 1, c_0011_1 + 239622448915932466988107686541222385188276414/18326240720418\ 330469417936121665098347866907493*c_0101_6^36 + 434963022506921904886216662414812043778929155/610874690680611015647\ 2645373888366115955635831*c_0101_6^34 + 1273202526855066911693266124025664911591952687/20362489689353700521\ 57548457962788705318545277*c_0101_6^32 - 110146311921155028813899672727123848107881888643/183262407204183304\ 69417936121665098347866907493*c_0101_6^30 - 158164265344868675872004497555905879562029612755/183262407204183304\ 69417936121665098347866907493*c_0101_6^28 - 2573307170272819760917147727855185415927805715951/18326240720418330\ 469417936121665098347866907493*c_0101_6^26 + 27797226399068703703046373904331454635455558283464/1832624072041833\ 0469417936121665098347866907493*c_0101_6^24 - 81563942664861997935203285877392803463757323868115/1832624072041833\ 0469417936121665098347866907493*c_0101_6^22 + 92130022259875112485889224472717815256273233483457/1832624072041833\ 0469417936121665098347866907493*c_0101_6^20 + 1345998643837526133697893105227486151104354932325/20362489689353700\ 52157548457962788705318545277*c_0101_6^18 - 151016849028227900354013229138210156286294212395328/183262407204183\ 30469417936121665098347866907493*c_0101_6^16 + 183020657407656291023280245410503796047988102306345/183262407204183\ 30469417936121665098347866907493*c_0101_6^14 - 106918522446055311339547412752438908240263589663655/183262407204183\ 30469417936121665098347866907493*c_0101_6^12 + 34419318334577736471052459891735971620949311959694/1832624072041833\ 0469417936121665098347866907493*c_0101_6^10 - 10814466833435763864912248131398009450076270121125/1832624072041833\ 0469417936121665098347866907493*c_0101_6^8 + 372221693691191018197489423123546196916114791920/203624896893537005\ 2157548457962788705318545277*c_0101_6^6 - 279094509976867218594838594314066808345428608468/183262407204183304\ 69417936121665098347866907493*c_0101_6^4 + 29587787161703203889021381064753676915412069654/1832624072041833046\ 9417936121665098347866907493*c_0101_6^2 + 10652010168652410051718923211585444208275481450/1832624072041833046\ 9417936121665098347866907493, c_0011_3 + 2726534544741734817625695237037584754747514357/1832624072041\ 8330469417936121665098347866907493*c_0101_6^37 + 3584212260763547663259434017663112229077945047/61087469068061101564\ 72645373888366115955635831*c_0101_6^35 + 12658282276588676186345876433126689539695522719/2036248968935370052\ 157548457962788705318545277*c_0101_6^33 - 1424100360661273113832328188429665006246535437119/18326240720418330\ 469417936121665098347866907493*c_0101_6^31 + 334637582213415372179324415428289823853211905465/183262407204183304\ 69417936121665098347866907493*c_0101_6^29 - 29544735047720639861128275767614038918999270823940/1832624072041833\ 0469417936121665098347866907493*c_0101_6^27 + 359948778990735971244404299015190681222851099534754/183262407204183\ 30469417936121665098347866907493*c_0101_6^25 - 1466218406729564575383997314205571942350191250960553/18326240720418\ 330469417936121665098347866907493*c_0101_6^23 + 3191820266334052559175338441316633567368957659389229/18326240720418\ 330469417936121665098347866907493*c_0101_6^21 - 479590224249503014746226828340576899022694267732662/203624896893537\ 0052157548457962788705318545277*c_0101_6^19 + 3860509928361395489235849336544427108919454656773239/18326240720418\ 330469417936121665098347866907493*c_0101_6^17 - 2343073538164532275872813642909657001719706160898616/18326240720418\ 330469417936121665098347866907493*c_0101_6^15 + 1005519135256805396893480949796262753877432524618081/18326240720418\ 330469417936121665098347866907493*c_0101_6^13 - 343187247822841599721037905247753763062528613991037/183262407204183\ 30469417936121665098347866907493*c_0101_6^11 + 97803349484536894595993249759405149632488251656409/1832624072041833\ 0469417936121665098347866907493*c_0101_6^9 - 2351587841103297912580437272911222378824725409430/20362489689353700\ 52157548457962788705318545277*c_0101_6^7 + 3480330804323756751668430397065854815597547651951/18326240720418330\ 469417936121665098347866907493*c_0101_6^5 - 197369474380174812600438270216846776116609222817/183262407204183304\ 69417936121665098347866907493*c_0101_6^3 + 32882827931421808359951525418817011779152698078/1832624072041833046\ 9417936121665098347866907493*c_0101_6, c_0101_0 - 979372436573924227761662657902714135778839705/18326240720418\ 330469417936121665098347866907493*c_0101_6^36 - 1419607827868413006819658280797757353576714196/61087469068061101564\ 72645373888366115955635831*c_0101_6^34 - 4737199864470611405022702619555017265998449101/20362489689353700521\ 57548457962788705318545277*c_0101_6^32 + 494311454736167822285998402200648828238250302771/183262407204183304\ 69417936121665098347866907493*c_0101_6^30 + 80267300233425060992157944301666317806118582237/1832624072041833046\ 9417936121665098347866907493*c_0101_6^28 + 10638471330695709920011330450194300703611622313947/1832624072041833\ 0469417936121665098347866907493*c_0101_6^26 - 124983562848235633951917042649742316270660238040875/183262407204183\ 30469417936121665098347866907493*c_0101_6^24 + 475975846778916422170147990715979023452981733551726/183262407204183\ 30469417936121665098347866907493*c_0101_6^22 - 952218131723421713854269804337835415263530084542338/183262407204183\ 30469417936121665098347866907493*c_0101_6^20 + 128711796914377961069544291832024723389056221340278/203624896893537\ 0052157548457962788705318545277*c_0101_6^18 - 906213553798910570328488098767272070167987367234740/183262407204183\ 30469417936121665098347866907493*c_0101_6^16 + 466258597494579629180805039045572719664362469728397/183262407204183\ 30469417936121665098347866907493*c_0101_6^14 - 173872267167322799095179482970172999030134499699247/183262407204183\ 30469417936121665098347866907493*c_0101_6^12 + 60394531913822303698384330096230186913801787122057/1832624072041833\ 0469417936121665098347866907493*c_0101_6^10 - 15901354088700085371679190843326774762202744398067/1832624072041833\ 0469417936121665098347866907493*c_0101_6^8 + 252716088762148072606190610986918028193986521357/203624896893537005\ 2157548457962788705318545277*c_0101_6^6 - 463706410161560202945934411599905558496518788585/183262407204183304\ 69417936121665098347866907493*c_0101_6^4 - 15740433313587000587935259918010746431467337073/1832624072041833046\ 9417936121665098347866907493*c_0101_6^2 + 4434527897025787580327264357873069853629400553/18326240720418330469\ 417936121665098347866907493, c_0101_1 - 309012543972637094960417620903167724754096137/18326240720418\ 330469417936121665098347866907493*c_0101_6^36 - 438505505751212850498383736259816156589889134/610874690680611015647\ 2645373888366115955635831*c_0101_6^34 - 1482543943105061756769460490177831016704114464/20362489689353700521\ 57548457962788705318545277*c_0101_6^32 + 157116219472444748000268782500142144772554360143/183262407204183304\ 69417936121665098347866907493*c_0101_6^30 + 10409475430326278112930135427119372214897511252/1832624072041833046\ 9417936121665098347866907493*c_0101_6^28 + 3360335567445805868395077698521497615078705675055/18326240720418330\ 469417936121665098347866907493*c_0101_6^26 - 39730179904793731991839359809264223181283979122113/1832624072041833\ 0469417936121665098347866907493*c_0101_6^24 + 153929295274471498821624965781598053487608284110879/183262407204183\ 30469417936121665098347866907493*c_0101_6^22 - 315679276585090034480784840762304162011442879210637/183262407204183\ 30469417936121665098347866907493*c_0101_6^20 + 44101121039533903093504843604377187511488376864898/2036248968935370\ 052157548457962788705318545277*c_0101_6^18 - 322304481122609150608257332741708165609715089190866/183262407204183\ 30469417936121665098347866907493*c_0101_6^16 + 168962810213694326799933187529751172107958043573936/183262407204183\ 30469417936121665098347866907493*c_0101_6^14 - 56959808004471461737454268066591484314931068539873/1832624072041833\ 0469417936121665098347866907493*c_0101_6^12 + 13370582962638936590446906742040834221706529809997/1832624072041833\ 0469417936121665098347866907493*c_0101_6^10 - 2010530618115845059971240149791534969751896073132/18326240720418330\ 469417936121665098347866907493*c_0101_6^8 + 37417568759401902361310144375537486473854245150/2036248968935370052\ 157548457962788705318545277*c_0101_6^6 - 30228601242237293283710066523883511246224718020/1832624072041833046\ 9417936121665098347866907493*c_0101_6^4 - 38221401382812032596680834133913878762795350155/1832624072041833046\ 9417936121665098347866907493*c_0101_6^2 - 7225684874150811696652995529482627700063096586/18326240720418330469\ 417936121665098347866907493, c_0101_3 + 2443509770972658025988095718918750291067343889/1832624072041\ 8330469417936121665098347866907493*c_0101_6^37 + 3238144605259882874644841169277697613038762626/61087469068061101564\ 72645373888366115955635831*c_0101_6^35 + 11387148314113104075603299023980444049329800558/2036248968935370052\ 157548457962788705318545277*c_0101_6^33 - 1272675509778892533340179028805127709640241485165/18326240720418330\ 469417936121665098347866907493*c_0101_6^31 + 262555865252542845681552224913167637288746318153/183262407204183304\ 69417936121665098347866907493*c_0101_6^29 - 26507873179089066532270394059272706967153632960013/1832624072041833\ 0469417936121665098347866907493*c_0101_6^27 + 321731972900303702545684764392738212471459165758134/183262407204183\ 30469417936121665098347866907493*c_0101_6^25 - 1304562623398047091704251970509632635067613285427374/18326240720418\ 330469417936121665098347866907493*c_0101_6^23 + 2828551854752953397162721926999414065894088522208673/18326240720418\ 330469417936121665098347866907493*c_0101_6^21 - 423845024854891593223300609344452452365003457150529/203624896893537\ 0052157548457962788705318545277*c_0101_6^19 + 3408773281996523308169609151704154418574780059214128/18326240720418\ 330469417936121665098347866907493*c_0101_6^17 - 2070352936456376488001902988331848154648900202448569/18326240720418\ 330469417936121665098347866907493*c_0101_6^15 + 886946144381610049771338229405569725334044188325311/183262407204183\ 30469417936121665098347866907493*c_0101_6^13 - 296314359683311639968513165888586810122454036280720/183262407204183\ 30469417936121665098347866907493*c_0101_6^11 + 79413660403370431005811644830188103587168165762342/1832624072041833\ 0469417936121665098347866907493*c_0101_6^9 - 1807307639112411901292007971111816553001009742707/20362489689353700\ 52157548457962788705318545277*c_0101_6^7 + 2391001375200509512209676512227270896017338227529/18326240720418330\ 469417936121665098347866907493*c_0101_6^5 + 129672041446918910996250158785521132965129681497/183262407204183304\ 69417936121665098347866907493*c_0101_6^3 - 7049232638581640044834027796509923309625197557/18326240720418330469\ 417936121665098347866907493*c_0101_6, c_0101_6^38 + 4*c_0101_6^36 + 42*c_0101_6^34 - 520*c_0101_6^32 + 93*c_0101_6^30 - 10827*c_0101_6^28 + 131415*c_0101_6^26 - 530259*c_0101_6^24 + 1139836*c_0101_6^22 - 1516360*c_0101_6^20 + 1327964*c_0101_6^18 - 785187*c_0101_6^16 + 328923*c_0101_6^14 - 112358*c_0101_6^12 + 32476*c_0101_6^10 - 7000*c_0101_6^8 + 1234*c_0101_6^6 - 102*c_0101_6^4 + 7*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB