Magma V2.19-8 Tue Aug 20 2013 16:17:14 on localhost [Seed = 3448525075] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1467 geometric_solution 5.28616249 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 2310 0 0 0 0 0 -1 0 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 -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.807710555801 0.938859959648 0 4 3 2 0132 0132 3012 1302 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 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.425272699735 0.654952132510 4 0 1 3 3201 0132 2031 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.425272699735 0.654952132510 0 1 2 0 3201 1230 1230 0132 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 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.830352866226 0.871685110919 5 1 5 2 0132 0132 2310 2310 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 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.213535426849 2.091926242477 4 4 6 6 0132 3201 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 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.263514701687 0.142215988655 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 -1 1 0 -1 0 0 1 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.771780868827 0.447593325210 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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' : negation(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' : negation(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' : negation(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' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], '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' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), '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_0011_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_2']), '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 49932016789342466767368372486053744909867/2085511060237740479857557\ 753773150267280*c_0101_4^17 + 8006346271842976519262701685160555867\ 28913/10427555301188702399287788768865751336400*c_0101_4^16 - 192630086982073959634156944883353240754321/104275553011887023992877\ 88768865751336400*c_0101_4^15 - 60059117650963254490474807090895922\ 3740513/2606888825297175599821947192216437834100*c_0101_4^14 - 3865695484802961815246377058803123832777/15334640148806915293070277\ 6012731637300*c_0101_4^13 + 105088772371308456464844464385818254679\ 779/289654313921908399980216354690715314900*c_0101_4^12 - 11733479635033678788168048506831754366563/1042755530118870239928778\ 8768865751336400*c_0101_4^11 - 431507372768599834454185258661130269\ 816041/1042755530118870239928778876886575133640*c_0101_4^10 + 347457915370301753936187978282203872066057/347585176706290079976259\ 6256288583778800*c_0101_4^9 + 4090558628485782352548642129645953208\ 651439/10427555301188702399287788768865751336400*c_0101_4^8 - 28801054961191680247871328967327690038221/4344814708828625999703245\ 32036072972350*c_0101_4^7 - 815692650383338474355658680022656197589\ 431/5213777650594351199643894384432875668200*c_0101_4^6 + 970160179227774105009599290711665858264923/104275553011887023992877\ 88768865751336400*c_0101_4^5 + 836091204716661135338032201808600864\ 6603/118494946604417072719179417828019901550*c_0101_4^4 - 302527390027463438040096133118645133900967/104275553011887023992877\ 88768865751336400*c_0101_4^3 - 114285257585804733900521507817145265\ 89471/386205751895877866640288472920953753200*c_0101_4^2 + 16755581278114701618367845055514051571631/5213777650594351199643894\ 384432875668200*c_0101_4 + 3637427441664023755088652906541661454772\ 9/10427555301188702399287788768865751336400, c_0011_0 - 1, c_0011_3 - 85328253886385425962643824168687/594973323494098831639366609\ 2155*c_0101_4^17 - 2049698714944664455294115638180061/5949733234940\ 9883163936660921550*c_0101_4^16 + 246277853073577593383912858911141\ 7/59497332349409883163936660921550*c_0101_4^15 + 3305020577644144042423047276687772/29748666174704941581968330460775\ *c_0101_4^14 - 4818687489686358925427640304423603/59497332349409883\ 163936660921550*c_0101_4^13 - 5095455323144515303620476736510509/29\ 748666174704941581968330460775*c_0101_4^12 + 9048685405253647675832365086650851/59497332349409883163936660921550\ *c_0101_4^11 + 1842019129555130770719898924207529/11899466469881976\ 632787332184310*c_0101_4^10 - 12490286065843086580035910119228137/5\ 9497332349409883163936660921550*c_0101_4^9 - 2766606221308413840989561883945499/29748666174704941581968330460775\ *c_0101_4^8 + 4428476217047616633856347136090449/297486661747049415\ 81968330460775*c_0101_4^7 - 267311403158126649125155009249303/29748\ 666174704941581968330460775*c_0101_4^6 - 2120287557675583344491745745411908/29748666174704941581968330460775\ *c_0101_4^5 + 948462843688216488332040579117027/5949733234940988316\ 3936660921550*c_0101_4^4 + 532494588806565425025744496720192/297486\ 66174704941581968330460775*c_0101_4^3 + 150879536404771832046017153110562/29748666174704941581968330460775*\ c_0101_4^2 - 412904665189368426203015781463909/59497332349409883163\ 936660921550*c_0101_4 + 71911397678176353883241606761271/2974866617\ 4704941581968330460775, c_0011_6 - 111082736694178082077465733718367/11899466469881976632787332\ 184310*c_0101_4^17 - 1262528163328368272822638368497113/59497332349\ 409883163936660921550*c_0101_4^16 + 865881222647955768564057961426768/29748666174704941581968330460775*\ c_0101_4^15 + 4005502668320329027782355170582077/594973323494098831\ 63936660921550*c_0101_4^14 - 1773896952347658234440487873748937/297\ 48666174704941581968330460775*c_0101_4^13 - 5956600217205838206866707407403619/59497332349409883163936660921550\ *c_0101_4^12 + 6471266815715087498310731874550033/59497332349409883\ 163936660921550*c_0101_4^11 + 975843308469298611232941666456137/118\ 99466469881976632787332184310*c_0101_4^10 - 4237998306617547893564907827537248/29748666174704941581968330460775\ *c_0101_4^9 - 1165727354820774219499423580139567/297486661747049415\ 81968330460775*c_0101_4^8 + 2875265752169726843645385832085267/2974\ 8666174704941581968330460775*c_0101_4^7 - 586460164644703858285197003647949/29748666174704941581968330460775*\ c_0101_4^6 - 2464667311767200550173712387630453/5949733234940988316\ 3936660921550*c_0101_4^5 + 455491042616412723547261045641133/297486\ 66174704941581968330460775*c_0101_4^4 + 269506621076088155945302469637761/29748666174704941581968330460775*\ c_0101_4^3 + 85353418108814231071792554619617/594973323494098831639\ 36660921550*c_0101_4^2 - 138287471651699939341807813751836/29748666\ 174704941581968330460775*c_0101_4 + 79696912352101288486930568998543/29748666174704941581968330460775, c_0101_0 + 2233059633326349464054107216490324479/1032635700256357932193\ 28468695442180*c_0101_4^17 + 6441838972891860646898775127008019414/\ 129079462532044741524160585869302725*c_0101_4^16 - 34262417293605594969777373618238828957/5163178501281789660966423434\ 77210900*c_0101_4^15 - 82785298929640900691875804298999780649/51631\ 7850128178966096642343477210900*c_0101_4^14 + 68553251972304422170435194203862017663/5163178501281789660966423434\ 77210900*c_0101_4^13 + 124795874676651871136378718253326825803/5163\ 17850128178966096642343477210900*c_0101_4^12 - 31219759504741116853526153670868319099/1290794625320447415241605858\ 69302725*c_0101_4^11 - 10549400779687958006405996516955934407/51631\ 785012817896609664234347721090*c_0101_4^10 + 165694379545980626682620344368870697377/516317850128178966096642343\ 477210900*c_0101_4^9 + 13896429764330277565494453955458253402/12907\ 9462532044741524160585869302725*c_0101_4^8 - 28278262949287359104598961131102190502/1290794625320447415241605858\ 69302725*c_0101_4^7 + 8085128062963583213409079683445123213/2581589\ 25064089483048321171738605450*c_0101_4^6 + 48205195928157487765017606414060949661/5163178501281789660966423434\ 77210900*c_0101_4^5 - 14918277151345904795832313258966973867/516317\ 850128178966096642343477210900*c_0101_4^4 - 5478522255828234209676021091869660507/25815892506408948304832117173\ 8605450*c_0101_4^3 - 4371882167995685635451707452240955279/51631785\ 0128178966096642343477210900*c_0101_4^2 + 5370744496619734037193803341651352039/51631785012817896609664234347\ 7210900*c_0101_4 - 509787360939753110625951123309408333/12907946253\ 2044741524160585869302725, c_0101_1 + 485256919027757760515236889370788051/25815892506408948304832\ 117173860545*c_0101_4^17 + 5659402441389550739002093598018460639/12\ 9079462532044741524160585869302725*c_0101_4^16 - 7445794469526912993966047838413973683/12907946253204474152416058586\ 9302725*c_0101_4^15 - 18602784127701990395861393474117016331/129079\ 462532044741524160585869302725*c_0101_4^14 + 14517392018266707606174092587143030072/1290794625320447415241605858\ 69302725*c_0101_4^13 + 28581240452795244205891222340136843532/12907\ 9462532044741524160585869302725*c_0101_4^12 - 26206063875293604692721935689969375374/1290794625320447415241605858\ 69302725*c_0101_4^11 - 4988153727677737983828436924959171951/258158\ 92506408948304832117173860545*c_0101_4^10 + 35199838397594644037018890345134807938/1290794625320447415241605858\ 69302725*c_0101_4^9 + 14101734312988209512214658461258950452/129079\ 462532044741524160585869302725*c_0101_4^8 - 24327641822215133704757065281501449527/1290794625320447415241605858\ 69302725*c_0101_4^7 + 1829481344324966051971860666924206919/1290794\ 62532044741524160585869302725*c_0101_4^6 + 10243510076308935921108440031217771534/1290794625320447415241605858\ 69302725*c_0101_4^5 - 2913999560360635896315140739284766648/1290794\ 62532044741524160585869302725*c_0101_4^4 - 2539279343657446996838994015301806591/12907946253204474152416058586\ 9302725*c_0101_4^3 - 1114963405738173181602248215970552026/12907946\ 2532044741524160585869302725*c_0101_4^2 + 1216803565426782094999324024554400366/12907946253204474152416058586\ 9302725*c_0101_4 - 400814150001256901615471694036433358/12907946253\ 2044741524160585869302725, c_0101_2 + 306383449054142285189826379361367/23798932939763953265574664\ 368620*c_0101_4^17 + 874295358423479455748997460555622/297486661747\ 04941581968330460775*c_0101_4^16 - 4879713277933389671794450489420461/11899466469881976632787332184310\ 0*c_0101_4^15 - 11520578282484966125255841222192677/118994664698819\ 766327873321843100*c_0101_4^14 + 9787481639249564464018780835492099\ /118994664698819766327873321843100*c_0101_4^13 + 17733035541685902996627287241208819/1189946646988197663278733218431\ 00*c_0101_4^12 - 4387248665145507410689475003147702/297486661747049\ 41581968330460775*c_0101_4^11 - 1531640834015872743242712962802961/\ 11899466469881976632787332184310*c_0101_4^10 + 23294986722367190404623489396507721/1189946646988197663278733218431\ 00*c_0101_4^9 + 2077948469867623157610840559424071/2974866617470494\ 1581968330460775*c_0101_4^8 - 4099961603132298422745166180267321/29\ 748666174704941581968330460775*c_0101_4^7 + 813602990858502136684277834511699/59497332349409883163936660921550*\ c_0101_4^6 + 7128917063046204067670728452286253/1189946646988197663\ 27873321843100*c_0101_4^5 - 2127352472413064398265188752000691/1189\ 94664698819766327873321843100*c_0101_4^4 - 963945772612571512258144788274661/59497332349409883163936660921550*\ c_0101_4^3 - 489494095370267109092954803436367/11899466469881976632\ 7873321843100*c_0101_4^2 + 895039840508156424374200833048747/118994\ 664698819766327873321843100*c_0101_4 - 70927321079903247668546120123309/29748666174704941581968330460775, c_0101_4^18 + 359/205*c_0101_4^17 - 179/41*c_0101_4^16 - 1172/205*c_0101_4^15 + 424/41*c_0101_4^14 + 1596/205*c_0101_4^13 - 721/41*c_0101_4^12 - 658/205*c_0101_4^11 + 4173/205*c_0101_4^10 - 707/205*c_0101_4^9 - 2688/205*c_0101_4^8 + 302/41*c_0101_4^7 + 737/205*c_0101_4^6 - 4*c_0101_4^5 - 37/205*c_0101_4^4 + 57/205*c_0101_4^3 + 134/205*c_0101_4^2 - 101/205*c_0101_4 + 24/205 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB