Magma V2.19-8 Tue Aug 20 2013 16:18:34 on localhost [Seed = 3313785079] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2759 geometric_solution 5.99627882 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 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 -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.408947278797 0.511197404993 0 3 5 4 0132 0132 0132 0132 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 -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.638701233598 0.783975825147 3 0 4 5 3201 0132 3201 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 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.638701233598 0.783975825147 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.285304825044 1.188464692096 2 6 1 6 2310 0132 0132 1023 0 0 0 0 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 -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 1.123845754155 0.771318873846 2 5 5 1 3201 1230 3012 0132 0 0 0 0 0 -1 1 0 0 0 1 -1 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 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.052962187437 0.643017673359 6 4 6 4 2031 0132 1302 1023 0 0 0 0 0 0 -1 1 1 0 -1 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 0 1 -1 -1 0 1 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.537366202914 0.229761806599 ==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_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], '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' : negation(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' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_5'], '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' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_5'], '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_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 1333733504904268807512925356261000730452/91742638385395368051125623\ 81212025937*c_0110_6^20 - 16140457375587543747853430616146359675365\ /9174263838539536805112562381212025937*c_0110_6^19 + 44610589257638646255177576730250175171463/9174263838539536805112562\ 381212025937*c_0110_6^18 + 5735092372807876945404154314116767070197\ 0/9174263838539536805112562381212025937*c_0110_6^17 + 94113802215781350848205522815621659924995/9174263838539536805112562\ 381212025937*c_0110_6^16 - 2136739079432093293728335286047196811535\ 32/9174263838539536805112562381212025937*c_0110_6^15 - 635979491472469406703187958817040954098997/917426383853953680511256\ 2381212025937*c_0110_6^14 - 303755893275682913067811836808266122844\ 089/9174263838539536805112562381212025937*c_0110_6^13 - 212065598633967712761227658550302824380370/917426383853953680511256\ 2381212025937*c_0110_6^12 + 618319717119153526819014297643537800191\ 880/9174263838539536805112562381212025937*c_0110_6^11 + 2312506377039030722687222754824696843754154/91742638385395368051125\ 62381212025937*c_0110_6^10 + 17498750250783877537022282008389764279\ 81215/9174263838539536805112562381212025937*c_0110_6^9 + 150697860633181392867105444391971857754078/917426383853953680511256\ 2381212025937*c_0110_6^8 + 5094849070536861041998726361329220275668\ 4/9174263838539536805112562381212025937*c_0110_6^7 + 288026831588128344341244465207955209516965/917426383853953680511256\ 2381212025937*c_0110_6^6 + 3794550246840187705883728678896151325702\ 0/9174263838539536805112562381212025937*c_0110_6^5 - 103257345565458577315789732860272851431026/917426383853953680511256\ 2381212025937*c_0110_6^4 - 4804760902069519516363631732477552185975\ 6/9174263838539536805112562381212025937*c_0110_6^3 - 18670747633382714277143200073275085448239/9174263838539536805112562\ 381212025937*c_0110_6^2 - 12104411435863721146858166939154663791089\ /9174263838539536805112562381212025937*c_0110_6 - 2345175369774993101142337185302667970321/91742638385395368051125623\ 81212025937, c_0011_0 - 1, c_0011_4 + 15916235142600542770111913085098020551/917426383853953680511\ 2562381212025937*c_0110_6^20 + 194176278719197032007816787312730794\ 446/9174263838539536805112562381212025937*c_0110_6^19 - 515207784624050305198771047465285902253/917426383853953680511256238\ 1212025937*c_0110_6^18 - 756520912500982542325430039542377682896/91\ 74263838539536805112562381212025937*c_0110_6^17 - 1116125111245973777509444908669532119929/91742638385395368051125623\ 81212025937*c_0110_6^16 + 2458218126670555398319812328217693473544/\ 9174263838539536805112562381212025937*c_0110_6^15 + 7944768180639616254066094833708131131638/91742638385395368051125623\ 81212025937*c_0110_6^14 + 4008238620580323149457026379910440582001/\ 9174263838539536805112562381212025937*c_0110_6^13 + 2329646007147203843574453560418676458628/91742638385395368051125623\ 81212025937*c_0110_6^12 - 7074857335518059519699615841087503277169/\ 9174263838539536805112562381212025937*c_0110_6^11 - 28623395462555073692948603450688361792824/9174263838539536805112562\ 381212025937*c_0110_6^10 - 2257423368762527601155335313785152420252\ 7/9174263838539536805112562381212025937*c_0110_6^9 - 1596580041132230960545390911994507699983/91742638385395368051125623\ 81212025937*c_0110_6^8 - 290188524761306333323017247489440767014/91\ 74263838539536805112562381212025937*c_0110_6^7 - 3767469735507356838634777572644113011756/91742638385395368051125623\ 81212025937*c_0110_6^6 - 435313510524865931343017278301553162040/91\ 74263838539536805112562381212025937*c_0110_6^5 + 1371288763470336127683864732132341739677/91742638385395368051125623\ 81212025937*c_0110_6^4 + 570254573644822902143982478923843824887/91\ 74263838539536805112562381212025937*c_0110_6^3 + 207704481834830498457142331619424524593/917426383853953680511256238\ 1212025937*c_0110_6^2 + 156156484393895403037282543197972833118/917\ 4263838539536805112562381212025937*c_0110_6 + 26414156737589275365237402755671742350/9174263838539536805112562381\ 212025937, c_0101_0 - 856471341345238057517979652484357715/91742638385395368051125\ 62381212025937*c_0110_6^20 - 8337031416128991706235819336007396741/\ 9174263838539536805112562381212025937*c_0110_6^19 + 50700685434704635904526903696486101125/9174263838539536805112562381\ 212025937*c_0110_6^18 - 58574564738073044304734397096187774524/9174\ 263838539536805112562381212025937*c_0110_6^17 + 84605333233426366776229611706611545381/9174263838539536805112562381\ 212025937*c_0110_6^16 - 280021987280314478607507089709074014881/917\ 4263838539536805112562381212025937*c_0110_6^15 + 70476431118675475233549187601097016777/9174263838539536805112562381\ 212025937*c_0110_6^14 + 216906623498193505417097883972243223586/917\ 4263838539536805112562381212025937*c_0110_6^13 - 332457788383120630127318469139102189012/917426383853953680511256238\ 1212025937*c_0110_6^12 + 918798646041791042789193130479831756354/91\ 74263838539536805112562381212025937*c_0110_6^11 + 86081879829234579921161042721531148540/9174263838539536805112562381\ 212025937*c_0110_6^10 - 799868261608777946469950305605932614430/917\ 4263838539536805112562381212025937*c_0110_6^9 + 246806899788538115252300837309555268801/917426383853953680511256238\ 1212025937*c_0110_6^8 - 57875919247491608183229347705714808324/9174\ 263838539536805112562381212025937*c_0110_6^7 - 320139151209184104445785331380310047373/917426383853953680511256238\ 1212025937*c_0110_6^6 + 15489502028258116687368203780771747889/9174\ 263838539536805112562381212025937*c_0110_6^5 + 331336494957101240952947509969665456/917426383853953680511256238121\ 2025937*c_0110_6^4 - 42015330621956417070263244345682970754/9174263\ 838539536805112562381212025937*c_0110_6^3 - 1024747869822182748185159307362790764/91742638385395368051125623812\ 12025937*c_0110_6^2 + 22098318095873463961686139406240666373/917426\ 3838539536805112562381212025937*c_0110_6 + 523072061108685944484471381081590187/917426383853953680511256238121\ 2025937, c_0101_1 - 16902986431737337130506228258373514579/917426383853953680511\ 2562381212025937*c_0110_6^20 - 198642418713574130965602673910890738\ 972/9174263838539536805112562381212025937*c_0110_6^19 + 634042584721941641549539356548268772757/917426383853953680511256238\ 1212025937*c_0110_6^18 + 496479355717726280683292063786905348387/91\ 74263838539536805112562381212025937*c_0110_6^17 + 1060490376314164644770824036858332326980/91742638385395368051125623\ 81212025937*c_0110_6^16 - 3096690521102541139330426300129519819979/\ 9174263838539536805112562381212025937*c_0110_6^15 - 6935162565815781811048741820623566913314/91742638385395368051125623\ 81212025937*c_0110_6^14 - 1628969569319153998145600928128108490288/\ 9174263838539536805112562381212025937*c_0110_6^13 - 2245092299334701969219543109088525817730/91742638385395368051125623\ 81212025937*c_0110_6^12 + 8847909302622128689271590145587218068680/\ 9174263838539536805112562381212025937*c_0110_6^11 + 26054645700390850520687344242348232736384/9174263838539536805112562\ 381212025937*c_0110_6^10 + 1363123624987175997569143285583778963087\ 3/9174263838539536805112562381212025937*c_0110_6^9 - 2198014591867975613850037845974299092078/91742638385395368051125623\ 81212025937*c_0110_6^8 + 846052408641383820778375860147985772300/91\ 74263838539536805112562381212025937*c_0110_6^7 + 3046356546392550321931109372643041101975/91742638385395368051125623\ 81212025937*c_0110_6^6 - 289446610588452542637406651061589967537/91\ 74263838539536805112562381212025937*c_0110_6^5 - 1169957739943597230107812413531028824128/91742638385395368051125623\ 81212025937*c_0110_6^4 - 319592915216030635474906861248933298860/91\ 74263838539536805112562381212025937*c_0110_6^3 - 149066185851151478726024137100630974353/917426383853953680511256238\ 1212025937*c_0110_6^2 - 85845238787811099808806394705144962929/9174\ 263838539536805112562381212025937*c_0110_6 - 4483479948359019844115793235307093390/91742638385395368051125623812\ 12025937, c_0101_2 + 12424422399025156834995842479656755373/917426383853953680511\ 2562381212025937*c_0110_6^20 + 152352007546222448689477725496732974\ 828/9174263838539536805112562381212025937*c_0110_6^19 - 393659925528323875725473841435804473410/917426383853953680511256238\ 1212025937*c_0110_6^18 - 626234921498031872688219119763870864677/91\ 74263838539536805112562381212025937*c_0110_6^17 - 867450791529902588870761939935651526003/917426383853953680511256238\ 1212025937*c_0110_6^16 + 1868816353535583012392446359158162886168/9\ 174263838539536805112562381212025937*c_0110_6^15 + 6387213872451055081628111783587496642815/91742638385395368051125623\ 81212025937*c_0110_6^14 + 3309136362391098068025615288451765936420/\ 9174263838539536805112562381212025937*c_0110_6^13 + 1748094362711414785709223921631399771354/91742638385395368051125623\ 81212025937*c_0110_6^12 - 5404706841329643182458277811756162821666/\ 9174263838539536805112562381212025937*c_0110_6^11 - 22868613991415850243696615101031217132748/9174263838539536805112562\ 381212025937*c_0110_6^10 - 1841868703978150978458026986719083511361\ 7/9174263838539536805112562381212025937*c_0110_6^9 - 1249298724630961641688017064023360889377/91742638385395368051125623\ 81212025937*c_0110_6^8 + 8905093312643994055238170749132432227/9174\ 263838539536805112562381212025937*c_0110_6^7 - 3016428882349138370653576981858822779104/91742638385395368051125623\ 81212025937*c_0110_6^6 - 416766728040256650530794325078715112101/91\ 74263838539536805112562381212025937*c_0110_6^5 + 1161965956708600624915754873795338385154/91742638385395368051125623\ 81212025937*c_0110_6^4 + 474575576299984211750798787178762728392/91\ 74263838539536805112562381212025937*c_0110_6^3 + 150642354230416979592085151529274492477/917426383853953680511256238\ 1212025937*c_0110_6^2 + 129407302596465622359112047196063595501/917\ 4263838539536805112562381212025937*c_0110_6 + 23114707064091484335426982803978899417/9174263838539536805112562381\ 212025937, c_0101_5 + 4071407528761682239142069680338709074/9174263838539536805112\ 562381212025937*c_0110_6^20 + 4228064796728163914705132445133858508\ 3/9174263838539536805112562381212025937*c_0110_6^19 - 215865476070754684643311811181640511545/917426383853953680511256238\ 1212025937*c_0110_6^18 + 114672979187734428370702045620940597230/91\ 74263838539536805112562381212025937*c_0110_6^17 - 190751615533895094736825605555172068027/917426383853953680511256238\ 1212025937*c_0110_6^16 + 1077668980671279284849585612312973349501/9\ 174263838539536805112562381212025937*c_0110_6^15 + 527649099721688655437114393722301383282/917426383853953680511256238\ 1212025937*c_0110_6^14 - 1406285182094025725033224330032450552607/9\ 174263838539536805112562381212025937*c_0110_6^13 + 698102131827440410810993669867973980878/917426383853953680511256238\ 1212025937*c_0110_6^12 - 3069736210843819208613375365438009237688/9\ 174263838539536805112562381212025937*c_0110_6^11 - 3043699701290837635013993723646160000792/91742638385395368051125623\ 81212025937*c_0110_6^10 + 3914459887105474383577829071439928618085/\ 9174263838539536805112562381212025937*c_0110_6^9 + 2208945721832020195162297778061582441924/91742638385395368051125623\ 81212025937*c_0110_6^8 - 1121414911493501751001547248784191000421/9\ 174263838539536805112562381212025937*c_0110_6^7 + 295452605132279678570450661202338411515/917426383853953680511256238\ 1212025937*c_0110_6^6 + 755246877583230619489531942954733608645/917\ 4263838539536805112562381212025937*c_0110_6^5 - 64833742792702706028326759741688356513/9174263838539536805112562381\ 212025937*c_0110_6^4 - 149317836868539524830634211207456846000/9174\ 263838539536805112562381212025937*c_0110_6^3 + 2420001275843282141393946312591489992/91742638385395368051125623812\ 12025937*c_0110_6^2 - 41488547726568810689857477439876228114/917426\ 3838539536805112562381212025937*c_0110_6 - 15359160758339678440617427247447514093/9174263838539536805112562381\ 212025937, c_0110_6^21 + 37/3*c_0110_6^20 - 92/3*c_0110_6^19 - 51*c_0110_6^18 - 239/3*c_0110_6^17 + 433/3*c_0110_6^16 + 1546/3*c_0110_6^15 + 334*c_0110_6^14 + 611/3*c_0110_6^13 - 428*c_0110_6^12 - 5534/3*c_0110_6^11 - 5105/3*c_0110_6^10 - 1157/3*c_0110_6^9 - 152/3*c_0110_6^8 - 227*c_0110_6^7 - 76*c_0110_6^6 + 74*c_0110_6^5 + 160/3*c_0110_6^4 + 64/3*c_0110_6^3 + 12*c_0110_6^2 + 11/3*c_0110_6 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB