Magma V2.19-8 Tue Aug 20 2013 16:16:40 on localhost [Seed = 947496178] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0956 geometric_solution 4.85342703 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.815634001472 0.603635199293 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 -1 1 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 1 -1 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 1.075971888167 1.515086740210 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 1 0 -1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.622008865522 0.181758499470 2 4 5 4 0132 0321 0132 3201 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 -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.541047699624 1.298922508250 5 3 2 3 0132 2310 0132 0321 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 0 0 0 0 0 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.541047699624 1.298922508250 4 6 6 3 0132 0132 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 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.061794763596 0.333959738882 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.303170485760 1.110846222207 ==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' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : 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_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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_6'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0011_2'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_2'], 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_2'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_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_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 9447906768119323186165306505547853228427400155/85242280677001357626\ 952063890647425820655424*c_0101_6^19 - 125442824169332348343925334433435650804261372763/852422806770013576\ 26952063890647425820655424*c_0101_6^18 + 800214197764684080749680391386203989203244805703/852422806770013576\ 26952063890647425820655424*c_0101_6^17 - 2670837336788969187527151469880394949617714945725/85242280677001357\ 626952063890647425820655424*c_0101_6^16 + 4201194247646545771218867471454685995807041900259/85242280677001357\ 626952063890647425820655424*c_0101_6^15 + 2433290387402656647464035392970209849225221645183/85242280677001357\ 626952063890647425820655424*c_0101_6^14 - 5898632237248679545376403905968323756595755784275/21310570169250339\ 406738015972661856455163856*c_0101_6^13 + 42314655586612906804525973990882103946502871503607/8524228067700135\ 7626952063890647425820655424*c_0101_6^12 + 11386972194920231703787724155509194439190741562987/8524228067700135\ 7626952063890647425820655424*c_0101_6^11 - 43611738910887257886698610482509513290323712639275/2131057016925033\ 9406738015972661856455163856*c_0101_6^10 + 6619208726525809398553798960398502486435806988535/42621140338500678\ 813476031945323712910327712*c_0101_6^9 + 16992831141103521260539191455904769173718926472279/5014251804529491\ 625114827287685142695332672*c_0101_6^8 + 73681028356997035166281420860061411050395284012641/8524228067700135\ 7626952063890647425820655424*c_0101_6^7 - 104669283648533461461540207560769139400037796187/674385131938301879\ 96006379660322330554316*c_0101_6^6 - 52151692286779105299429604881278140745377266306261/8524228067700135\ 7626952063890647425820655424*c_0101_6^5 + 198426277774212786766120845890913253462689747179/266382127115629242\ 5842251996582732056895482*c_0101_6^4 + 9462232588506132047529470264312031231908643862819/85242280677001357\ 626952063890647425820655424*c_0101_6^3 + 3138326979898312380831895420736767527508668217763/85242280677001357\ 626952063890647425820655424*c_0101_6^2 - 228836169928901697720064848338396908600273151183/852422806770013576\ 26952063890647425820655424*c_0101_6 - 105871956988945021649808392363404811079524645079/852422806770013576\ 26952063890647425820655424, c_0011_0 - 1, c_0011_2 + 6810939995930729557491573194288228310564/7834768444577330664\ 2419176370080354614573*c_0101_6^19 - 90131529987998153648868472700948766520555/7834768444577330664241917\ 6370080354614573*c_0101_6^18 + 572696949479554570462467447394301925\ 841598/78347684445773306642419176370080354614573*c_0101_6^17 - 1897503924474618956687753412203026133759594/78347684445773306642419\ 176370080354614573*c_0101_6^16 + 2928470595299507274527021646343196\ 148756305/78347684445773306642419176370080354614573*c_0101_6^15 + 1935424607418527809568003865773257870080566/78347684445773306642419\ 176370080354614573*c_0101_6^14 - 1699412793520600876762818891510868\ 4926364795/78347684445773306642419176370080354614573*c_0101_6^13 + 29662929895343195263292094803871912080647886/7834768444577330664241\ 9176370080354614573*c_0101_6^12 + 100342663679476225829540473855335\ 58825672605/78347684445773306642419176370080354614573*c_0101_6^11 - 126094319189376281931066299212855167164980352/783476844457733066424\ 19176370080354614573*c_0101_6^10 + 3412750349644161190660368884901691137800046/78347684445773306642419\ 176370080354614573*c_0101_6^9 + 21226519962185053920549084881239213\ 9725291608/78347684445773306642419176370080354614573*c_0101_6^8 + 63356695508035267836191717904613681414000504/7834768444577330664241\ 9176370080354614573*c_0101_6^7 - 1252194710181201993028913257435590\ 835484539/991742841085738058764799700887093096387*c_0101_6^6 - 45443274797874025559465457675029723093155515/7834768444577330664241\ 9176370080354614573*c_0101_6^5 + 4499047298748279535105373052032806\ 441000351/78347684445773306642419176370080354614573*c_0101_6^4 + 8561913933151307500005621714651432560093565/78347684445773306642419\ 176370080354614573*c_0101_6^3 + 28560949433671727745875975852509888\ 18471653/78347684445773306642419176370080354614573*c_0101_6^2 - 144433385594744961456606764668299339057305/783476844457733066424191\ 76370080354614573*c_0101_6 - 17040507501251585487162391124397404308\ 4195/78347684445773306642419176370080354614573, c_0011_4 - 9810786071853094689515217091711586970947/7834768444577330664\ 2419176370080354614573*c_0101_6^19 + 129475067886204216016845169861657969783328/783476844457733066424191\ 76370080354614573*c_0101_6^18 - 82026791957589469953371425851598670\ 4694705/78347684445773306642419176370080354614573*c_0101_6^17 + 2703560692993373797913410217050600905408606/78347684445773306642419\ 176370080354614573*c_0101_6^16 - 4119266598644643441714953650576704\ 648375366/78347684445773306642419176370080354614573*c_0101_6^15 - 2947127827210451148272516177380331077695435/78347684445773306642419\ 176370080354614573*c_0101_6^14 + 2441073022525650286215130666437230\ 4312209404/78347684445773306642419176370080354614573*c_0101_6^13 - 41913054649662396674662589859657236438630260/7834768444577330664241\ 9176370080354614573*c_0101_6^12 - 159819969766741055328984839424008\ 08200389896/78347684445773306642419176370080354614573*c_0101_6^11 + 181361771874751294624957232994762146153217378/783476844457733066424\ 19176370080354614573*c_0101_6^10 + 1013425626392903440471764513310846356543119/78347684445773306642419\ 176370080354614573*c_0101_6^9 - 30575559849958644832049672339754637\ 4525478844/78347684445773306642419176370080354614573*c_0101_6^8 - 99822825333835902634346202344485744518740567/7834768444577330664241\ 9176370080354614573*c_0101_6^7 + 1758537753714232586557358821236627\ 148176033/991742841085738058764799700887093096387*c_0101_6^6 + 66507511049436652003829196232510425910287694/7834768444577330664241\ 9176370080354614573*c_0101_6^5 - 5916495915606765508740134481282178\ 224263814/78347684445773306642419176370080354614573*c_0101_6^4 - 11570522838287474504830930110254696101928064/7834768444577330664241\ 9176370080354614573*c_0101_6^3 - 3930548664825001962886221452482546\ 843942219/78347684445773306642419176370080354614573*c_0101_6^2 + 272010047710335946922537020421823613093341/783476844457733066424191\ 76370080354614573*c_0101_6 + 21949366703163230853302361113390305277\ 2099/78347684445773306642419176370080354614573, c_0101_0 + 14249197606243636965719056533506469212402/783476844457733066\ 42419176370080354614573*c_0101_6^19 - 188975967795059168566005236650144204512186/783476844457733066424191\ 76370080354614573*c_0101_6^18 + 12039019080314989918851741737643984\ 38683030/78347684445773306642419176370080354614573*c_0101_6^17 - 4008501932210411263261812366336056555004331/78347684445773306642419\ 176370080354614573*c_0101_6^16 + 6267231671790311643211182768099854\ 537192260/78347684445773306642419176370080354614573*c_0101_6^15 + 3788103413868701934976719790251171682599961/78347684445773306642419\ 176370080354614573*c_0101_6^14 - 3554798608932957909056436420956678\ 4406416262/78347684445773306642419176370080354614573*c_0101_6^13 + 63200667088358619562851629607656748449376360/7834768444577330664241\ 9176370080354614573*c_0101_6^12 + 183927166919563064428806891108319\ 78445570030/78347684445773306642419176370080354614573*c_0101_6^11 - 263056793087071569584411424783037108281453557/783476844457733066424\ 19176370080354614573*c_0101_6^10 + 15312343557369577014733183391903552800780517/7834768444577330664241\ 9176370080354614573*c_0101_6^9 + 4380114759341152542521272013580385\ 87625121521/78347684445773306642419176370080354614573*c_0101_6^8 + 119635421222672002932323861367533889726455786/783476844457733066424\ 19176370080354614573*c_0101_6^7 - 255423590325529300153363139650874\ 2267889771/991742841085738058764799700887093096387*c_0101_6^6 - 85739225353550145669635687731370775016429462/7834768444577330664241\ 9176370080354614573*c_0101_6^5 + 9565550794728459227939661410196713\ 017659202/78347684445773306642419176370080354614573*c_0101_6^4 + 16248500108518994929307492705409399087264956/7834768444577330664241\ 9176370080354614573*c_0101_6^3 + 5051499485056691363816545584712365\ 684322833/78347684445773306642419176370080354614573*c_0101_6^2 - 337147317740810692331083239944117163450141/783476844457733066424191\ 76370080354614573*c_0101_6 - 22417554165095929779037285063769141690\ 9083/78347684445773306642419176370080354614573, c_0101_1 + 7553494621941384450638201134188718694431/7834768444577330664\ 2419176370080354614573*c_0101_6^19 - 99944861230029378058930387814117269532640/7834768444577330664241917\ 6370080354614573*c_0101_6^18 + 634963742301234079271444981312244238\ 867019/78347684445773306642419176370080354614573*c_0101_6^17 - 2103384841757590072093878124995472814482422/78347684445773306642419\ 176370080354614573*c_0101_6^16 + 3245364559208438684879910366439941\ 489228087/78347684445773306642419176370080354614573*c_0101_6^15 + 2144215506064171405445854208957762560733496/78347684445773306642419\ 176370080354614573*c_0101_6^14 - 1881548936631242696350236216331722\ 9956389636/78347684445773306642419176370080354614573*c_0101_6^13 + 32812296613213096013544569943829053217789720/7834768444577330664241\ 9176370080354614573*c_0101_6^12 + 111933509249295055893637857396498\ 94837191581/78347684445773306642419176370080354614573*c_0101_6^11 - 139612365551690248003176357866295189589701471/783476844457733066424\ 19176370080354614573*c_0101_6^10 + 3029928427530216939701563955035527248303651/78347684445773306642419\ 176370080354614573*c_0101_6^9 + 23564513094268107074623199511076430\ 8047215638/78347684445773306642419176370080354614573*c_0101_6^8 + 72018683671699977773642098152099498065916750/7834768444577330664241\ 9176370080354614573*c_0101_6^7 - 1405381689359416047938600226330745\ 181496555/991742841085738058764799700887093096387*c_0101_6^6 - 52189041492761494182444563297715037446771729/7834768444577330664241\ 9176370080354614573*c_0101_6^5 + 6432162540910518272543141866211818\ 902483812/78347684445773306642419176370080354614573*c_0101_6^4 + 10290833224686953999981072152253393986880010/7834768444577330664241\ 9176370080354614573*c_0101_6^3 + 2701962622937200108498251318345036\ 651835016/78347684445773306642419176370080354614573*c_0101_6^2 - 248983552804296353571944193302777850291717/783476844457733066424191\ 76370080354614573*c_0101_6 - 19589463770510677099759703095657201534\ 3494/78347684445773306642419176370080354614573, c_0101_3 + 3837810905237027471287318464352906604032/7834768444577330664\ 2419176370080354614573*c_0101_6^19 - 50256256988411294833238534279560154698735/7834768444577330664241917\ 6370080354614573*c_0101_6^18 + 315563643038445233136941660944976602\ 093285/78347684445773306642419176370080354614573*c_0101_6^17 - 1022853451721815577622741041765638689998338/78347684445773306642419\ 176370080354614573*c_0101_6^16 + 1489869088438805814293148058922319\ 144767893/78347684445773306642419176370080354614573*c_0101_6^15 + 1368766642712927043284690055883176481728061/78347684445773306642419\ 176370080354614573*c_0101_6^14 - 9537173838484264968941377195221773\ 475765170/78347684445773306642419176370080354614573*c_0101_6^13 + 15468239446424429920285066651791692486402019/7834768444577330664241\ 9176370080354614573*c_0101_6^12 + 825934878740599335917108073513412\ 8853285673/78347684445773306642419176370080354614573*c_0101_6^11 - 71234023366827275053566347217345873616909443/7834768444577330664241\ 9176370080354614573*c_0101_6^10 - 709598312839121350476226662175899\ 4424750706/78347684445773306642419176370080354614573*c_0101_6^9 + 121955767617768093803941686543766503428847383/783476844457733066424\ 19176370080354614573*c_0101_6^8 + 487072310932958739075820373584323\ 79673442569/78347684445773306642419176370080354614573*c_0101_6^7 - 681140940354758313929054980542787915221409/991742841085738058764799\ 700887093096387*c_0101_6^6 - 28796289239346221624152583746494655902\ 001733/78347684445773306642419176370080354614573*c_0101_6^5 + 2005666296141387798882287361265087876704311/78347684445773306642419\ 176370080354614573*c_0101_6^4 + 37376219464267920213047598572315542\ 08530644/78347684445773306642419176370080354614573*c_0101_6^3 + 1453592266101008898863200423628876088764614/78347684445773306642419\ 176370080354614573*c_0101_6^2 + 70478447020001003202552144108152205\ 48370/78347684445773306642419176370080354614573*c_0101_6 - 60849687521301384521828569174376954713024/7834768444577330664241917\ 6370080354614573, c_0101_6^20 - 13*c_0101_6^19 + 81*c_0101_6^18 - 259*c_0101_6^17 + 365*c_0101_6^16 + 385*c_0101_6^15 - 2432*c_0101_6^14 + 3781*c_0101_6^13 + 2485*c_0101_6^12 - 18192*c_0101_6^11 - 3750*c_0101_6^10 + 31245*c_0101_6^9 + 16311*c_0101_6^8 - 12308*c_0101_6^7 - 9615*c_0101_6^6 - 684*c_0101_6^5 + 1305*c_0101_6^4 + 621*c_0101_6^3 + 55*c_0101_6^2 - 25*c_0101_6 - 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB