Magma V2.19-8 Tue Aug 20 2013 16:15:51 on localhost [Seed = 3852761551] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0081 geometric_solution 3.62686672 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 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 2.009910867756 0.268109347213 0 1 0 1 0132 2310 2310 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.700714776317 0.046529379156 0 3 3 0 3201 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 -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.364226239174 0.244391796589 4 2 2 5 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 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.237297627244 0.977331523565 3 6 6 5 0132 0132 1023 2031 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 -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.252688247206 0.253800127430 6 4 3 6 3201 1302 0132 2310 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 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.252688247206 0.253800127430 5 4 4 5 3201 0132 1023 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 -1 1 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.029964815769 1.978703743959 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(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' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_5'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), '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_3'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 10441294110977458639055033089047011055760839/5128917543742053377219\ 315999867070018249728*c_0101_6^20 + 5933489981390282299871667845374603742293717/73270250624886476817418\ 7999981010002607104*c_0101_6^19 - 481389486897439323950332301631473\ 63906888963/5128917543742053377219315999867070018249728*c_0101_6^18 + 292639503620428935943512407130365742768094977/1282229385935513344\ 304828999966767504562432*c_0101_6^17 - 15688428152868124199913445075552594787173205/1282229385935513344304\ 828999966767504562432*c_0101_6^16 + 670921136550626779225680757963445108373160559/320557346483878336076\ 207249991691876140608*c_0101_6^15 + 268822930889533631373151294947471564970287945/512891754374205337721\ 9315999867070018249728*c_0101_6^14 + 108395911058538199123200951441510313340538879/114484766601385120027\ 21687499703281290736*c_0101_6^13 - 676499891118948997396264730082961374912518583/128222938593551334430\ 4828999966767504562432*c_0101_6^12 + 129118522252488000889175246759356344133222035537/512891754374205337\ 7219315999867070018249728*c_0101_6^11 - 18127209263780059112629410719319055290886999233/5128917543742053377\ 219315999867070018249728*c_0101_6^10 + 108068906106555675460717997014989608613268456293/256445877187102668\ 8609657999933535009124864*c_0101_6^9 - 22102988508666430391445100200554933385296052879/2564458771871026688\ 609657999933535009124864*c_0101_6^8 + 57372049826608497472284524660744175948677177671/1282229385935513344\ 304828999966767504562432*c_0101_6^7 - 58337209597673000059831342219574891712095479653/5128917543742053377\ 219315999867070018249728*c_0101_6^6 + 73283656403295824483351905343188817320724521825/2564458771871026688\ 609657999933535009124864*c_0101_6^5 - 11628244465616955673816849974320400905060961555/1282229385935513344\ 304828999966767504562432*c_0101_6^4 + 852473935959660990095993362312310836779185469/915878132811080960217\ 73499997626250325888*c_0101_6^3 - 181367211464956194729976169947542\ 106612276543/40069668310484792009525906248961484517576*c_0101_6^2 + 34430896434954718430077987620452489452911141/4006966831048479200952\ 5906248961484517576*c_0101_6 - 977683648543304555176358519379366919\ 03506191/80139336620969584019051812497922969035152, c_0011_0 - 1, c_0011_2 + 422892572076231851678402130225351411/19160630393537258581960\ 9832631017260096*c_0101_6^20 + 106989202857878032549806012361646907\ 7/191606303935372585819609832631017260096*c_0101_6^19 - 5352676877361646817387387147605487537/19160630393537258581960983263\ 1017260096*c_0101_6^18 + 23262415130608395819216700894177058235/958\ 03151967686292909804916315508630048*c_0101_6^17 - 16359240459791547901861998160379385831/4790157598384314645490245815\ 7754315024*c_0101_6^16 + 41599055287613088619147267020329935431/239\ 50787991921573227451229078877157512*c_0101_6^15 - 599063265032219918885651422787084025187/191606303935372585819609832\ 631017260096*c_0101_6^14 + 517514948197322727795452774383445333053/\ 95803151967686292909804916315508630048*c_0101_6^13 - 698759711726128171810540956458586180119/479015759838431464549024581\ 57754315024*c_0101_6^12 + 1627127910680076021569446761208496985373/\ 191606303935372585819609832631017260096*c_0101_6^11 - 6998206307584416982928479146594710717963/19160630393537258581960983\ 2631017260096*c_0101_6^10 + 121814957884976478883431138786683612459\ /23950787991921573227451229078877157512*c_0101_6^9 - 4949906002785991239060846267920461461449/95803151967686292909804916\ 315508630048*c_0101_6^8 - 58291302664583924120799927437181598437/11\ 975393995960786613725614539438578756*c_0101_6^7 - 7675048922183378177511656343079909703729/19160630393537258581960983\ 2631017260096*c_0101_6^6 - 277583911333707226385710694192425782377/\ 23950787991921573227451229078877157512*c_0101_6^5 - 338066625993451833942748735121569448163/239507879919215732274512290\ 78877157512*c_0101_6^4 - 82498808051133086183233994753852646357/119\ 75393995960786613725614539438578756*c_0101_6^3 - 7219839338542484106586720796908510149/11975393995960786613725614539\ 438578756*c_0101_6^2 - 965602641393308905488262935830393315/2993848\ 498990196653431403634859644689*c_0101_6 + 787822076893926217502181956322739705/299384849899019665343140363485\ 9644689, c_0011_5 - 751921377207806822943250772072125299/19160630393537258581960\ 9832631017260096*c_0101_6^20 - 247317455145843910468277155698826586\ 1/191606303935372585819609832631017260096*c_0101_6^19 + 6260624157242378207058903647058352417/19160630393537258581960983263\ 1017260096*c_0101_6^18 - 41859787055124755188045971007366921795/958\ 03151967686292909804916315508630048*c_0101_6^17 + 14787374181856631454065946956988559607/4790157598384314645490245815\ 7754315024*c_0101_6^16 - 86914646260277888035274219715793425155/239\ 50787991921573227451229078877157512*c_0101_6^15 + 513526121321128456628903056312922662499/191606303935372585819609832\ 631017260096*c_0101_6^14 - 1377281253481970397311741589851168876997\ /95803151967686292909804916315508630048*c_0101_6^13 + 660147111262277546229210162097783762191/479015759838431464549024581\ 57754315024*c_0101_6^12 - 6273924502392191281061307686624006087101/\ 191606303935372585819609832631017260096*c_0101_6^11 + 7452008896640513375549910849335140348475/19160630393537258581960983\ 2631017260096*c_0101_6^10 - 107873703670028168445180515507969888963\ 7/23950787991921573227451229078877157512*c_0101_6^9 + 6072852991051806868587784452789792288473/95803151967686292909804916\ 315508630048*c_0101_6^8 - 426454436387193814784265045866729765287/1\ 1975393995960786613725614539438578756*c_0101_6^7 + 11479420076046685354232416081380932819313/1916063039353725858196098\ 32631017260096*c_0101_6^6 - 298536564998847312279369178686797512349\ /23950787991921573227451229078877157512*c_0101_6^5 + 729041046594531686249405308285527858987/239507879919215732274512290\ 78877157512*c_0101_6^4 + 7222645684471124679929468666860066307/1197\ 5393995960786613725614539438578756*c_0101_6^3 + 77414313287586906968985831463438932565/1197539399596078661372561453\ 9438578756*c_0101_6^2 - 486562235621933907881274733577677441/299384\ 8498990196653431403634859644689*c_0101_6 + 393377624422141164396485177616480063/299384849899019665343140363485\ 9644689, c_0101_0 - 492611330546223624187785474970818501/95803151967686292909804\ 916315508630048*c_0101_6^20 - 3011937198234391711090541953282937151\ /95803151967686292909804916315508630048*c_0101_6^19 - 797731545894131812112156934011996851/958031519676862929098049163155\ 08630048*c_0101_6^18 - 1381539054826087220236760629684505516/299384\ 8498990196653431403634859644689*c_0101_6^17 - 58162938836201956864761212023780267821/4790157598384314645490245815\ 7754315024*c_0101_6^16 - 99251265885468119788981628091122600487/239\ 50787991921573227451229078877157512*c_0101_6^15 - 898068462206311509203179036564138650827/958031519676862929098049163\ 15508630048*c_0101_6^14 - 740076809334282839188851225521925616349/4\ 7901575983843146454902458157754315024*c_0101_6^13 - 1618344381040847117722558435370189558599/47901575983843146454902458\ 157754315024*c_0101_6^12 - 3044003868108435261208149524541966677951\ /95803151967686292909804916315508630048*c_0101_6^11 - 6640174634140486524821627018234576352295/95803151967686292909804916\ 315508630048*c_0101_6^10 - 2032859668561642903019295310961183002083\ /47901575983843146454902458157754315024*c_0101_6^9 - 2025399495796905406832081750112656197363/23950787991921573227451229\ 078877157512*c_0101_6^8 - 123292219353812271202603950638798742423/2\ 993848498990196653431403634859644689*c_0101_6^7 - 5613795522401864288286673129516854678669/95803151967686292909804916\ 315508630048*c_0101_6^6 - 676272586561460600141854251598295928069/2\ 3950787991921573227451229078877157512*c_0101_6^5 - 908458988884896242310610257596294365163/479015759838431464549024581\ 57754315024*c_0101_6^4 - 60076829087507852469274922245155274419/598\ 7696997980393306862807269719289378*c_0101_6^3 - 6081635432397055398846173228043703473/11975393995960786613725614539\ 438578756*c_0101_6^2 - 1201810263758253082254962756634646511/598769\ 6997980393306862807269719289378*c_0101_6 + 2098759312100482049350879099233209024/29938484989901966534314036348\ 59644689, c_0101_1 - 917519053735986356619311446987699803/95803151967686292909804\ 916315508630048*c_0101_6^20 - 1974563824647447031786533950773162475\ /95803151967686292909804916315508630048*c_0101_6^19 + 12390855140025542754176689948075003253/9580315196768629290980491631\ 5508630048*c_0101_6^18 - 53383125812727979286487748294391394739/479\ 01575983843146454902458157754315024*c_0101_6^17 + 88062973669699499064526680094010867581/4790157598384314645490245815\ 7754315024*c_0101_6^16 - 97535905997329959861533994267267834307/119\ 75393995960786613725614539438578756*c_0101_6^15 + 1471241793975937916955174113773490815603/95803151967686292909804916\ 315508630048*c_0101_6^14 - 719994465268339130085330969497304301223/\ 23950787991921573227451229078877157512*c_0101_6^13 + 3078294698107583649054088574544629109149/47901575983843146454902458\ 157754315024*c_0101_6^12 - 6501958443121662205044599490260420402141\ /95803151967686292909804916315508630048*c_0101_6^11 + 14417444968078299789424242298819148218377/9580315196768629290980491\ 6315508630048*c_0101_6^10 - 114630440370566672030090202270160018083\ 7/11975393995960786613725614539438578756*c_0101_6^9 + 631198986594954147066898599395544231429/299384849899019665343140363\ 4859644689*c_0101_6^8 - 970801340386273730567686445166225565491/119\ 75393995960786613725614539438578756*c_0101_6^7 + 17118676430008489030120453476350714272621/9580315196768629290980491\ 6315508630048*c_0101_6^6 - 1823166641616475152052719462444235979363\ /47901575983843146454902458157754315024*c_0101_6^5 + 4185096512049060928383198100928715492839/47901575983843146454902458\ 157754315024*c_0101_6^4 - 248698301086070204623498584644765202207/2\ 3950787991921573227451229078877157512*c_0101_6^3 + 251621779906898659603204546695927624869/119753939959607866137256145\ 39438578756*c_0101_6^2 - 8999895836733361352096826778874244641/2993\ 848498990196653431403634859644689*c_0101_6 + 3663678218244053920055756082134533871/29938484989901966534314036348\ 59644689, c_0101_3 - 1567746553203612553949486494251754965/1916063039353725858196\ 09832631017260096*c_0101_6^20 - 40303092125028337806581228288715069\ 05/191606303935372585819609832631017260096*c_0101_6^19 + 17932957028313930182225841890607746409/1916063039353725858196098326\ 31017260096*c_0101_6^18 - 44883034441349383684631741776266526733/47\ 901575983843146454902458157754315024*c_0101_6^17 + 60331543296822932410239200766635863189/4790157598384314645490245815\ 7754315024*c_0101_6^16 - 175965105191065161392443181770985754221/23\ 950787991921573227451229078877157512*c_0101_6^15 + 2083525428581497793772935955587390384581/19160630393537258581960983\ 2631017260096*c_0101_6^14 - 84408498484694360292029612493590495538/\ 2993848498990196653431403634859644689*c_0101_6^13 + 2373023589848345705326496119835254655637/47901575983843146454902458\ 157754315024*c_0101_6^12 - 1236252176721937186482001091554072952298\ 7/191606303935372585819609832631017260096*c_0101_6^11 + 24319415582899447747359251556926337229475/1916063039353725858196098\ 32631017260096*c_0101_6^10 - 88006866213110596335428732112296052649\ 43/95803151967686292909804916315508630048*c_0101_6^9 + 18558230172708313020037910881218716071473/9580315196768629290980491\ 6315508630048*c_0101_6^8 - 3716266129605360739225273437348606265351\ /47901575983843146454902458157754315024*c_0101_6^7 + 33871610438211988549785477323361118466559/1916063039353725858196098\ 32631017260096*c_0101_6^6 - 316751660120320630260251839317342839341\ 9/95803151967686292909804916315508630048*c_0101_6^5 + 4333170329558558648310742281795005733649/47901575983843146454902458\ 157754315024*c_0101_6^4 - 71767815899746842541045241860134059875/11\ 975393995960786613725614539438578756*c_0101_6^3 + 254148009978991321028033261563210324545/119753939959607866137256145\ 39438578756*c_0101_6^2 - 16102603526246155810755560653129460249/598\ 7696997980393306862807269719289378*c_0101_6 + 2860514693609160959596239267388247960/29938484989901966534314036348\ 59644689, c_0101_6^21 + 13/3*c_0101_6^20 - 3*c_0101_6^19 + 334/3*c_0101_6^18 + 100/3*c_0101_6^17 + 1048*c_0101_6^16 + 399*c_0101_6^15 + 4870*c_0101_6^14 + 4468/3*c_0101_6^13 + 39805/3*c_0101_6^12 + 9149/3*c_0101_6^11 + 68528/3*c_0101_6^10 + 12094/3*c_0101_6^9 + 75920/3*c_0101_6^8 + 10847/3*c_0101_6^7 + 52480/3*c_0101_6^6 + 5960/3*c_0101_6^5 + 6816*c_0101_6^4 + 1072/3*c_0101_6^3 + 1152*c_0101_6^2 - 448/3*c_0101_6 + 128/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB