Magma V2.19-8 Tue Aug 20 2013 16:16:38 on localhost [Seed = 2429619274] 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' : 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' : 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_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: 24 Groebner basis: [ t - 17098940022383925995847294/160678239497540426784853*c_0110_4^23 + 232429840557103082808817925/160678239497540426784853*c_0110_4^22 - 790539746460895701493483830/160678239497540426784853*c_0110_4^21 - 451431663827090702521801074/160678239497540426784853*c_0110_4^20 + 4434293922831201916856770624/160678239497540426784853*c_0110_4^19 - 1007009256605161318346722476/160678239497540426784853*c_0110_4^18 - 8794070475081181452682562212/160678239497540426784853*c_0110_4^17 + 5181642548585962982236137370/160678239497540426784853*c_0110_4^16 + 3718447806522338967591571455/160678239497540426784853*c_0110_4^15 - 8037932268445014799335968329/160678239497540426784853*c_0110_4^14 + 10211343011372748988309004943/160678239497540426784853*c_0110_4^13 + 3089418453406078417842865285/160678239497540426784853*c_0110_4^12 - 15530338093452348967178620776/160678239497540426784853*c_0110_4^11 + 5903295997220067179237115365/160678239497540426784853*c_0110_4^10 + 7966011769994983817323901821/160678239497540426784853*c_0110_4^9 - 7840700355992169076691035298/160678239497540426784853*c_0110_4^8 - 562318975188056956555448414/160678239497540426784853*c_0110_4^7 + 3556578134874589979144441931/160678239497540426784853*c_0110_4^6 - 919366998250599631745921394/160678239497540426784853*c_0110_4^5 - 511931882610350782443307440/160678239497540426784853*c_0110_4^4 + 341632352525500615474216506/160678239497540426784853*c_0110_4^3 - 67309795270011583045643629/160678239497540426784853*c_0110_4^2 - 50020346639002101857858959/160678239497540426784853*c_0110_4 + 13081175009908172489246733/160678239497540426784853, c_0011_0 - 1, c_0011_2 - 17725354754597470484839/160678239497540426784853*c_0110_4^23 + 311702205407473398202232/160678239497540426784853*c_0110_4^22 - 1793139036877136163459865/160678239497540426784853*c_0110_4^21 + 2938051409594818716224047/160678239497540426784853*c_0110_4^20 + 6286947574687026455825755/160678239497540426784853*c_0110_4^19 - 21145041162373792946479647/160678239497540426784853*c_0110_4^18 - 1467868184967810278996618/160678239497540426784853*c_0110_4^17 + 46734263117231487441093717/160678239497540426784853*c_0110_4^16 - 28871315254771441573670373/160678239497540426784853*c_0110_4^15 - 26386139713818093058047472/160678239497540426784853*c_0110_4^14 + 56500373148150020854202684/160678239497540426784853*c_0110_4^13 - 51417283507790069741178005/160678239497540426784853*c_0110_4^12 - 24509559384732643563501450/160678239497540426784853*c_0110_4^11 + 89508813907928131439924371/160678239497540426784853*c_0110_4^10 - 38508977564384197834556175/160678239497540426784853*c_0110_4^9 - 43433926218540530452696282/160678239497540426784853*c_0110_4^8 + 49048501196629947508277914/160678239497540426784853*c_0110_4^7 - 4570827699870620671108465/160678239497540426784853*c_0110_4^6 - 17378670440252153501134498/160678239497540426784853*c_0110_4^5 + 8425748702750015397926509/160678239497540426784853*c_0110_4^4 + 540464380724301347807288/160678239497540426784853*c_0110_4^3 - 1117040113514825834770594/160678239497540426784853*c_0110_4^2 + 371233455586536627592705/160678239497540426784853*c_0110_4 + 12607082830459809262835/160678239497540426784853, c_0101_0 + 53888213945313084924064/160678239497540426784853*c_0110_4^23 - 778562932793746492752936/160678239497540426784853*c_0110_4^22 + 3109963130034095723398375/160678239497540426784853*c_0110_4^21 - 611275050887832269585471/160678239497540426784853*c_0110_4^20 - 15464381259625805283027037/160678239497540426784853*c_0110_4^19 + 14783868939166782936242529/160678239497540426784853*c_0110_4^18 + 26262157277013376451866702/160678239497540426784853*c_0110_4^17 - 38787013376643409668349635/160678239497540426784853*c_0110_4^16 + 146702346142912366571702/160678239497540426784853*c_0110_4^15 + 32575250947723482228183790/160678239497540426784853*c_0110_4^14 - 52903561078788213734127889/160678239497540426784853*c_0110_4^13 + 19587397972920826386862618/160678239497540426784853*c_0110_4^12 + 56810557498363694905142194/160678239497540426784853*c_0110_4^11 - 56906685288346625744684151/160678239497540426784853*c_0110_4^10 - 8475010441333248534795915/160678239497540426784853*c_0110_4^9 + 39115353562186080207882515/160678239497540426784853*c_0110_4^8 - 16929888410284352138628780/160678239497540426784853*c_0110_4^7 - 8711787764974176175229681/160678239497540426784853*c_0110_4^6 + 8058715981200483541171149/160678239497540426784853*c_0110_4^5 - 523286242747770390844120/160678239497540426784853*c_0110_4^4 - 598147104561038234273868/160678239497540426784853*c_0110_4^3 + 484116091257842393778336/160678239497540426784853*c_0110_4^2 + 26729650039330994318630/160678239497540426784853*c_0110_4 - 182844521462638475815819/160678239497540426784853, c_0101_1 + 22166281965098049030966/160678239497540426784853*c_0110_4^23 - 364216161456685771357588/160678239497540426784853*c_0110_4^22 + 1909043313013746993332202/160678239497540426784853*c_0110_4^21 - 2710970054662330840840987/160678239497540426784853*c_0110_4^20 - 6171607230432170733890125/160678239497540426784853*c_0110_4^19 + 18744990990460316539610005/160678239497540426784853*c_0110_4^18 + 333535361030086502876283/160678239497540426784853*c_0110_4^17 - 38852605433189068301455390/160678239497540426784853*c_0110_4^16 + 28834352774314385653445901/160678239497540426784853*c_0110_4^15 + 17320327842354350269829506/160678239497540426784853*c_0110_4^14 - 47914318067571332157612262/160678239497540426784853*c_0110_4^13 + 47517154561269387819603151/160678239497540426784853*c_0110_4^12 + 12620209722366638855130980/160678239497540426784853*c_0110_4^11 - 71373804749433113118486856/160678239497540426784853*c_0110_4^10 + 36513705880456420636195431/160678239497540426784853*c_0110_4^9 + 28934488695118747790377533/160678239497540426784853*c_0110_4^8 - 37209053313187647991219439/160678239497540426784853*c_0110_4^7 + 5780248581840033476052882/160678239497540426784853*c_0110_4^6 + 11970231213843589382781683/160678239497540426784853*c_0110_4^5 - 5642591247004796196795855/160678239497540426784853*c_0110_4^4 - 784524393193014501982874/160678239497540426784853*c_0110_4^3 + 664645950456332381366766/160678239497540426784853*c_0110_4^2 - 146107596039517574745755/160678239497540426784853*c_0110_4 - 115394777899723190442494/160678239497540426784853, c_0101_5 - 105618920343937210621799/160678239497540426784853*c_0110_4^2\ 3 + 1392581172292408590466567/160678239497540426784853*c_0110_4^22 - 4099765012179547336312312/160678239497540426784853*c_0110_4^21 - 7599666345131632191044648/160678239497540426784853*c_0110_4^20 + 37369845033710642178895570/160678239497540426784853*c_0110_4^19 + 1884165183345013693797052/160678239497540426784853*c_0110_4^18 - 104080023622901157921331670/160678239497540426784853*c_0110_4^17 + 55629097502082849098694201/160678239497540426784853*c_0110_4^16 + 95962422989235841042560639/160678239497540426784853*c_0110_4^15 - 141003428706100589450670700/160678239497540426784853*c_0110_4^14 + 87265455854550649792492819/160678239497540426784853*c_0110_4^13 + 97321107624756602787864823/160678239497540426784853*c_0110_4^12 - 245884840282989161346968561/160678239497540426784853*c_0110_4^11 + 89327395668522210357678227/160678239497540426784853*c_0110_4^10 + 156409073267076790617403999/160678239497540426784853*c_0110_4^9 - 167806474993000853495380865/160678239497540426784853*c_0110_4^8 + 9438275272111189737595157/160678239497540426784853*c_0110_4^7 + 74181624802856497995197042/160678239497540426784853*c_0110_4^6 - 39285879946252966294325780/160678239497540426784853*c_0110_4^5 - 1636921263287666728045574/160678239497540426784853*c_0110_4^4 + 7823480807551467748331635/160678239497540426784853*c_0110_4^3 - 3213148571370947646909050/160678239497540426784853*c_0110_4^2 + 251094047757218708405115/160678239497540426784853*c_0110_4 + 268023873669269362633876/160678239497540426784853, c_0110_3 - 61506563954410105518430/160678239497540426784853*c_0110_4^23 + 859130239767476222472946/160678239497540426784853*c_0110_4^22 - 3139386704308472760526407/160678239497540426784853*c_0110_4^21 - 779337740069102704218161/160678239497540426784853*c_0110_4^20 + 17135450723027160151535140/160678239497540426784853*c_0110_4^19 - 8466165420424419983136708/160678239497540426784853*c_0110_4^18 - 33692090260137522890304201/160678239497540426784853*c_0110_4^17 + 27090755831429449005863240/160678239497540426784853*c_0110_4^16 + 13106352189929556573796118/160678239497540426784853*c_0110_4^15 - 29521481262944006187055581/160678239497540426784853*c_0110_4^14 + 44269953070174584321907465/160678239497540426784853*c_0110_4^13 - 285989065017770493223602/160678239497540426784853*c_0110_4^12 - 63340900228664712988198437/160678239497540426784853*c_0110_4^11 + 31527893514138149231165387/160678239497540426784853*c_0110_4^10 + 26314380476978973553811709/160678239497540426784853*c_0110_4^9 - 30880320558802003934344016/160678239497540426784853*c_0110_4^8 + 2080649385458201273694269/160678239497540426784853*c_0110_4^7 + 12122732205398940626125362/160678239497540426784853*c_0110_4^6 - 3124067788218791977822587/160678239497540426784853*c_0110_4^5 - 1131085819974008766294283/160678239497540426784853*c_0110_4^4 + 567553544517833805037423/160678239497540426784853*c_0110_4^3 - 646592635634341679532020/160678239497540426784853*c_0110_4^2 - 231782622702122147854556/160678239497540426784853*c_0110_4 + 132626994096736711208402/160678239497540426784853, c_0110_4^24 - 14*c_0110_4^23 + 51*c_0110_4^22 + 18*c_0110_4^21 - 306*c_0110_4^20 + 148*c_0110_4^19 + 682*c_0110_4^18 - 568*c_0110_4^17 - 449*c_0110_4^16 + 788*c_0110_4^15 - 692*c_0110_4^14 - 243*c_0110_4^13 + 1453*c_0110_4^12 - 657*c_0110_4^11 - 920*c_0110_4^10 + 923*c_0110_4^9 + 86*c_0110_4^8 - 503*c_0110_4^7 + 147*c_0110_4^6 + 109*c_0110_4^5 - 59*c_0110_4^4 + 3*c_0110_4^3 + 8*c_0110_4^2 - 4*c_0110_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB