Magma V2.19-8 Tue Aug 20 2013 16:16:22 on localhost [Seed = 189437931] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0640 geometric_solution 4.62844806 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 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 -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.445767683730 0.264192911452 0 0 2 2 2310 0132 3201 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 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.433034885607 0.163728861570 1 3 1 4 2310 0132 0132 0132 0 0 0 0 0 0 1 -1 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 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.755997534709 0.377421086080 5 2 4 4 0132 0132 2310 1230 0 0 0 0 0 0 0 0 1 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.515417131908 1.060591625867 3 3 2 5 3012 3201 0132 0132 0 0 0 0 0 0 1 -1 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 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.515417131908 1.060591625867 3 6 4 6 0132 0132 0132 1023 0 0 0 0 0 -1 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 -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 1.890034040811 1.027889063874 6 5 6 5 2031 0132 1302 1023 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 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.445975917010 0.318606884860 ==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_2'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0011_2'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_3'], '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' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t - 2*c_0101_0 + 3, c_0011_0 - 1, c_0011_2 - c_0101_0, c_0011_4 + c_0101_0, c_0101_0^2 - c_0101_0 - 1, c_0101_1 - 1, c_0101_3 + 1, c_0110_6 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 8741009115564546263424349345803582512/54264078578018923657589737654\ 485419*c_0110_6^23 - 4252473089647178976364387952165329015/54264078\ 578018923657589737654485419*c_0110_6^22 - 165132517710007782713679782232662867970/542640785780189236575897376\ 54485419*c_0110_6^21 + 62817829286339235564022713054870459654/54264\ 078578018923657589737654485419*c_0110_6^20 + 1083267329337079347083374375145043521784/54264078578018923657589737\ 654485419*c_0110_6^19 - 524071133187488126437833458264235459704/542\ 64078578018923657589737654485419*c_0110_6^18 - 3807701276205859595868277455413885502085/54264078578018923657589737\ 654485419*c_0110_6^17 + 1507282482980710553957135809222648011198/54\ 264078578018923657589737654485419*c_0110_6^16 + 10035381207304484786467019785803940982588/5426407857801892365758973\ 7654485419*c_0110_6^15 + 2502516310086301157885913725831323781887/5\ 4264078578018923657589737654485419*c_0110_6^14 - 14738950160412566390759979804497790883865/5426407857801892365758973\ 7654485419*c_0110_6^13 - 11830675670538840366248723945832868659888/\ 54264078578018923657589737654485419*c_0110_6^12 - 2284009954656111557711347131497033857740/54264078578018923657589737\ 654485419*c_0110_6^11 - 9345104489920723861590530919165178435234/54\ 264078578018923657589737654485419*c_0110_6^10 + 5980656646140629425867885795928934550676/54264078578018923657589737\ 654485419*c_0110_6^9 + 18010627635689135875414785246667267732581/54\ 264078578018923657589737654485419*c_0110_6^8 + 1446917035497435931497839444451295765871/54264078578018923657589737\ 654485419*c_0110_6^7 + 3020263337918906499160880165279038164638/542\ 64078578018923657589737654485419*c_0110_6^6 + 3236204429791520166050686785673403229384/54264078578018923657589737\ 654485419*c_0110_6^5 - 2619142247687120485354653182199875655931/542\ 64078578018923657589737654485419*c_0110_6^4 - 1071889732241601359726959732090815087560/54264078578018923657589737\ 654485419*c_0110_6^3 - 57584900348928570520626563564119443508/54264\ 078578018923657589737654485419*c_0110_6^2 + 58861141766621716452776730039496552330/5426407857801892365758973765\ 4485419*c_0110_6 + 40426859072439856143707667473233751764/542640785\ 78018923657589737654485419, c_0011_0 - 1, c_0011_2 + 37737573673958000329101065006192705/542640785780189236575897\ 37654485419*c_0110_6^23 - 14010375049554804629527280162290790/54264\ 078578018923657589737654485419*c_0110_6^22 - 711667267038935918526075752679827234/542640785780189236575897376544\ 85419*c_0110_6^21 + 188708663946196516622474953637967708/5426407857\ 8018923657589737654485419*c_0110_6^20 + 4644369691829810745521458847681610173/54264078578018923657589737654\ 485419*c_0110_6^19 - 1723853103194553284361703161541608603/54264078\ 578018923657589737654485419*c_0110_6^18 - 16286152246517819980364785945960293708/5426407857801892365758973765\ 4485419*c_0110_6^17 + 4568468411196120110965240458568118823/5426407\ 8578018923657589737654485419*c_0110_6^16 + 42622776825947724146194441327213777607/5426407857801892365758973765\ 4485419*c_0110_6^15 + 15820790074253108517433817397996083494/542640\ 78578018923657589737654485419*c_0110_6^14 - 58640472628312037787229921874256156103/5426407857801892365758973765\ 4485419*c_0110_6^13 - 55989029173722774960004928527084122134/542640\ 78578018923657589737654485419*c_0110_6^12 - 20150179013448126879074878031936622964/5426407857801892365758973765\ 4485419*c_0110_6^11 - 47595578890617984615328414613553500425/542640\ 78578018923657589737654485419*c_0110_6^10 + 17445234867442382524612136553034031665/5426407857801892365758973765\ 4485419*c_0110_6^9 + 75189813330037792201588949862307910331/5426407\ 8578018923657589737654485419*c_0110_6^8 + 15392154327853875535275592321756562444/5426407857801892365758973765\ 4485419*c_0110_6^7 + 20425754984961684749664552428236210896/5426407\ 8578018923657589737654485419*c_0110_6^6 + 18603816285079190103736023457730966580/5426407857801892365758973765\ 4485419*c_0110_6^5 - 6678971994997396520134807523479390650/54264078\ 578018923657589737654485419*c_0110_6^4 - 3532518819661572443324829405238451601/54264078578018923657589737654\ 485419*c_0110_6^3 - 646706344756031319907357397853766474/5426407857\ 8018923657589737654485419*c_0110_6^2 + 31547684242095049272054898545316869/5426407857801892365758973765448\ 5419*c_0110_6 + 85302469503571811975271390258490848/542640785780189\ 23657589737654485419, c_0011_4 + 77093992430156255545621490055798220/542640785780189236575897\ 37654485419*c_0110_6^23 - 27768014530803485794861708303327047/54264\ 078578018923657589737654485419*c_0110_6^22 - 1455521488060919760602121487673321794/54264078578018923657589737654\ 485419*c_0110_6^21 + 370289849775036410551153090270309359/542640785\ 78018923657589737654485419*c_0110_6^20 + 9517203256129484431695333299395947808/54264078578018923657589737654\ 485419*c_0110_6^19 - 3430511251847768093501651747480778702/54264078\ 578018923657589737654485419*c_0110_6^18 - 33469046377826483199971536689645122899/5426407857801892365758973765\ 4485419*c_0110_6^17 + 9073359344182610127643600097409941385/5426407\ 8578018923657589737654485419*c_0110_6^16 + 87707604722868990716868036578230978992/5426407857801892365758973765\ 4485419*c_0110_6^15 + 32960503579215425935684873326114971278/542640\ 78578018923657589737654485419*c_0110_6^14 - 120781236653042983417377895296524871559/542640785780189236575897376\ 54485419*c_0110_6^13 - 115863621708531257318279977236314941036/5426\ 4078578018923657589737654485419*c_0110_6^12 - 40520377569674672344721025344452457635/5426407857801892365758973765\ 4485419*c_0110_6^11 - 96382625137175973816499688505252935097/542640\ 78578018923657589737654485419*c_0110_6^10 + 35233275542205199818142082555445664982/5426407857801892365758973765\ 4485419*c_0110_6^9 + 155930601204869125868450331557023985657/542640\ 78578018923657589737654485419*c_0110_6^8 + 31874413964786598372966155550517661851/5426407857801892365758973765\ 4485419*c_0110_6^7 + 39692820222817025933983256299752089000/5426407\ 8578018923657589737654485419*c_0110_6^6 + 38531637542310406252973248920071784166/5426407857801892365758973765\ 4485419*c_0110_6^5 - 14363594215233081842638230982776097761/5426407\ 8578018923657589737654485419*c_0110_6^4 - 7726018900695628039335354998587108597/54264078578018923657589737654\ 485419*c_0110_6^3 - 1090721464275244544056214146875880955/542640785\ 78018923657589737654485419*c_0110_6^2 + 139930408953947700246091623990031047/542640785780189236575897376544\ 85419*c_0110_6 + 211622780891384752617918801339429771/5426407857801\ 8923657589737654485419, c_0101_0 - 4353943719341668593312111035426773/5426407857801892365758973\ 7654485419*c_0110_6^23 - 2475597659393733824925864205306283/5426407\ 8578018923657589737654485419*c_0110_6^22 + 83878414737035011903049334715044748/5426407857801892365758973765448\ 5419*c_0110_6^21 + 54668223937445123295457192343558754/542640785780\ 18923657589737654485419*c_0110_6^20 - 560804847218221371497653097638862327/542640785780189236575897376544\ 85419*c_0110_6^19 - 291617596071144674434652667242553908/5426407857\ 8018923657589737654485419*c_0110_6^18 + 2093936868748255921009013355342324376/54264078578018923657589737654\ 485419*c_0110_6^17 + 1151354748297072607566440266062059265/54264078\ 578018923657589737654485419*c_0110_6^16 - 5496340367745213381964499490807862627/54264078578018923657589737654\ 485419*c_0110_6^15 - 6152325188853613972828394899570635836/54264078\ 578018923657589737654485419*c_0110_6^14 + 5278744988623332906780736111386179839/54264078578018923657589737654\ 485419*c_0110_6^13 + 12225158277044315858969715640380685852/5426407\ 8578018923657589737654485419*c_0110_6^12 + 7690491701371267328228883089372674309/54264078578018923657589737654\ 485419*c_0110_6^11 + 8236045818489646201292088306811341123/54264078\ 578018923657589737654485419*c_0110_6^10 + 3991547143419036939712378374560204497/54264078578018923657589737654\ 485419*c_0110_6^9 - 10457204508904537160374075700827281654/54264078\ 578018923657589737654485419*c_0110_6^8 - 9008102833367113914229686806547477017/54264078578018923657589737654\ 485419*c_0110_6^7 - 3651028360645367485330812988900905057/542640785\ 78018923657589737654485419*c_0110_6^6 - 5413859316392596389301094674796229096/54264078578018923657589737654\ 485419*c_0110_6^5 - 1525597229130095996636218210855229780/542640785\ 78018923657589737654485419*c_0110_6^4 + 922436410790772723312790409459257408/542640785780189236575897376544\ 85419*c_0110_6^3 + 57402189168757416058445398405967772/542640785780\ 18923657589737654485419*c_0110_6^2 + 77667391718081907316032077803013078/5426407857801892365758973765448\ 5419*c_0110_6 + 17508981758270354362626671513516956/542640785780189\ 23657589737654485419, c_0101_1 + 34607297509973273319784400799166710/542640785780189236575897\ 37654485419*c_0110_6^23 - 10843383213632437854825867964920319/54264\ 078578018923657589737654485419*c_0110_6^22 - 653372716414769612251998053014130038/542640785780189236575897376544\ 85419*c_0110_6^21 + 135346319799542426238995858950335020/5426407857\ 8018923657589737654485419*c_0110_6^20 + 4269483623960098403086707127842914542/54264078578018923657589737654\ 485419*c_0110_6^19 - 1336781818502006766317460268836866381/54264078\ 578018923657589737654485419*c_0110_6^18 - 15033860445418902090704543498378122855/5426407857801892365758973765\ 4485419*c_0110_6^17 + 3348750067620710408542712277525396470/5426407\ 8578018923657589737654485419*c_0110_6^16 + 39366913001768470498721933017698715340/5426407857801892365758973765\ 4485419*c_0110_6^15 + 16656120732578005263846615415890654278/542640\ 78578018923657589737654485419*c_0110_6^14 - 53029250689426060028338825911796484396/5426407857801892365758973765\ 4485419*c_0110_6^13 - 54158467043518403188372513302278698962/542640\ 78578018923657589737654485419*c_0110_6^12 - 21121091306667269129630183274918868287/5426407857801892365758973765\ 4485419*c_0110_6^11 - 45008886213642712345727567964519563278/542640\ 78578018923657589737654485419*c_0110_6^10 + 12812305880656753399463491663562933178/5426407857801892365758973765\ 4485419*c_0110_6^9 + 69730820068273952206840961788356157573/5426407\ 8578018923657589737654485419*c_0110_6^8 + 17662231462005796785612433135746805228/5426407857801892365758973765\ 4485419*c_0110_6^7 + 19164337026377429593546827352337115327/5426407\ 8578018923657589737654485419*c_0110_6^6 + 18910537131251837097822685543842496910/5426407857801892365758973765\ 4485419*c_0110_6^5 - 4942944975790630513303235889458324131/54264078\ 578018923657589737654485419*c_0110_6^4 - 3476373935404320981541732301867806010/54264078578018923657589737654\ 485419*c_0110_6^3 - 484502205180466969367556283998027230/5426407857\ 8018923657589737654485419*c_0110_6^2 - 25114617914234271528850498429950605/5426407857801892365758973765448\ 5419*c_0110_6 + 70848468618670606278187555929038730/542640785780189\ 23657589737654485419, c_0101_3 - 1319982700715686641264867014711577/1023850539207904219954523\ 351971423*c_0110_6^23 + 487046024472614559083531259087498/102385053\ 9207904219954523351971423*c_0110_6^22 + 24902519124157227511359027122942156/1023850539207904219954523351971\ 423*c_0110_6^21 - 6551138581833012096108254224550141/10238505392079\ 04219954523351971423*c_0110_6^20 - 162632122404840629147351340434104051/102385053920790421995452335197\ 1423*c_0110_6^19 + 60051892755394768042210022942787429/102385053920\ 7904219954523351971423*c_0110_6^18 + 570896342424412943575467638110908978/102385053920790421995452335197\ 1423*c_0110_6^17 - 159485921057655233372090380608420301/10238505392\ 07904219954523351971423*c_0110_6^16 - 1494994094227560065675734537759309358/10238505392079042199545233519\ 71423*c_0110_6^15 - 553471574151566840805720790394384370/1023850539\ 207904219954523351971423*c_0110_6^14 + 2059424815481605423230410699492762059/10238505392079042199545233519\ 71423*c_0110_6^13 + 1961186793934366333455343585704319053/102385053\ 9207904219954523351971423*c_0110_6^12 + 693510562582994325756698872848379617/102385053920790421995452335197\ 1423*c_0110_6^11 + 1660198243841482852259421641259122483/1023850539\ 207904219954523351971423*c_0110_6^10 - 604427085540963074136102014017077612/102385053920790421995452335197\ 1423*c_0110_6^9 - 2640778449250604368704721139371155579/10238505392\ 07904219954523351971423*c_0110_6^8 - 530279778091511164929372102552793001/102385053920790421995452335197\ 1423*c_0110_6^7 - 698007611089668254362612252557570425/102385053920\ 7904219954523351971423*c_0110_6^6 - 660018928899095468659818665021674123/102385053920790421995452335197\ 1423*c_0110_6^5 + 238079949733236305754438937439653575/102385053920\ 7904219954523351971423*c_0110_6^4 + 122623858951081599129591295141387770/102385053920790421995452335197\ 1423*c_0110_6^3 + 18545493401242765334238233842294789/1023850539207\ 904219954523351971423*c_0110_6^2 - 674063300395160865143424767956614/102385053920790421995452335197142\ 3*c_0110_6 - 3323217930429860657717691013396248/1023850539207904219\ 954523351971423, c_0110_6^24 - 19*c_0110_6^22 - 2*c_0110_6^21 + 125*c_0110_6^20 - 449*c_0110_6^18 - 39*c_0110_6^17 + 1176*c_0110_6^16 + 838*c_0110_6^15 - 1402*c_0110_6^14 - 2062*c_0110_6^13 - 1081*c_0110_6^12 - 1455*c_0110_6^11 + 2175*c_0110_6^9 + 1144*c_0110_6^8 + 681*c_0110_6^7 + 691*c_0110_6^6 - c_0110_6^5 - 161*c_0110_6^4 - 50*c_0110_6^3 - 5*c_0110_6^2 + 3*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB