Magma V2.19-8 Tue Aug 20 2013 16:17:29 on localhost [Seed = 1966401966] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1708 geometric_solution 5.41898857 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 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.451932317673 0.196002285369 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.685655882719 0.611722576841 1 4 5 3 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 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.191381701934 1.227950311706 2 5 4 1 3201 1023 3201 0132 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 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.191381701934 1.227950311706 3 2 4 4 2310 0132 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.884862124662 1.280755145746 3 6 6 2 1023 0132 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 -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.185962428045 0.509677014173 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 1 -1 0 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.034038878138 0.837259694837 ==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_0101_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_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' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 126964987262391876514943784860899206431905198280005/270791832266579\ 887236205819512543388446712060688334*c_0101_6^26 + 17708941596284847015750132187082350549434412086132191/2707918322665\ 79887236205819512543388446712060688334*c_0101_6^24 - 557417435162198465442697179744647940948853559324394473/270791832266\ 579887236205819512543388446712060688334*c_0101_6^22 + 272853986654282726415195644439610203574522750255626821/246174392969\ 61807930564165410231217131519278244394*c_0101_6^20 + 19905694897100857630978788977847664715197524098488153924/1353959161\ 33289943618102909756271694223356030344167*c_0101_6^18 + 32366090142373116361493549569379165298964617349121584603/1353959161\ 33289943618102909756271694223356030344167*c_0101_6^16 - 110861531513269903345339519081326123872475385415366805827/135395916\ 133289943618102909756271694223356030344167*c_0101_6^14 + 6859323663756436181894777456310575323660511285161388804/12308719648\ 480903965282082705115608565759639122197*c_0101_6^12 - 4453332920111975064447736182533315370051866913232420283/45131972044\ 429981206034303252090564741118676781389*c_0101_6^10 + 561878869005994655736567588967760009593405148962241695/135395916133\ 289943618102909756271694223356030344167*c_0101_6^8 - 3851144578743035046363537804575503384957758788465213495/27079183226\ 6579887236205819512543388446712060688334*c_0101_6^6 + 1337133278548428359843348473720303892580651604332033733/27079183226\ 6579887236205819512543388446712060688334*c_0101_6^4 - 80263271323171718300537697913559011016481681761817287/2707918322665\ 79887236205819512543388446712060688334*c_0101_6^2 + 1681427658641029153056216928864616955835183669217611/45131972044429\ 981206034303252090564741118676781389, c_0011_0 - 1, c_0011_1 + 1422937637356742882774132631803735470291511374/1243305014998\ 07110760425077829450591573329688103*c_0101_6^26 - 198489698638356403863040600739984832982829004316/124330501499807110\ 760425077829450591573329688103*c_0101_6^24 + 6249923884285610758181270803038829118818948960852/12433050149980711\ 0760425077829450591573329688103*c_0101_6^22 - 33724179730538105145701248472511410530307895506572/1243305014998071\ 10760425077829450591573329688103*c_0101_6^20 - 445729193896969869519650291535276286618675466530886/124330501499807\ 110760425077829450591573329688103*c_0101_6^18 - 719148987845342058728955311074925437924292516427351/124330501499807\ 110760425077829450591573329688103*c_0101_6^16 + 2496551172157731406304391454451441802671080528849292/12433050149980\ 7110760425077829450591573329688103*c_0101_6^14 - 1722551091612385537375072111773585226035973088567569/12433050149980\ 7110760425077829450591573329688103*c_0101_6^12 + 317663724422694531909184225044547493629582292128551/124330501499807\ 110760425077829450591573329688103*c_0101_6^10 - 15009645194325474484932908065942936641081871241359/1243305014998071\ 10760425077829450591573329688103*c_0101_6^8 + 39875883942853631284312663637685264012388404845426/1243305014998071\ 10760425077829450591573329688103*c_0101_6^6 - 13152881675476897975931777661983536341695599522572/1243305014998071\ 10760425077829450591573329688103*c_0101_6^4 + 1266079454541332130502642881988512401937435925613/12433050149980711\ 0760425077829450591573329688103*c_0101_6^2 - 213982555661897726575326844966497487135738001399/124330501499807110\ 760425077829450591573329688103, c_0011_3 - 3213145674180139828188707538923327068818563386/1243305014998\ 07110760425077829450591573329688103*c_0101_6^27 + 449039172809870261129500780451584384510485747410/124330501499807110\ 760425077829450591573329688103*c_0101_6^25 - 14228387548555884381098247289298701486558583369574/1243305014998071\ 10760425077829450591573329688103*c_0101_6^23 + 79771774227530296581216116386870705552685889201129/1243305014998071\ 10760425077829450591573329688103*c_0101_6^21 + 987458625160167062931864672470637575831482365869200/124330501499807\ 110760425077829450591573329688103*c_0101_6^19 + 1361420672950549621687746602612071996210266649566836/12433050149980\ 7110760425077829450591573329688103*c_0101_6^17 - 6098132467528729025574731741964823426744921623289643/12433050149980\ 7110760425077829450591573329688103*c_0101_6^15 + 5269801186977893262340418592701839374306767770642401/12433050149980\ 7110760425077829450591573329688103*c_0101_6^13 - 1496228539040072945363602821003089612757100697077408/12433050149980\ 7110760425077829450591573329688103*c_0101_6^11 + 87715985579771942027928747252359711895731298039706/1243305014998071\ 10760425077829450591573329688103*c_0101_6^9 - 84859654773924723887321606264578186415550602221348/1243305014998071\ 10760425077829450591573329688103*c_0101_6^7 + 52300303051275755992558439021416549000749894028868/1243305014998071\ 10760425077829450591573329688103*c_0101_6^5 - 7020346963183670412189043982404295271604294494754/12433050149980711\ 0760425077829450591573329688103*c_0101_6^3 + 266886906680840544501196142607487683851153123688/124330501499807110\ 760425077829450591573329688103*c_0101_6, c_0101_0 + 98518048615333266757164742013713307858835024/124330501499807\ 110760425077829450591573329688103*c_0101_6^27 - 13837082065281471500604878782366763861773324734/1243305014998071107\ 60425077829450591573329688103*c_0101_6^25 + 445839647158891173407661357869516218497471328894/124330501499807110\ 760425077829450591573329688103*c_0101_6^23 - 2741426137643343755654650997104341699786213509457/12433050149980711\ 0760425077829450591573329688103*c_0101_6^21 - 28888013375003044375272773227365509523198242377483/1243305014998071\ 10760425077829450591573329688103*c_0101_6^19 - 18864409357055458877114520011528387784683785421672/1243305014998071\ 10760425077829450591573329688103*c_0101_6^17 + 240777176358117542771716257159503653342380193339557/124330501499807\ 110760425077829450591573329688103*c_0101_6^15 - 242282803754803057190164254378440974305634763965417/124330501499807\ 110760425077829450591573329688103*c_0101_6^13 + 52993086722152929254401606966135056659679683897817/1243305014998071\ 10760425077829450591573329688103*c_0101_6^11 + 8375820376676309697766944764776743868295461001603/12433050149980711\ 0760425077829450591573329688103*c_0101_6^9 + 60397703291833645508783667133108929795510292695/1243305014998071107\ 60425077829450591573329688103*c_0101_6^7 - 1245732661585135472973529178925563276117091402743/12433050149980711\ 0760425077829450591573329688103*c_0101_6^5 + 177589388330707382645351290792607585297362980928/124330501499807110\ 760425077829450591573329688103*c_0101_6^3 + 242351575694679574448801822401752908330658756689/124330501499807110\ 760425077829450591573329688103*c_0101_6, c_0101_1 - 267710009925327866207480725543420475456479625/12433050149980\ 7110760425077829450591573329688103*c_0101_6^26 + 37344920588968547197994975832270361883485449632/1243305014998071107\ 60425077829450591573329688103*c_0101_6^24 - 1175966952010183323951300065603258268021134301438/12433050149980711\ 0760425077829450591573329688103*c_0101_6^22 + 6341378610912053398828464223567171487368779624045/12433050149980711\ 0760425077829450591573329688103*c_0101_6^20 + 84111446682763858717774160998266941441427693974679/1243305014998071\ 10760425077829450591573329688103*c_0101_6^18 + 133455887526159348397857809271604079722634959176448/124330501499807\ 110760425077829450591573329688103*c_0101_6^16 - 491212336698111824802366161834999889446958780249432/124330501499807\ 110760425077829450591573329688103*c_0101_6^14 + 286217329309306084781454719806190169036339636548656/124330501499807\ 110760425077829450591573329688103*c_0101_6^12 + 38476541994836729381934958371765819903935865007565/1243305014998071\ 10760425077829450591573329688103*c_0101_6^10 - 42714241209627647442192029619171254604192262934989/1243305014998071\ 10760425077829450591573329688103*c_0101_6^8 - 7333292530580857625923949660168481188815867084198/12433050149980711\ 0760425077829450591573329688103*c_0101_6^6 + 2220463947554475267858784639778340859004178794375/12433050149980711\ 0760425077829450591573329688103*c_0101_6^4 + 1381015879203583889786153596922331106451573807763/12433050149980711\ 0760425077829450591573329688103*c_0101_6^2 - 103186715756600484590960952832858374295285367510/124330501499807110\ 760425077829450591573329688103, c_0101_4 + 1322272923199357886720430926526061275471320037/1243305014998\ 07110760425077829450591573329688103*c_0101_6^27 - 185227839644897717507522453889307840184989289839/124330501499807110\ 760425077829450591573329688103*c_0101_6^25 + 5916457364013250020256532904901341591221322425362/12433050149980711\ 0760425077829450591573329688103*c_0101_6^23 - 34744701372021254979094779395190682319888176132427/1243305014998071\ 10760425077829450591573329688103*c_0101_6^21 - 396342382946135897486300735362851594822684725768176/124330501499807\ 110760425077829450591573329688103*c_0101_6^19 - 420602142991218440403378852522023565768319701549710/124330501499807\ 110760425077829450591573329688103*c_0101_6^17 + 2760806914987607429336123191818052394181659996767046/12433050149980\ 7110760425077829450591573329688103*c_0101_6^15 - 2882913153186006991004038043537785830008258952251427/12433050149980\ 7110760425077829450591573329688103*c_0101_6^13 + 1010043376749469920261577879966686797963057567645586/12433050149980\ 7110760425077829450591573329688103*c_0101_6^11 - 66122107683186564245719815051774684660064890886367/1243305014998071\ 10760425077829450591573329688103*c_0101_6^9 + 31220216072507793370999766759691517557839057800143/1243305014998071\ 10760425077829450591573329688103*c_0101_6^7 - 31716414279792246600550486439181354000887522923722/1243305014998071\ 10760425077829450591573329688103*c_0101_6^5 + 5521494632587033778717212000102265942980896868874/12433050149980711\ 0760425077829450591573329688103*c_0101_6^3 - 102742638799048296135022615536027249813774150301/124330501499807110\ 760425077829450591573329688103*c_0101_6, c_0101_6^28 - 140*c_0101_6^26 + 4463*c_0101_6^24 - 25927*c_0101_6^22 - 301250*c_0101_6^20 - 346415*c_0101_6^18 + 2012284*c_0101_6^16 - 2098844*c_0101_6^14 + 826668*c_0101_6^12 - 110498*c_0101_6^10 + 27587*c_0101_6^8 - 23248*c_0101_6^6 + 5495*c_0101_6^4 - 336*c_0101_6^2 + 33 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB