Magma V2.19-8 Tue Aug 20 2013 16:15:51 on localhost [Seed = 2598045360] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0083 geometric_solution 3.62720869 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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 1.323904360333 0.043881643951 0 2 2 0 3201 0132 1023 0132 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 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 1.113694346980 0.035293737620 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 1 0 -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 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 1.189566911026 0.089442842304 2 4 4 2 0132 0132 1023 1023 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 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 1.337397396229 0.476478392249 5 3 3 6 0132 0132 1023 0132 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 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.203336163617 0.416367283463 4 6 6 6 0132 2310 3201 0321 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 1 0 -1 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.011184740105 0.993563202228 5 5 4 5 2310 0321 0132 3201 0 0 0 0 0 0 1 -1 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 1 0 -1 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.011184740105 0.993563202228 ==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' : negation(d['c_0011_1']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), '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_0101_5']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], '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_6, c_0101_0, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 3885794832307510684766206725843514144498210/42983301655521088008048\ 913072981965796653*c_0101_5^22 + 1998516860448166938250961551780271\ 0903905576/42983301655521088008048913072981965796653*c_0101_5^21 - 230328934550366204983780290585076075868453689/429833016555210880080\ 48913072981965796653*c_0101_5^20 + 286844411488804013101919226568554279594315021/143277672185070293360\ 16304357660655265551*c_0101_5^19 - 1176175394983689822813395808118423828211876885/42983301655521088008\ 048913072981965796653*c_0101_5^18 - 411201969494834732143728945093646923635333159/143277672185070293360\ 16304357660655265551*c_0101_5^17 + 6737677247089495155076709422712083740490486123/42983301655521088008\ 048913072981965796653*c_0101_5^16 - 7356656083541252215401145440819814069937306198/42983301655521088008\ 048913072981965796653*c_0101_5^15 - 3863785543058099932361155093789954250577693680/42983301655521088008\ 048913072981965796653*c_0101_5^14 + 3537719869319626085006929653707076881446737286/14327767218507029336\ 016304357660655265551*c_0101_5^13 + 203314838831240392389287322082213464433869043/204682388835814704800\ 2329193951522180793*c_0101_5^12 - 139278963105696472163443140404631\ 96275870879045/42983301655521088008048913072981965796653*c_0101_5^1\ 1 - 10624289892598585815207328359631660208103225032/429833016555210\ 88008048913072981965796653*c_0101_5^10 + 24662630705264309137358837745725240655087924710/4298330165552108800\ 8048913072981965796653*c_0101_5^9 + 180090389527176290565963173217742736353611906/204682388835814704800\ 2329193951522180793*c_0101_5^8 - 3661249481197725888446863762593196\ 829272939693/14327767218507029336016304357660655265551*c_0101_5^7 - 1363064801342245561063617103423018188200667611/61404716650744411440\ 06987581854566542379*c_0101_5^6 + 647352003806190013514611373055679\ 0939174611632/42983301655521088008048913072981965796653*c_0101_5^5 + 3251841795088482755914918813696586642350142582/42983301655521088008\ 048913072981965796653*c_0101_5^4 - 597815490599890757489883029693412559719331021/143277672185070293360\ 16304357660655265551*c_0101_5^3 - 179936680990921929603943438890008\ 10927059705/14327767218507029336016304357660655265551*c_0101_5^2 + 99060464102861740697620062698907011941114234/4298330165552108800804\ 8913072981965796653*c_0101_5 - 205968062028312985830595158572417355\ 00527990/42983301655521088008048913072981965796653, c_0011_0 - 1, c_0011_1 + 256668840671691716167620787275923572728/20468238883581470480\ 02329193951522180793*c_0101_5^22 + 1387856046535745594703244663075105002952/20468238883581470480023291\ 93951522180793*c_0101_5^21 - 14824739755734917676296352221384061254\ 134/2046823888358147048002329193951522180793*c_0101_5^20 + 53056673714598697481766404882258089613028/2046823888358147048002329\ 193951522180793*c_0101_5^19 - 6495356600405390140753283306891368289\ 5651/2046823888358147048002329193951522180793*c_0101_5^18 - 94350189237257690018429790042135206932711/2046823888358147048002329\ 193951522180793*c_0101_5^17 + 4158434421146324851556707663198205369\ 64133/2046823888358147048002329193951522180793*c_0101_5^16 - 386229780064040363639506814970097278795653/204682388835814704800232\ 9193951522180793*c_0101_5^15 - 323017053127975851570310018633262435\ 486356/2046823888358147048002329193951522180793*c_0101_5^14 + 592751235474619703942494442288476352634802/204682388835814704800232\ 9193951522180793*c_0101_5^13 + 399808642589051677587022409229953878\ 147379/2046823888358147048002329193951522180793*c_0101_5^12 - 770558630675421427944148966601418200704447/204682388835814704800232\ 9193951522180793*c_0101_5^11 - 855388210960579811927094304572983972\ 023124/2046823888358147048002329193951522180793*c_0101_5^10 + 1346137739577720286601216856008591058416412/20468238883581470480023\ 29193951522180793*c_0101_5^9 + 510586899584707448518324180740535718\ 304551/2046823888358147048002329193951522180793*c_0101_5^8 - 494053291143679127961303013575180619156091/204682388835814704800232\ 9193951522180793*c_0101_5^7 - 6839728067495510998084507419566845706\ 35108/2046823888358147048002329193951522180793*c_0101_5^6 + 215805165676711072685670046301790814325214/204682388835814704800232\ 9193951522180793*c_0101_5^5 + 2051931613127724699863793376559451004\ 70591/2046823888358147048002329193951522180793*c_0101_5^4 - 59207978452026154274720557562483354401625/2046823888358147048002329\ 193951522180793*c_0101_5^3 + 23496792145951318630716308372825799848\ 07/2046823888358147048002329193951522180793*c_0101_5^2 + 2409184157511876147303086361265932139358/20468238883581470480023291\ 93951522180793*c_0101_5 - 1036252981812391501416197793071533883531/\ 2046823888358147048002329193951522180793, c_0011_6 - 299753475009887203149615895140314076815/20468238883581470480\ 02329193951522180793*c_0101_5^22 - 1586584667214005495742442740258852610206/20468238883581470480023291\ 93951522180793*c_0101_5^21 + 17498086504223755355894807900994107196\ 847/2046823888358147048002329193951522180793*c_0101_5^20 - 63947308800742498732450996904911388517451/2046823888358147048002329\ 193951522180793*c_0101_5^19 + 8290692418902198656887563261340980181\ 6783/2046823888358147048002329193951522180793*c_0101_5^18 + 101693334695095816196579578447239836681281/204682388835814704800232\ 9193951522180793*c_0101_5^17 - 498614018703574186059045775548607644\ 273583/2046823888358147048002329193951522180793*c_0101_5^16 + 505972509500551556181182104957287180536737/204682388835814704800232\ 9193951522180793*c_0101_5^15 + 328467362423097846852587855191337858\ 168944/2046823888358147048002329193951522180793*c_0101_5^14 - 737619296921230031940252822921902661224970/204682388835814704800232\ 9193951522180793*c_0101_5^13 - 394528912431522771602961645705445137\ 874622/2046823888358147048002329193951522180793*c_0101_5^12 + 963852913983632076821377959336013267117392/204682388835814704800232\ 9193951522180793*c_0101_5^11 + 904071001629548332554577915724399172\ 239124/2046823888358147048002329193951522180793*c_0101_5^10 - 1704670450361616609939267689108062376223733/20468238883581470480023\ 29193951522180793*c_0101_5^9 - 427061925044780966996915282756158827\ 729251/2046823888358147048002329193951522180793*c_0101_5^8 + 673664629063466367695915094977055867241913/204682388835814704800232\ 9193951522180793*c_0101_5^7 + 7523967809922097070890234422745724014\ 72535/2046823888358147048002329193951522180793*c_0101_5^6 - 369624324988044092747445773074092474498166/204682388835814704800232\ 9193951522180793*c_0101_5^5 - 2330236380000166757908550639263021267\ 89953/2046823888358147048002329193951522180793*c_0101_5^4 + 105148049479485359097083865125504336442719/204682388835814704800232\ 9193951522180793*c_0101_5^3 + 1072169246578008046216878629419563252\ 640/2046823888358147048002329193951522180793*c_0101_5^2 - 4228667105352726615500292058359773165047/20468238883581470480023291\ 93951522180793*c_0101_5 + 739757427259542406986733812522729221335/2\ 046823888358147048002329193951522180793, c_0101_0 + 1238377353275875457071624863536364598086/2046823888358147048\ 002329193951522180793*c_0101_5^22 + 6374653861297009831350438123021822835341/20468238883581470480023291\ 93951522180793*c_0101_5^21 - 73355452701768952218681930450222770223\ 816/2046823888358147048002329193951522180793*c_0101_5^20 + 274050669713850538501170811489354068602168/204682388835814704800232\ 9193951522180793*c_0101_5^19 - 374663917344395357038170307555070630\ 085652/2046823888358147048002329193951522180793*c_0101_5^18 - 391510630740095723208766684554168000855957/204682388835814704800232\ 9193951522180793*c_0101_5^17 + 214295937965282971547507701095662202\ 3434094/2046823888358147048002329193951522180793*c_0101_5^16 - 2343279068155603217196514164649252251615674/20468238883581470480023\ 29193951522180793*c_0101_5^15 - 12176013246665678275451899961817408\ 69240336/2046823888358147048002329193951522180793*c_0101_5^14 + 3364666171248406748936018733913511146790658/20468238883581470480023\ 29193951522180793*c_0101_5^13 + 13498884366001211674491384072683989\ 21522313/2046823888358147048002329193951522180793*c_0101_5^12 - 4413470809413149734001751692325735276540695/20468238883581470480023\ 29193951522180793*c_0101_5^11 - 33693734340200637690257791315627652\ 31356528/2046823888358147048002329193951522180793*c_0101_5^10 + 7821634812752046113917289348732001118931734/20468238883581470480023\ 29193951522180793*c_0101_5^9 + 117111785968719482142212171070009877\ 8184595/2046823888358147048002329193951522180793*c_0101_5^8 - 3455924681836661896039045776786446034791147/20468238883581470480023\ 29193951522180793*c_0101_5^7 - 301887104349479657640632523545887564\ 7772889/2046823888358147048002329193951522180793*c_0101_5^6 + 2049117016304681412848041855785533381875880/20468238883581470480023\ 29193951522180793*c_0101_5^5 + 101464581159223072904578856620785110\ 9410635/2046823888358147048002329193951522180793*c_0101_5^4 - 563532960999605916045966466441845617659938/204682388835814704800232\ 9193951522180793*c_0101_5^3 - 9756263535300947677479897132472993039\ 995/2046823888358147048002329193951522180793*c_0101_5^2 + 31201816134080269994902811626916066585943/2046823888358147048002329\ 193951522180793*c_0101_5 - 5647290987252021226585926429434093897937\ /2046823888358147048002329193951522180793, c_0101_2 + 996815079618757570504738052759316261223/20468238883581470480\ 02329193951522180793*c_0101_5^22 + 5138168478243918594611646197675537668955/20468238883581470480023291\ 93951522180793*c_0101_5^21 - 59032042492595864427195097831661872532\ 923/2046823888358147048002329193951522180793*c_0101_5^20 + 220006667510305747525151297587795705373859/204682388835814704800232\ 9193951522180793*c_0101_5^19 - 299188626243134042789895113435139586\ 862330/2046823888358147048002329193951522180793*c_0101_5^18 - 318952836455436006289001544112767761824594/204682388835814704800232\ 9193951522180793*c_0101_5^17 + 172031825986452564130828599902932558\ 8921659/2046823888358147048002329193951522180793*c_0101_5^16 - 1863136333845779390146853464334798181187527/20468238883581470480023\ 29193951522180793*c_0101_5^15 - 10026323100417382643986396205577376\ 86491792/2046823888358147048002329193951522180793*c_0101_5^14 + 2678443032250779360849109829242718959085993/20468238883581470480023\ 29193951522180793*c_0101_5^13 + 11376922611594720490294839332368686\ 05958185/2046823888358147048002329193951522180793*c_0101_5^12 - 3515650345785162855193213408099342806168967/20468238883581470480023\ 29193951522180793*c_0101_5^11 - 27841911424092281605616038701651477\ 21496098/2046823888358147048002329193951522180793*c_0101_5^10 + 6228608228902027960150077967277032876200169/20468238883581470480023\ 29193951522180793*c_0101_5^9 + 106327731736014698175174514255770133\ 2297247/2046823888358147048002329193951522180793*c_0101_5^8 - 2684238759166253532927479725548482001367543/20468238883581470480023\ 29193951522180793*c_0101_5^7 - 249492272492798729244415546410479868\ 5404373/2046823888358147048002329193951522180793*c_0101_5^6 + 1551587955380545723585420780397659887953507/20468238883581470480023\ 29193951522180793*c_0101_5^5 + 809274715846537158370813970906368642\ 539165/2046823888358147048002329193951522180793*c_0101_5^4 - 418428895779085939013384712975952978406022/204682388835814704800232\ 9193951522180793*c_0101_5^3 - 4043797024814584727470507348462543720\ 329/2046823888358147048002329193951522180793*c_0101_5^2 + 22113530415127715712669382263722700886278/2046823888358147048002329\ 193951522180793*c_0101_5 - 3975604499035878969301358960425547119200\ /2046823888358147048002329193951522180793, c_0101_3 + 162273805534682757662461135615558349450/20468238883581470480\ 02329193951522180793*c_0101_5^22 + 882723558847544631692002088831056979417/204682388835814704800232919\ 3951522180793*c_0101_5^21 - 931140244245869638770620194549363170504\ 9/2046823888358147048002329193951522180793*c_0101_5^20 + 33436322916863437069714762009321151362476/2046823888358147048002329\ 193951522180793*c_0101_5^19 - 4171703442215517826245496768217941411\ 6874/2046823888358147048002329193951522180793*c_0101_5^18 - 55162495381529654278723615486452253513566/2046823888358147048002329\ 193951522180793*c_0101_5^17 + 2551354322709110183032265310138211608\ 24709/2046823888358147048002329193951522180793*c_0101_5^16 - 247588820117568502756749830164814013723198/204682388835814704800232\ 9193951522180793*c_0101_5^15 - 169323115527848068337891522839044294\ 621320/2046823888358147048002329193951522180793*c_0101_5^14 + 335831942847164383024678833435005316883544/204682388835814704800232\ 9193951522180793*c_0101_5^13 + 230950690120742377705695112412402461\ 133369/2046823888358147048002329193951522180793*c_0101_5^12 - 436969054829203534133182582158257355054844/204682388835814704800232\ 9193951522180793*c_0101_5^11 - 511001110423892925903311304064886429\ 999572/2046823888358147048002329193951522180793*c_0101_5^10 + 785612395832483473682532754438846691609049/204682388835814704800232\ 9193951522180793*c_0101_5^9 + 2544356783347454485563964416515255182\ 91671/2046823888358147048002329193951522180793*c_0101_5^8 - 218238184311815090749384692792150025133649/204682388835814704800232\ 9193951522180793*c_0101_5^7 - 4005709964096348122436782865969276972\ 86861/2046823888358147048002329193951522180793*c_0101_5^6 + 127363399658143938740707182835693309645178/204682388835814704800232\ 9193951522180793*c_0101_5^5 + 9012780589205711242019954923625597732\ 4897/2046823888358147048002329193951522180793*c_0101_5^4 - 28483094873077809428728176783649975666678/2046823888358147048002329\ 193951522180793*c_0101_5^3 + 15039036848981020243889512457685769571\ 48/2046823888358147048002329193951522180793*c_0101_5^2 + 299334681695507419628176927174968194714/204682388835814704800232919\ 3951522180793*c_0101_5 + 962654971695343079571977368998884839473/20\ 46823888358147048002329193951522180793, c_0101_5^23 + 5*c_0101_5^22 - 60*c_0101_5^21 + 230*c_0101_5^20 - 335*c_0101_5^19 - 272*c_0101_5^18 + 1777*c_0101_5^17 - 2146*c_0101_5^16 - 706*c_0101_5^15 + 2860*c_0101_5^14 + 690*c_0101_5^13 - 3716*c_0101_5^12 - 2200*c_0101_5^11 + 6705*c_0101_5^10 + 23*c_0101_5^9 - 2910*c_0101_5^8 - 2018*c_0101_5^7 + 1992*c_0101_5^6 + 565*c_0101_5^5 - 574*c_0101_5^4 + 66*c_0101_5^3 + 25*c_0101_5^2 - 10*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB