Magma V2.19-8 Tue Aug 20 2013 16:17:21 on localhost [Seed = 2463305306] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1584 geometric_solution 5.35987192 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.624423286398 0.126860874787 2 0 2 0 0132 2310 1023 0132 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 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.837581209843 0.185605779285 1 3 1 4 0132 0132 1023 0132 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 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.956771587311 0.524142806135 5 2 6 4 0132 0132 0132 1230 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 1 0 -1 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.993128194226 0.970697440828 3 6 2 5 3012 3201 0132 1023 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 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.993128194226 0.970697440828 3 5 5 4 0132 3201 2310 1023 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 0 0 0 -1 0 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.021823513458 0.963621160802 6 6 4 3 1230 3012 2310 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 -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.021823513458 0.963621160802 ==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' : negation(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' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_6'], '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_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 564251530971946810428068155866119/31331912622534935661461810984312*\ c_0101_6^16 - 1750701697655696688027210615294185/156659563112674678\ 30730905492156*c_0101_6^15 - 31752956911049645104917014197313241/31\ 331912622534935661461810984312*c_0101_6^14 - 143636297483348649706018740523706733/313319126225349356614618109843\ 12*c_0101_6^13 - 502916785219976961261313529581444497/3133191262253\ 4935661461810984312*c_0101_6^12 - 153262425581526924871640169196702\ 1003/31331912622534935661461810984312*c_0101_6^11 - 3151665818885969380588842540929788637/31331912622534935661461810984\ 312*c_0101_6^10 - 3952369856753454612740703118972592321/31331912622\ 534935661461810984312*c_0101_6^9 - 2749708120053664803637630359768241357/31331912622534935661461810984\ 312*c_0101_6^8 + 170464215606168606795918720721408801/3133191262253\ 4935661461810984312*c_0101_6^7 + 3287957705274229925390363897323309\ 407/31331912622534935661461810984312*c_0101_6^6 + 4125256078744495951847653285001080345/31331912622534935661461810984\ 312*c_0101_6^5 + 2199185658973452454092990778596606639/313319126225\ 34935661461810984312*c_0101_6^4 + 509367681470206510516819803729527\ 677/31331912622534935661461810984312*c_0101_6^3 + 126866718743973558499868981073537467/156659563112674678307309054921\ 56*c_0101_6^2 + 28496393340072781568030894320537101/783297815563373\ 3915365452746078*c_0101_6 - 21322413633283016752686437147208985/313\ 31912622534935661461810984312, c_0011_0 - 1, c_0011_1 + 5183517763048266989660685597/126338357348931192183313753969*\ c_0101_6^16 + 63471980480647215110218080789/25267671469786238436662\ 7507938*c_0101_6^15 + 288866047458875015812080003770/12633835734893\ 1192183313753969*c_0101_6^14 + 1294599706902377248675565940160/1263\ 38357348931192183313753969*c_0101_6^13 + 9005207020985378126105054298151/252676714697862384366627507938*c_01\ 01_6^12 + 27336498592516866675677297469651/252676714697862384366627\ 507938*c_0101_6^11 + 27686689603594870878736313954348/1263383573489\ 31192183313753969*c_0101_6^10 + 33621029555651693179061186880772/12\ 6338357348931192183313753969*c_0101_6^9 + 43584492627214492736040275017007/252676714697862384366627507938*c_0\ 101_6^8 - 8296787856755895672645531120335/2526767146978623843666275\ 07938*c_0101_6^7 - 30431186246056771774111170357078/126338357348931\ 192183313753969*c_0101_6^6 - 35336940757066002422842826122001/12633\ 8357348931192183313753969*c_0101_6^5 - 33259682858567260520676959802067/252676714697862384366627507938*c_0\ 101_6^4 - 5179984960463093891175098443635/2526767146978623843666275\ 07938*c_0101_6^3 - 1633110932431398118402243515229/1263383573489311\ 92183313753969*c_0101_6^2 - 1273941573720230565300036478497/2526767\ 14697862384366627507938*c_0101_6 + 246654496716696986032800626639/126338357348931192183313753969, c_0011_4 - 59530234688666598947782941621/505353429395724768733255015876\ *c_0011_6*c_0101_6^16 - 368518500632867179555015079195/505353429395\ 724768733255015876*c_0011_6*c_0101_6^15 - 1672319291159303929388880324471/252676714697862384366627507938*c_00\ 11_6*c_0101_6^14 - 15103502976168797852200214549473/505353429395724\ 768733255015876*c_0011_6*c_0101_6^13 - 13208557853558033589035463902284/126338357348931192183313753969*c_0\ 011_6*c_0101_6^12 - 160875019839360758396694811696729/5053534293957\ 24768733255015876*c_0011_6*c_0101_6^11 - 82497969868613521986891107400335/126338357348931192183313753969*c_0\ 011_6*c_0101_6^10 - 411636915181964293965444483384219/5053534293957\ 24768733255015876*c_0011_6*c_0101_6^9 - 141244492853965413734504643738817/252676714697862384366627507938*c_\ 0011_6*c_0101_6^8 + 24575107434310745556479836345741/50535342939572\ 4768733255015876*c_0011_6*c_0101_6^7 + 174283052270567465744957148401309/252676714697862384366627507938*c_\ 0011_6*c_0101_6^6 + 430868816097868665520376428445837/5053534293957\ 24768733255015876*c_0011_6*c_0101_6^5 + 112157865297924131080744271515173/252676714697862384366627507938*c_\ 0011_6*c_0101_6^4 + 47790721474066322707722995269793/50535342939572\ 4768733255015876*c_0011_6*c_0101_6^3 + 24782593270464620359653551762439/505353429395724768733255015876*c_0\ 011_6*c_0101_6^2 + 11609436793732050259794550044623/505353429395724\ 768733255015876*c_0011_6*c_0101_6 - 667037135661308737665473582883/126338357348931192183313753969*c_001\ 1_6, c_0011_6^2 - 3114056865440217790102816775/25267671469786238436662750793\ 8*c_0101_6^16 - 19175348423186562800247446373/252676714697862384366\ 627507938*c_0101_6^15 - 174724257751273798548312699661/252676714697\ 862384366627507938*c_0101_6^14 - 786005944127698648851240494467/252\ 676714697862384366627507938*c_0101_6^13 - 1378156626834209439014053602164/126338357348931192183313753969*c_01\ 01_6^12 - 4193203507332953520251539480949/1263383573489311921833137\ 53969*c_0101_6^11 - 17189907379851307765967859514877/25267671469786\ 2384366627507938*c_0101_6^10 - 21539791932460678761296857702925/252\ 676714697862384366627507938*c_0101_6^9 - 7408123253255977437889870340442/126338357348931192183313753969*c_01\ 01_6^8 + 709218834808691319023132323806/126338357348931192183313753\ 969*c_0101_6^7 + 18412627145219084881051590909707/25267671469786238\ 4366627507938*c_0101_6^6 + 22765628699936711909172738988755/2526767\ 14697862384366627507938*c_0101_6^5 + 5965018396848892800895290839337/126338357348931192183313753969*c_01\ 01_6^4 + 1141432469595779194757512683696/12633835734893119218331375\ 3969*c_0101_6^3 + 370328845022395211458170732331/126338357348931192\ 183313753969*c_0101_6^2 + 603864186766558893904919335975/2526767146\ 97862384366627507938*c_0101_6 - 224614081103424646984680228993/2526\ 76714697862384366627507938, c_0101_0 + 9503453003680764740082715879/505353429395724768733255015876*\ c_0101_6^16 + 58450193605095495372150399883/50535342939572476873325\ 5015876*c_0101_6^15 + 265287852778614684447916938053/25267671469786\ 2384366627507938*c_0101_6^14 + 2385396689525112783914168801963/5053\ 53429395724768733255015876*c_0101_6^13 + 4144661917765145083096538186985/252676714697862384366627507938*c_01\ 01_6^12 + 25178951453090731093297633363893/505353429395724768733255\ 015876*c_0101_6^11 + 12765543279368931249948462304419/1263383573489\ 31192183313753969*c_0101_6^10 + 61967123549147583549227841758581/50\ 5353429395724768733255015876*c_0101_6^9 + 9973425368887043884431018248076/126338357348931192183313753969*c_01\ 01_6^8 - 8037027506242226034151672938377/50535342939572476873325501\ 5876*c_0101_6^7 - 28091831645817567074128815022865/2526767146978623\ 84366627507938*c_0101_6^6 - 65295434325786732258945060569187/505353\ 429395724768733255015876*c_0101_6^5 - 7642109395378806815401247214218/126338357348931192183313753969*c_01\ 01_6^4 - 4580597925636416525238799174049/50535342939572476873325501\ 5876*c_0101_6^3 - 3122438596958489249869840600837/50535342939572476\ 8733255015876*c_0101_6^2 - 1090104217417985403767027005999/50535342\ 9395724768733255015876*c_0101_6 + 232332122450313141447304981008/12\ 6338357348931192183313753969, c_0101_1 + 10730963027171598238025758261/505353429395724768733255015876\ *c_0101_6^16 + 64358426543645264150947490861/5053534293957247687332\ 55015876*c_0101_6^15 + 295009095780219671002950722293/2526767146978\ 62384366627507938*c_0101_6^14 + 2607489815839073117739599029017/505\ 353429395724768733255015876*c_0101_6^13 + 4500847708563290386354606503293/252676714697862384366627507938*c_01\ 01_6^12 + 27223196204330108155485921344311/505353429395724768733255\ 015876*c_0101_6^11 + 13521830933066232516758103689839/1263383573489\ 31192183313753969*c_0101_6^10 + 63418006612331339355979349573483/50\ 5353429395724768733255015876*c_0101_6^9 + 9668481842456713788070574313739/126338357348931192183313753969*c_01\ 01_6^8 - 11461813077931690312200019306027/5053534293957247687332550\ 15876*c_0101_6^7 - 30235874818202069918250695582107/252676714697862\ 384366627507938*c_0101_6^6 - 66005297868848024066853750928917/50535\ 3429395724768733255015876*c_0101_6^5 - 7058629085144668105352831533417/126338357348931192183313753969*c_01\ 01_6^4 - 4141347103815388809173533368727/50535342939572476873325501\ 5876*c_0101_6^3 - 3460136858427649023858313280143/50535342939572476\ 8733255015876*c_0101_6^2 - 551814830433432046995209008177/505353429\ 395724768733255015876*c_0101_6 + 171052957963938702968069010553/126\ 338357348931192183313753969, c_0101_6^17 + 6*c_0101_6^16 + 55*c_0101_6^15 + 243*c_0101_6^14 + 839*c_0101_6^13 + 2533*c_0101_6^12 + 5027*c_0101_6^11 + 5855*c_0101_6^10 + 3427*c_0101_6^9 - 1319*c_0101_6^8 - 5785*c_0101_6^7 - 6127*c_0101_6^6 - 2393*c_0101_6^5 - 83*c_0101_6^4 - 242*c_0101_6^3 - 100*c_0101_6^2 + 79*c_0101_6 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB