Magma V2.19-8 Tue Aug 20 2013 16:16:14 on localhost [Seed = 593674208] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0499 geometric_solution 4.51206026 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 0213 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 1 -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.206042154804 0.835767694206 0 2 3 0 0132 3201 1023 0213 0 0 0 0 0 -1 0 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 -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.206042154804 0.835767694206 4 0 1 4 0132 0132 2310 1023 0 0 0 0 0 -1 0 1 -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 -1 0 1 -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.062812066996 0.512930837863 3 3 1 0 1302 2031 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.597465397667 0.628927947243 2 5 5 2 0132 0132 3201 1023 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 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.454953448845 0.420560555091 4 4 6 6 2310 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.173614753595 0.360490337733 5 6 5 6 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.671420543945 0.055299300417 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_1001_2'], 'c_1100_0' : negation(d['c_1001_2']), 'c_1100_3' : negation(d['c_1001_2']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : negation(d['c_1001_2']), 'c_1010_0' : d['c_1001_2']})} 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_3, c_0011_6, c_0101_0, c_0101_4, c_0101_5, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t - 16, c_0011_0 - 1, c_0011_3 + 4*c_1001_2^3 - 3*c_1001_2, c_0011_6 - 2*c_1001_2^2 + 1, c_0101_0 + 2*c_1001_2^2 - 1, c_0101_4 + c_1001_2, c_0101_5 + 4*c_1001_2^3 - 3*c_1001_2, c_1001_2^4 - c_1001_2^2 + 1/8 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_6, c_0101_0, c_0101_4, c_0101_5, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 159748955480156557314167864543088586704/386355986874175598495640084\ 9710865023*c_1001_2^28 - 3122579783930048549769495547637315731648/3\ 863559868741755984956400849710865023*c_1001_2^26 - 5515905735596523971769243244117053804790/38635598687417559849564008\ 49710865023*c_1001_2^24 - 10841297869502486279975810988927713177104\ 9/3863559868741755984956400849710865023*c_1001_2^22 + 494234312100761670870198679695077984461637/386355986874175598495640\ 0849710865023*c_1001_2^20 - 101244298102672024665023128342689323180\ 9084/3863559868741755984956400849710865023*c_1001_2^18 + 1696979680179523161069363857482375513646221/38635598687417559849564\ 00849710865023*c_1001_2^16 - 19790132478304603598011373379928702760\ 28518/3863559868741755984956400849710865023*c_1001_2^14 + 1509838644629822669623457998243357715506621/38635598687417559849564\ 00849710865023*c_1001_2^12 - 90096272549512288271673999469511648202\ 2578/3863559868741755984956400849710865023*c_1001_2^10 + 408013829088795509117876927479893523469219/386355986874175598495640\ 0849710865023*c_1001_2^8 - 1308859897782200986736714635438119315446\ 18/3863559868741755984956400849710865023*c_1001_2^6 + 32205438987763957659524920873790433322409/3863559868741755984956400\ 849710865023*c_1001_2^4 - 5196549437815867431326249866777459915220/\ 3863559868741755984956400849710865023*c_1001_2^2 + 253712703989242271858148285442607813180/386355986874175598495640084\ 9710865023, c_0011_0 - 1, c_0011_3 + 277206955391546897963529036139935024/55193712410596514070805\ 7264244409289*c_1001_2^29 + 5562025063514859533242659229255589936/5\ 51937124105965140708057264244409289*c_1001_2^27 + 12455893781416651997537159137790605850/5519371241059651407080572642\ 44409289*c_1001_2^25 + 194655882517894144365255194887263411193/5519\ 37124105965140708057264244409289*c_1001_2^23 - 756890683401624882350535560225677526150/551937124105965140708057264\ 244409289*c_1001_2^21 + 1367775520987870401416127579341624692988/55\ 1937124105965140708057264244409289*c_1001_2^19 - 2258240306446405568630677392709965054458/55193712410596514070805726\ 4244409289*c_1001_2^17 + 2324633823106336364207131640205256217443/5\ 51937124105965140708057264244409289*c_1001_2^15 - 1523044829800107901447759796995353378457/55193712410596514070805726\ 4244409289*c_1001_2^13 + 926061288350431356828645589938298731394/55\ 1937124105965140708057264244409289*c_1001_2^11 - 373620429995947310097872212403722986140/551937124105965140708057264\ 244409289*c_1001_2^9 + 128093052085577594120562746540518525354/5519\ 37124105965140708057264244409289*c_1001_2^7 - 39995172752610839117358731826409013841/5519371241059651407080572642\ 44409289*c_1001_2^5 + 7707063721194274730972822167820178902/5519371\ 24105965140708057264244409289*c_1001_2^3 - 1888860309130537553846549215870496841/55193712410596514070805726424\ 4409289*c_1001_2, c_0011_6 - 12919954876185333481368963046314001864/551937124105965140708\ 057264244409289*c_1001_2^28 - 2528429599178068792704587465768315992\ 84/551937124105965140708057264244409289*c_1001_2^26 - 452062209488724920058691048288581256657/551937124105965140708057264\ 244409289*c_1001_2^24 - 8780498233942817386015146631405636422273/55\ 1937124105965140708057264244409289*c_1001_2^22 + 39764372205334615775548188657457594684154/5519371241059651407080572\ 64244409289*c_1001_2^20 - 81029864800618318974237474189193425075067\ /551937124105965140708057264244409289*c_1001_2^18 + 135641013548867982503030336861557767003332/551937124105965140708057\ 264244409289*c_1001_2^16 - 1574055761224824231676246560268005615307\ 26/551937124105965140708057264244409289*c_1001_2^14 + 119262800849930966597212034565894002147532/551937124105965140708057\ 264244409289*c_1001_2^12 - 7092829094181245649545894087358118548652\ 8/551937124105965140708057264244409289*c_1001_2^10 + 31867592395778921667848291913156771775314/5519371241059651407080572\ 64244409289*c_1001_2^8 - 10137155487839375972391805459297554209436/\ 551937124105965140708057264244409289*c_1001_2^6 + 2485362347519711861929197129132037204370/55193712410596514070805726\ 4244409289*c_1001_2^4 - 392793232125288367625113030049691388306/551\ 937124105965140708057264244409289*c_1001_2^2 + 20530769528114263783344798370186518774/5519371241059651407080572642\ 44409289, c_0101_0 + 68722980883911394312411891397284320/551937124105965140708057\ 264244409289*c_1001_2^28 + 1420538988352732867916695795395765256/55\ 1937124105965140708057264244409289*c_1001_2^26 + 3930250879915178027906929145556203904/55193712410596514070805726424\ 4409289*c_1001_2^24 + 50261615298557075533125921193922547611/551937\ 124105965140708057264244409289*c_1001_2^22 - 158128139289790123020638336510390599672/551937124105965140708057264\ 244409289*c_1001_2^20 + 230008724312960989523872479384380937694/551\ 937124105965140708057264244409289*c_1001_2^18 - 373679024714851597079580851444442649565/551937124105965140708057264\ 244409289*c_1001_2^16 + 274000209020955904800245269364454904737/551\ 937124105965140708057264244409289*c_1001_2^14 - 89751093404455030822832567593501475380/5519371241059651407080572642\ 44409289*c_1001_2^12 + 68230265035793777156128088966297200351/55193\ 7124105965140708057264244409289*c_1001_2^10 - 1248952790638990154964809003591176901/55193712410596514070805726424\ 4409289*c_1001_2^8 + 4519100574878292948645373358402264455/55193712\ 4105965140708057264244409289*c_1001_2^6 - 3336045670766361569497609547285344261/55193712410596514070805726424\ 4409289*c_1001_2^4 - 660668648859131937079052110290799671/551937124\ 105965140708057264244409289*c_1001_2^2 - 257815949394841698671983115185234404/551937124105965140708057264244\ 409289, c_0101_4 - 3765607392001784167760906171964536464/5519371241059651407080\ 57264244409289*c_1001_2^29 - 73270970485033243391771872180123620616\ /551937124105965140708057264244409289*c_1001_2^27 - 123388187960529516240601794986810646602/551937124105965140708057264\ 244409289*c_1001_2^25 - 2542105564899644872065256591896495437786/55\ 1937124105965140708057264244409289*c_1001_2^23 + 11881146019667297403981743268317300478117/5519371241059651407080572\ 64244409289*c_1001_2^21 - 24835710877169718847308997697759234319106\ /551937124105965140708057264244409289*c_1001_2^19 + 41860871573607579228581345657489114813821/5519371241059651407080572\ 64244409289*c_1001_2^17 - 49722221432873141836869509038640688763052\ /551937124105965140708057264244409289*c_1001_2^15 + 38947255810121667686402004107161969165057/5519371241059651407080572\ 64244409289*c_1001_2^13 - 23576419867566986477535854212324965906516\ /551937124105965140708057264244409289*c_1001_2^11 + 10970989951455865640599246864188281935387/5519371241059651407080572\ 64244409289*c_1001_2^9 - 3643279206667637181411117642821955925918/5\ 51937124105965140708057264244409289*c_1001_2^7 + 924389557135165915183343418636272738489/551937124105965140708057264\ 244409289*c_1001_2^5 - 162999314543917621118242671704890602827/5519\ 37124105965140708057264244409289*c_1001_2^3 + 11600703915137708960602009202499930443/5519371241059651407080572642\ 44409289*c_1001_2, c_0101_5 - 19498510729442575074369118946774204512/551937124105965140708\ 057264244409289*c_1001_2^29 - 3816392498953085691515059978875620757\ 60/551937124105965140708057264244409289*c_1001_2^27 - 683380865555952251244653880647307053588/551937124105965140708057264\ 244409289*c_1001_2^25 - 13254760230530357355811386225103101772352/5\ 51937124105965140708057264244409289*c_1001_2^23 + 59971586505140518569465469320651819124811/5519371241059651407080572\ 64244409289*c_1001_2^21 - 12217486323716321000306417489163250943970\ 9/551937124105965140708057264244409289*c_1001_2^19 + 204590824625616007901759554465578623190734/551937124105965140708057\ 264244409289*c_1001_2^17 - 2374193041805269766527115754663751283586\ 74/551937124105965140708057264244409289*c_1001_2^15 + 180050041641449454046695945679893607479130/551937124105965140708057\ 264244409289*c_1001_2^13 - 1073324443145890721874388258263662356641\ 54/551937124105965140708057264244409289*c_1001_2^11 + 48352538143275766953666048624347227975584/5519371241059651407080572\ 64244409289*c_1001_2^9 - 15476268265673062275408029557612017144430/\ 551937124105965140708057264244409289*c_1001_2^7 + 3824586500544114457005071726396057781661/55193712410596514070805726\ 4244409289*c_1001_2^5 - 614656618932089886952276587162913339446/551\ 937124105965140708057264244409289*c_1001_2^3 + 34576140608911418919990156691536352685/5519371241059651407080572642\ 44409289*c_1001_2, c_1001_2^30 + 39/2*c_1001_2^28 + 269/8*c_1001_2^26 + 2709/4*c_1001_2^24 - 25001/8*c_1001_2^22 + 51921/8*c_1001_2^20 - 43805/4*c_1001_2^18 + 103563/8*c_1001_2^16 - 10129*c_1001_2^14 + 49497/8*c_1001_2^12 - 11549/4*c_1001_2^10 + 977*c_1001_2^8 - 2039/8*c_1001_2^6 + 183/4*c_1001_2^4 - 4*c_1001_2^2 + 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB