Magma V2.19-8 Tue Aug 20 2013 16:16:41 on localhost [Seed = 610646254] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0980 geometric_solution 4.87475257 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 1023 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 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.543018112596 0.689772361648 0 1 1 0 0132 3201 2310 1023 0 0 0 0 0 0 0 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 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.392607970523 0.501366448896 3 0 4 3 2103 0132 0132 2031 0 0 0 0 0 0 0 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 -1 1 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.756924443242 0.730225107930 4 2 2 0 2310 1302 2103 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.756924443242 0.730225107930 5 5 3 2 0132 2310 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 -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.308223135786 0.477238669260 4 6 6 4 0132 0132 3201 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.727201026731 0.438019989253 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 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 2.433180257586 0.212040555657 ==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' : 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' : 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' : negation(d['c_0101_2']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0101_2'], '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_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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : 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' : negation(d['c_0011_0']), 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 243948867285293434729779511848068865336301/152338496995927568237861\ 4078478020333172*c_0101_6^25 + 618940794123253956916482711901938132\ 55703/217626424279896526054087725496860047596*c_0101_6^24 + 246032678914242572174993841892554028046038/544066060699741315135219\ 31374215011899*c_0101_6^23 - 15955279940360972825692818073935561453\ 759565/1523384969959275682378614078478020333172*c_0101_6^22 - 54193184338912740524485599381615344826784203/1523384969959275682378\ 614078478020333172*c_0101_6^21 + 2541159478353879682895415689095874\ 7005574131/217626424279896526054087725496860047596*c_0101_6^20 + 18831022596311978841828063304820925439551483/2176264242798965260540\ 87725496860047596*c_0101_6^19 - 89301447585609446613853997357967509\ 1403848999/1523384969959275682378614078478020333172*c_0101_6^18 + 27193881677040656649612079407404359782512539/3808462424898189205946\ 53519619505083293*c_0101_6^17 + 58702730045526520857335667639840085\ 4553388674/380846242489818920594653519619505083293*c_0101_6^16 - 323159322163661940875246604422266017815599827/761692484979637841189\ 307039239010166586*c_0101_6^15 - 1770909211026735064721633229515560\ 587343258125/761692484979637841189307039239010166586*c_0101_6^14 - 295135505441280279037496946754326428471339877/152338496995927568237\ 8614078478020333172*c_0101_6^13 + 227972926564058413852452847767941\ 981053672729/108813212139948263027043862748430023798*c_0101_6^12 + 4376909665222676228897485757169959981542313/26220051118059822416155\ 14765022410212*c_0101_6^11 - 24505652975327852353737842931252492218\ 2088691/217626424279896526054087725496860047596*c_0101_6^10 - 1384729660533751068474676748351478153430557755/76169248497963784118\ 9307039239010166586*c_0101_6^9 + 5516608728711489753940241300751969\ 16903362705/1523384969959275682378614078478020333172*c_0101_6^8 + 170676682464657531947139806699951744762595375/217626424279896526054\ 087725496860047596*c_0101_6^7 - 51193953134978949017758784796821773\ 451841281/761692484979637841189307039239010166586*c_0101_6^6 - 50469787286100329350034654329477469313470966/3808462424898189205946\ 53519619505083293*c_0101_6^5 + 224861430301213129318312495841189421\ 9192543/761692484979637841189307039239010166586*c_0101_6^4 + 16553873068762085186253410742919391441169/9177017891320937845654301\ 677578435742*c_0101_6^3 + 78135716164058333726600549245794391910772\ 9/761692484979637841189307039239010166586*c_0101_6^2 + 215219967637556679254750287745333944041481/217626424279896526054087\ 725496860047596*c_0101_6 - 5262338501286619804289676695174231696132\ 3/761692484979637841189307039239010166586, c_0011_0 - 1, c_0011_3 - 198125103649760872226622529928327007805/54406606069974131513\ 521931374215011899*c_0101_6^25 + 1475939558029478905477112990400333\ 413243/217626424279896526054087725496860047596*c_0101_6^24 + 22176775792632865534988836572012564011813/2176264242798965260540877\ 25496860047596*c_0101_6^23 - 13392048103939057435889711127599155655\ 478/54406606069974131513521931374215011899*c_0101_6^22 - 169408128277411914669009970609431807827467/217626424279896526054087\ 725496860047596*c_0101_6^21 + 5863328026936611314742241672330648069\ 30229/217626424279896526054087725496860047596*c_0101_6^20 + 364560088103481798873103217696377720669619/217626424279896526054087\ 725496860047596*c_0101_6^19 - 2869460716976705613509362742931306872\ 085763/217626424279896526054087725496860047596*c_0101_6^18 + 603797260660811433541435122628442543349933/217626424279896526054087\ 725496860047596*c_0101_6^17 + 3648242604715243528817334604497160601\ 170441/108813212139948263027043862748430023798*c_0101_6^16 - 631509748698946847161438113192720241736209/544066060699741315135219\ 31374215011899*c_0101_6^15 - 53384391602693446106620347406114855277\ 20507/108813212139948263027043862748430023798*c_0101_6^14 - 307057718260758803873531119941006328426535/108813212139948263027043\ 862748430023798*c_0101_6^13 + 9653012355766234400486068825566473125\ 200507/217626424279896526054087725496860047596*c_0101_6^12 + 47115322099524107567067994771489857359989/1311002555902991120807757\ 382511205106*c_0101_6^11 - 5457518431601818674388733558617531069350\ 591/217626424279896526054087725496860047596*c_0101_6^10 - 8230325253694933525099260945772143304106743/21762642427989652605408\ 7725496860047596*c_0101_6^9 + 4350751684838421526903829485949035169\ 14271/54406606069974131513521931374215011899*c_0101_6^8 + 3313109396236822120399173486035622370819819/21762642427989652605408\ 7725496860047596*c_0101_6^7 - 1554296352444181059327159136307872841\ 54205/217626424279896526054087725496860047596*c_0101_6^6 - 255979874707448536248520958009258113158997/108813212139948263027043\ 862748430023798*c_0101_6^5 - 15615926863699858651471505345011982577\ 593/54406606069974131513521931374215011899*c_0101_6^4 + 8924402687873507414064374897137194661/65550127795149556040387869125\ 5602553*c_0101_6^3 + 2653210626071203421917639525321064206452/54406\ 606069974131513521931374215011899*c_0101_6^2 + 2303499746090019763650075722171916122293/10881321213994826302704386\ 2748430023798*c_0101_6 + 298268391343466389943732495195861511669/21\ 7626424279896526054087725496860047596, c_0011_4 - 348598160346868335064845279711871037761/10881321213994826302\ 7043862748430023798*c_0101_6^25 + 104545802407412910170542412318457\ 7642229/217626424279896526054087725496860047596*c_0101_6^24 + 20048965413718353029747237764010264140909/2176264242798965260540877\ 25496860047596*c_0101_6^23 - 20086853811559209962785351344068969433\ 149/108813212139948263027043862748430023798*c_0101_6^22 - 168025120142920966482103866479602119688537/217626424279896526054087\ 725496860047596*c_0101_6^21 + 4663298352308579807578204152838055855\ 82739/217626424279896526054087725496860047596*c_0101_6^20 + 522060297247656836137227708184146367562693/217626424279896526054087\ 725496860047596*c_0101_6^19 - 2457734054446660593725150998251987203\ 353813/217626424279896526054087725496860047596*c_0101_6^18 - 413072746090096985185179910750362442900459/217626424279896526054087\ 725496860047596*c_0101_6^17 + 3425371491730937672976606698083201341\ 978749/108813212139948263027043862748430023798*c_0101_6^16 + 11397102200869255152761733188367448164449/5440660606997413151352193\ 1374215011899*c_0101_6^15 - 539381131877740131174631864017938817409\ 7799/108813212139948263027043862748430023798*c_0101_6^14 - 930404936705785233225716927696490376169327/544066060699741315135219\ 31374215011899*c_0101_6^13 + 91135355623228816577774823634548862155\ 39543/217626424279896526054087725496860047596*c_0101_6^12 + 30125923576214655658316392737303621923494/6555012779514955604038786\ 91255602553*c_0101_6^11 - 29977857606852696328538855233423308486551\ 97/217626424279896526054087725496860047596*c_0101_6^10 - 9573594228576717871876618402508889706910007/21762642427989652605408\ 7725496860047596*c_0101_6^9 - 3532073292804740179419269279023584545\ 93365/108813212139948263027043862748430023798*c_0101_6^8 + 4025629718078608723711583595760039812858821/21762642427989652605408\ 7725496860047596*c_0101_6^7 + 7612166258301703161783158213019381864\ 19643/217626424279896526054087725496860047596*c_0101_6^6 - 343653166056290202608662040048743429728869/108813212139948263027043\ 862748430023798*c_0101_6^5 - 44235973405057102137599527766331259946\ 760/54406606069974131513521931374215011899*c_0101_6^4 + 24106173211059838315378476427935091530/6555012779514955604038786912\ 55602553*c_0101_6^3 + 1831249216168513207272632060992979403189/5440\ 6606069974131513521931374215011899*c_0101_6^2 + 1670935169665841552897053371606467348136/54406606069974131513521931\ 374215011899*c_0101_6 + 1394292524209327361865594227425942054517/21\ 7626424279896526054087725496860047596, c_0101_0 - 263322462903096256464989637097774963602/54406606069974131513\ 521931374215011899*c_0101_6^25 + 4798271619533202867743419471550508\ 54728/54406606069974131513521931374215011899*c_0101_6^24 + 14802412815195773504707088719716431022007/1088132121399482630270438\ 62748430023798*c_0101_6^23 - 35048854210775982613557001610226543590\ 241/108813212139948263027043862748430023798*c_0101_6^22 - 114732599532943933946720111796656407521197/108813212139948263027043\ 862748430023798*c_0101_6^21 + 3867113792219742379189114786396244364\ 74127/108813212139948263027043862748430023798*c_0101_6^20 + 131805178754005366274077544485978681230540/544066060699741315135219\ 31374215011899*c_0101_6^19 - 19148604350811118971115508905812338106\ 21155/108813212139948263027043862748430023798*c_0101_6^18 + 310370718227540360208016951102492263160359/108813212139948263027043\ 862748430023798*c_0101_6^17 + 2476401326652348628673293938133336762\ 980979/54406606069974131513521931374215011899*c_0101_6^16 - 744857573190363577469540674917688890870829/544066060699741315135219\ 31374215011899*c_0101_6^15 - 36936224481477177812332729065406310005\ 06837/54406606069974131513521931374215011899*c_0101_6^14 - 325545248001255480881683349207286881524705/544066060699741315135219\ 31374215011899*c_0101_6^13 + 33582288194949576966647811850739957828\ 32413/54406606069974131513521931374215011899*c_0101_6^12 + 66665738696847236884019637703621736005465/1311002555902991120807757\ 382511205106*c_0101_6^11 - 1831311895974700516100196775764052270162\ 324/54406606069974131513521931374215011899*c_0101_6^10 - 2945268896611087316445876178650521292041392/54406606069974131513521\ 931374215011899*c_0101_6^9 + 51242086093709892489635329599509432632\ 7104/54406606069974131513521931374215011899*c_0101_6^8 + 2476900819737966074706423591979940995845279/10881321213994826302704\ 3862748430023798*c_0101_6^7 - 1259688025444922538213437056913141550\ 3507/54406606069974131513521931374215011899*c_0101_6^6 - 411798782979071269434874449739516349250499/108813212139948263027043\ 862748430023798*c_0101_6^5 - 27281448189696964460716384927832324644\ 022/54406606069974131513521931374215011899*c_0101_6^4 + 70466312852683137016413697822535999851/1311002555902991120807757382\ 511205106*c_0101_6^3 + 6824680603409961894317024354724520133441/108\ 813212139948263027043862748430023798*c_0101_6^2 + 1745265028011656401997998116428936979719/54406606069974131513521931\ 374215011899*c_0101_6 + 405790713567145226378991092914080572967/108\ 813212139948263027043862748430023798, c_0101_1 + 2173483249037834957159768173105788879661/2176264242798965260\ 54087725496860047596*c_0101_6^25 - 1663415625167069324865513999881291375801/10881321213994826302704386\ 2748430023798*c_0101_6^24 - 623671350979568802362058580301727328729\ 65/217626424279896526054087725496860047596*c_0101_6^23 + 127154976335600569678812070784814068820695/217626424279896526054087\ 725496860047596*c_0101_6^22 + 2594621872180868892486197882906614915\ 68111/108813212139948263027043862748430023798*c_0101_6^21 - 734343568066856423215401262264013700105969/108813212139948263027043\ 862748430023798*c_0101_6^20 - 7865354615308841545491158411666797589\ 79277/108813212139948263027043862748430023798*c_0101_6^19 + 3847155103478666349457913269423201421480319/10881321213994826302704\ 3862748430023798*c_0101_6^18 + 101188385932619852318631622462123174\ 8882495/217626424279896526054087725496860047596*c_0101_6^17 - 10644334484829423871660960839533033555283271/1088132121399482630270\ 43862748430023798*c_0101_6^16 + 30017231285936932052045084683804462\ 4070053/108813212139948263027043862748430023798*c_0101_6^15 + 8325223540557538428970008812706795976407262/54406606069974131513521\ 931374215011899*c_0101_6^14 + 1042038448117228340693153786617665476\ 4870371/217626424279896526054087725496860047596*c_0101_6^13 - 28239357220660006448137650878443007233575835/2176264242798965260540\ 87725496860047596*c_0101_6^12 - 36104106269923611439786146061665937\ 4064899/2622005111805982241615514765022410212*c_0101_6^11 + 4986255377240291957072173136190414596989809/10881321213994826302704\ 3862748430023798*c_0101_6^10 + 290153747906939845826459701737449433\ 62251811/217626424279896526054087725496860047596*c_0101_6^9 + 1232390957236118221147922867195638395678955/21762642427989652605408\ 7725496860047596*c_0101_6^8 - 3048269712041228686048912500938298097\ 922758/54406606069974131513521931374215011899*c_0101_6^7 - 1880201064757794547214171170526900400357767/21762642427989652605408\ 7725496860047596*c_0101_6^6 + 5137610074515862903229924497263102339\ 67247/54406606069974131513521931374215011899*c_0101_6^5 + 238052290652063804356031695624854524345313/108813212139948263027043\ 862748430023798*c_0101_6^4 - 45968613959532700905932812280955912710\ /655501277951495560403878691255602553*c_0101_6^3 - 7107629324990125119084517590425680219042/54406606069974131513521931\ 374215011899*c_0101_6^2 - 19785045325465541063244252596548493344729\ /217626424279896526054087725496860047596*c_0101_6 - 3276230516156439711301082008268043601851/21762642427989652605408772\ 5496860047596, c_0101_2 + 141259952541153132628525416178846828247/10881321213994826302\ 7043862748430023798*c_0101_6^25 - 498055343133099693714466688096438\ 45761/54406606069974131513521931374215011899*c_0101_6^24 - 2141054165179801020592472151911493836460/54406606069974131513521931\ 374215011899*c_0101_6^23 + 5025546104066483488202778287332603745581\ /108813212139948263027043862748430023798*c_0101_6^22 + 41924697123561082412933475381304115789863/1088132121399482630270438\ 62748430023798*c_0101_6^21 - 35695144115715703096224399752156581757\ 161/54406606069974131513521931374215011899*c_0101_6^20 - 95373881477137117171699001015398428322876/5440660606997413151352193\ 1374215011899*c_0101_6^19 + 455568470644306333637002029556826612724\ 705/108813212139948263027043862748430023798*c_0101_6^18 + 490840004051171764649911219065028057516651/108813212139948263027043\ 862748430023798*c_0101_6^17 - 7575517643945798180457952785766337126\ 87991/54406606069974131513521931374215011899*c_0101_6^16 - 507111214690906572570867405449851055860375/544066060699741315135219\ 31374215011899*c_0101_6^15 + 13187173892488133004889581676497718888\ 91989/54406606069974131513521931374215011899*c_0101_6^14 + 2182848144638154969555036613897445498525969/10881321213994826302704\ 3862748430023798*c_0101_6^13 - 188491323648906589039451708904587077\ 3845519/108813212139948263027043862748430023798*c_0101_6^12 - 20082541775751958573503286092615600829808/6555012779514955604038786\ 91255602553*c_0101_6^11 - 36610532367206703778026120905373362007153\ 1/108813212139948263027043862748430023798*c_0101_6^10 + 1378179260773539389325798257497401936119703/54406606069974131513521\ 931374215011899*c_0101_6^9 + 59066788286482807572216283262856148600\ 2155/54406606069974131513521931374215011899*c_0101_6^8 - 568269076305333013922131903747473923111744/544066060699741315135219\ 31374215011899*c_0101_6^7 - 546172601089762500094719326339017540053\ 381/108813212139948263027043862748430023798*c_0101_6^6 + 196810696089287111019322241694286597988617/108813212139948263027043\ 862748430023798*c_0101_6^5 + 87170293498697381704296611509080127928\ 621/108813212139948263027043862748430023798*c_0101_6^4 - 6057966805870483803723609955024646748/65550127795149556040387869125\ 5602553*c_0101_6^3 - 804119445140629734623718381406264311829/108813\ 212139948263027043862748430023798*c_0101_6^2 - 1077011859900885168287792191373966968085/54406606069974131513521931\ 374215011899*c_0101_6 - 670648953637699635032577852644214008951/108\ 813212139948263027043862748430023798, c_0101_6^26 - 2*c_0101_6^25 - 28*c_0101_6^24 + 72*c_0101_6^23 + 212*c_0101_6^22 - 789*c_0101_6^21 - 413*c_0101_6^20 + 3895*c_0101_6^19 - 1172*c_0101_6^18 - 10101*c_0101_6^17 + 4836*c_0101_6^16 + 15460*c_0101_6^15 - 2359*c_0101_6^14 - 15693*c_0101_6^13 - 7840*c_0101_6^12 + 11438*c_0101_6^11 + 11574*c_0101_6^10 - 5814*c_0101_6^9 - 6276*c_0101_6^8 + 1756*c_0101_6^7 + 1541*c_0101_6^6 - 218*c_0101_6^5 - 144*c_0101_6^4 - 10*c_0101_6^3 - 3*c_0101_6^2 + 3*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB