Magma V2.19-8 Tue Aug 20 2013 16:16:43 on localhost [Seed = 1511769745] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1003 geometric_solution 4.88886035 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.546274163463 0.188567240126 0 2 2 0 3201 0132 1023 0132 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 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 1.258303329701 0.351674603438 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 -1 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 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.577304825839 0.631027537619 2 5 4 4 0132 0132 1302 2031 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 0 0 0 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.392967417183 0.374046635291 3 3 2 5 2031 1302 0132 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 0 0 0 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.392967417183 0.374046635291 6 3 4 6 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.508519346543 0.714111651401 5 5 6 6 0132 2310 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 1.959083849063 1.152226757171 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], '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_4, c_0101_0, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 42 Groebner basis: [ t + 6962951060506553737326044233061631/29093925412454075889351915421088\ *c_0101_5*c_0101_6^20 + 559447325577100766987289499567906219/145469\ 627062270379446759577105440*c_0101_5*c_0101_6^19 + 33175152737056034210459835838664407/3636740676556759486168989427636\ *c_0101_5*c_0101_6^18 - 4954681502660644478218728515534172143/14546\ 9627062270379446759577105440*c_0101_5*c_0101_6^17 - 15940100118190464686063868982012945987/1454696270622703794467595771\ 05440*c_0101_5*c_0101_6^16 + 6225592129871122404936996833871160049/\ 18183703382783797430844947138180*c_0101_5*c_0101_6^15 + 75675893849088328289450541634154396553/1454696270622703794467595771\ 05440*c_0101_5*c_0101_6^14 - 15838716855967961016822077140017101891\ 3/72734813531135189723379788552720*c_0101_5*c_0101_6^13 - 54634505984612921509242177396756790949/1454696270622703794467595771\ 05440*c_0101_5*c_0101_6^12 + 76374060923575900771280347614224607900\ 3/145469627062270379446759577105440*c_0101_5*c_0101_6^11 - 131140807206834325102887966937465206903/145469627062270379446759577\ 105440*c_0101_5*c_0101_6^10 - 4498885968108969088214776221937827038\ 19/72734813531135189723379788552720*c_0101_5*c_0101_6^9 + 489385120363158075031166548806033445/316238319700587781405999080664\ *c_0101_5*c_0101_6^8 + 282987396904165584801501570386151258397/7273\ 4813531135189723379788552720*c_0101_5*c_0101_6^7 - 62939057881993585173843090114068638419/7273481353113518972337978855\ 2720*c_0101_5*c_0101_6^6 - 36729013276096483305044487130703364611/2\ 9093925412454075889351915421088*c_0101_5*c_0101_6^5 + 29278914824325894880482260496128797613/1454696270622703794467595771\ 05440*c_0101_5*c_0101_6^4 + 2515618111474245346784665155865597153/1\ 4546962706227037944675957710544*c_0101_5*c_0101_6^3 - 3710636489129415363165929636980263857/14546962706227037944675957710\ 5440*c_0101_5*c_0101_6^2 - 23240946917190847119099571204145569/4545\ 925845695949357711236784545*c_0101_5*c_0101_6 + 384500673814490441065701543273097749/145469627062270379446759577105\ 440*c_0101_5, c_0011_0 - 1, c_0011_1 - 1514676773453702683625083796899/9091851691391898715422473569\ 090*c_0101_6^20 - 21988807024709895248417995551163/9091851691391898\ 715422473569090*c_0101_6^19 - 10463525350867196406193225675996/4545\ 925845695949357711236784545*c_0101_6^18 + 291265909889959904046618909299873/9091851691391898715422473569090*c\ _0101_6^17 + 348576858919594316399617056675767/90918516913918987154\ 22473569090*c_0101_6^16 - 1524589397021921936786843531852851/454592\ 5845695949357711236784545*c_0101_6^15 + 53984440179157857870391527407811/1818370338278379743084494713818*c_\ 0101_6^14 + 8429592968885918095847163810866413/45459258456959493577\ 11236784545*c_0101_6^13 - 3717990498251802733298141557539755/181837\ 0338278379743084494713818*c_0101_6^12 - 25797187835348052859747368049153863/9091851691391898715422473569090\ *c_0101_6^11 + 43882603051222325424189918040697689/9091851691391898\ 715422473569090*c_0101_6^10 + 6960287015185155245401640102195593/45\ 45925845695949357711236784545*c_0101_6^9 - 868078212288036073669007755737524/197648949812867363378749425415*c_\ 0101_6^8 - 137453886318248998859729401940074/9091851691391898715422\ 47356909*c_0101_6^7 + 8256813658052929492308886092823958/4545925845\ 695949357711236784545*c_0101_6^6 - 956213969069551742940002282974433/9091851691391898715422473569090*c\ _0101_6^5 - 2863433459746995233814461655713661/90918516913918987154\ 22473569090*c_0101_6^4 + 199050181431720926558639085073571/45459258\ 45695949357711236784545*c_0101_6^3 + 142661201639340838633838833811577/9091851691391898715422473569090*c\ _0101_6^2 - 35192067920724692907513422368104/4545925845695949357711\ 236784545*c_0101_6 + 2446980115335690398109677076097/90918516913918\ 98715422473569090, c_0011_4 - 1323682102095070608739047957666/4545925845695949357711236784\ 545*c_0101_6^20 - 20045157547376653083335360889563/4545925845695949\ 357711236784545*c_0101_6^19 - 32508843059091439955743106333033/4545\ 925845695949357711236784545*c_0101_6^18 + 208106810144253758749678594357024/4545925845695949357711236784545*c\ _0101_6^17 + 381139611931003762723056454470306/45459258456959493577\ 11236784545*c_0101_6^16 - 2186763684837695263073217835445406/454592\ 5845695949357711236784545*c_0101_6^15 - 522360631351893073043984073161312/4545925845695949357711236784545*c\ _0101_6^14 + 11926174080731799515493538611081498/454592584569594935\ 7711236784545*c_0101_6^13 - 10803551194947093800164359428639484/454\ 5925845695949357711236784545*c_0101_6^12 - 14939413086020421079183346794291339/4545925845695949357711236784545\ *c_0101_6^11 + 23122495236675210869864122083833913/4545925845695949\ 357711236784545*c_0101_6^10 + 2567931832858086384705415429796931/45\ 45925845695949357711236784545*c_0101_6^9 - 695492026087885299057029564000042/197648949812867363378749425415*c_\ 0101_6^8 + 4880898091695011913745599972427454/454592584569594935771\ 1236784545*c_0101_6^7 + 3584766641397684121714838762109886/45459258\ 45695949357711236784545*c_0101_6^6 - 2484970562293440734343393928956237/4545925845695949357711236784545*\ c_0101_6^5 + 150887803202285492555969040372174/45459258456959493577\ 11236784545*c_0101_6^4 + 290705585357297577928806889468113/45459258\ 45695949357711236784545*c_0101_6^3 - 95919227621628838976045281828814/4545925845695949357711236784545*c_\ 0101_6^2 + 575135333827905267469595654229/9091851691391898715422473\ 56909*c_0101_6 + 2863964535527842807973991331757/454592584569594935\ 7711236784545, c_0101_0 - 6160118105878315213176708928878/4545925845695949357711236784\ 545*c_0101_5*c_0101_6^20 - 97137982192457706702342690934567/4545925\ 845695949357711236784545*c_0101_5*c_0101_6^19 - 414739824036136776656886977369813/9091851691391898715422473569090*c\ _0101_5*c_0101_6^18 + 912094625979405114816086094146688/45459258456\ 95949357711236784545*c_0101_5*c_0101_6^17 + 4996543113122205926825420475669809/9091851691391898715422473569090*\ c_0101_5*c_0101_6^16 - 9289759733950266606219548548789137/454592584\ 5695949357711236784545*c_0101_5*c_0101_6^15 - 10018872958699597383981950713874957/4545925845695949357711236784545\ *c_0101_5*c_0101_6^14 + 56220673520355749456825221349343486/4545925\ 845695949357711236784545*c_0101_5*c_0101_6^13 - 17443192001907065229775364796547343/9091851691391898715422473569090\ *c_0101_5*c_0101_6^12 - 232681703028126299121549359271621691/909185\ 1691391898715422473569090*c_0101_5*c_0101_6^11 + 19252578197715510799555274286568255/1818370338278379743084494713818\ *c_0101_5*c_0101_6^10 + 237023900915260669977736556358005653/909185\ 1691391898715422473569090*c_0101_5*c_0101_6^9 - 4329208288812468625090440120939207/395297899625734726757498850830*c\ _0101_5*c_0101_6^8 - 67814650754309566206988132842762621/4545925845\ 695949357711236784545*c_0101_5*c_0101_6^7 + 41746511197840847264920890393871383/9091851691391898715422473569090\ *c_0101_5*c_0101_6^6 + 42717777131735756830781094448352593/90918516\ 91391898715422473569090*c_0101_5*c_0101_6^5 - 3549503625525062170805337983728384/4545925845695949357711236784545*\ c_0101_5*c_0101_6^4 - 2979238485420285333863253331963621/4545925845\ 695949357711236784545*c_0101_5*c_0101_6^3 + 579903967362260732634244979151469/9091851691391898715422473569090*c\ _0101_5*c_0101_6^2 + 170226014744401371109018878638137/909185169139\ 1898715422473569090*c_0101_5*c_0101_6 - 70949333282349301026253280293299/9091851691391898715422473569090*c_\ 0101_5, c_0101_2 - 1583087134537357257792866194777/1818370338278379743084494713\ 818*c_0101_5*c_0101_6^20 - 62254902743488760377582701522999/4545925\ 845695949357711236784545*c_0101_5*c_0101_6^19 - 52391538069766102588311620096873/1818370338278379743084494713818*c_\ 0101_5*c_0101_6^18 + 588653086840887903150165791812588/454592584569\ 5949357711236784545*c_0101_5*c_0101_6^17 + 1579889457539722957650048069270297/4545925845695949357711236784545*\ c_0101_5*c_0101_6^16 - 5997656941092232175112086215245847/454592584\ 5695949357711236784545*c_0101_5*c_0101_6^15 - 12329987743353971981642660062986971/9091851691391898715422473569090\ *c_0101_5*c_0101_6^14 + 72051166768307596218775414426743187/9091851\ 691391898715422473569090*c_0101_5*c_0101_6^13 - 13944349247198354127323127503931597/9091851691391898715422473569090\ *c_0101_5*c_0101_6^12 - 145283325902794359929188497986382671/909185\ 1691391898715422473569090*c_0101_5*c_0101_6^11 + 63408525451822999347773686634301381/9091851691391898715422473569090\ *c_0101_5*c_0101_6^10 + 72248404445889921282888267700212288/4545925\ 845695949357711236784545*c_0101_5*c_0101_6^9 - 524976590119399019301928144586683/79059579925146945351499770166*c_0\ 101_5*c_0101_6^8 - 82570589539378967416152882997723943/909185169139\ 1898715422473569090*c_0101_5*c_0101_6^7 + 11310777765164181245719816095988683/4545925845695949357711236784545\ *c_0101_5*c_0101_6^6 + 2679617687253958339298267279991640/909185169\ 139189871542247356909*c_0101_5*c_0101_6^5 - 3242408647250697671038471448833611/9091851691391898715422473569090*\ c_0101_5*c_0101_6^4 - 785012265340437265482818118742545/18183703382\ 78379743084494713818*c_0101_5*c_0101_6^3 + 287732324085789287861830301643159/9091851691391898715422473569090*c\ _0101_5*c_0101_6^2 + 62131425552716181476603572132968/4545925845695\ 949357711236784545*c_0101_5*c_0101_6 - 24912851095227615658187103137034/4545925845695949357711236784545*c_\ 0101_5, c_0101_5^2 + 2246021350549347689583345199221/90918516913918987154224735\ 69090*c_0101_6^20 + 35115989916052606481741649133271/90918516913918\ 98715422473569090*c_0101_6^19 + 35818888869586507460490879374759/45\ 45925845695949357711236784545*c_0101_6^18 - 65999667117532897172884096866997/1818370338278379743084494713818*c_\ 0101_6^17 - 166641334896215369486037893768493/181837033827837974308\ 4494713818*c_0101_6^16 + 341287650581222235787400651560448/90918516\ 9139189871542247356909*c_0101_6^15 + 2837823045910910449376926913838783/9091851691391898715422473569090*\ c_0101_6^14 - 2000617527443822567568016113779934/909185169139189871\ 542247356909*c_0101_6^13 + 7655963383150424610796232689157451/90918\ 51691391898715422473569090*c_0101_6^12 + 7157028204067766175506044012495127/1818370338278379743084494713818*\ c_0101_6^11 - 24908165057115357803925742929114679/90918516913918987\ 15422473569090*c_0101_6^10 - 13620817878627269152681702356753141/45\ 45925845695949357711236784545*c_0101_6^9 + 491496807993118223998310496102131/197648949812867363378749425415*c_\ 0101_6^8 + 4585237159201154187201682969140782/454592584569594935771\ 1236784545*c_0101_6^7 - 4288276408157564972128899432586651/45459258\ 45695949357711236784545*c_0101_6^6 - 967058139382959473915856741996113/9091851691391898715422473569090*c\ _0101_6^5 + 1405360417210154137727958895084977/90918516913918987154\ 22473569090*c_0101_6^4 - 53630232990260052082149996338379/454592584\ 5695949357711236784545*c_0101_6^3 - 19833357117547883883515081532997/1818370338278379743084494713818*c_\ 0101_6^2 + 11068889085116912642617883217892/45459258456959493577112\ 36784545*c_0101_6 - 1514676773453702683625083796899/909185169139189\ 8715422473569090, c_0101_6^21 + 16*c_0101_6^20 + 37*c_0101_6^19 - 145*c_0101_6^18 - 448*c_0101_6^17 + 1463*c_0101_6^16 + 2075*c_0101_6^15 - 9257*c_0101_6^14 - 935*c_0101_6^13 + 22086*c_0101_6^12 - 5346*c_0101_6^11 - 25635*c_0101_6^10 + 8378*c_0101_6^9 + 15834*c_0101_6^8 - 4848*c_0101_6^7 - 5031*c_0101_6^6 + 1252*c_0101_6^5 + 665*c_0101_6^4 - 165*c_0101_6^3 - 13*c_0101_6^2 + 13*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB