Magma V2.19-8 Tue Aug 20 2013 16:18:05 on localhost [Seed = 2917937509] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2312 geometric_solution 5.70748034 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 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 -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.637444605264 0.556034889152 0 5 3 5 0132 0132 0321 1023 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 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 1.170560559139 1.376484578178 2 0 3 2 3012 0132 3012 1230 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 1 0 -1 1 0 0 -1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.109105073790 0.777116407371 4 2 1 0 3012 1230 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.822827827377 1.261934000790 6 6 0 3 0132 3201 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.275391171208 0.514858870555 5 1 5 1 2310 0132 3201 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.545335131746 0.324660674262 4 6 4 6 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.534921804541 1.692377092697 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : negation(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' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0101_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0101_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], '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' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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_5']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0011_3']), '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_5']), 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t + 16211871490794655798095579/49874232090267662042*c_0101_5^34 - 41266106957038580587137417/24937116045133831021*c_0101_5^33 - 329465297578537511632036214/24937116045133831021*c_0101_5^32 + 1402691502706060775171143933/49874232090267662042*c_0101_5^31 + 8947905419579055625345181845/49874232090267662042*c_0101_5^30 - 744215309234937122220942135/3562445149304833003*c_0101_5^29 - 1577217559819649234037909945/1216444685128479562*c_0101_5^28 + 44198556108588215300070046027/49874232090267662042*c_0101_5^27 + 3120923378702947923228448081/530576937130507043*c_0101_5^26 - 58485831694729985819810027212/24937116045133831021*c_0101_5^25 - 452281664228972877346036606847/24937116045133831021*c_0101_5^24 + 195329924141450377226376784521/49874232090267662042*c_0101_5^23 + 989968775591084814532671832827/24937116045133831021*c_0101_5^22 - 13431379877228351264841151461/3562445149304833003*c_0101_5^21 - 3154695529568661207966995668821/49874232090267662042*c_0101_5^20 + 3608127741953219634580669425/3562445149304833003*c_0101_5^19 + 1857967108128141411252514233533/24937116045133831021*c_0101_5^18 + 60334130392402785877821816042/24937116045133831021*c_0101_5^17 - 3269717231241395100456826091329/49874232090267662042*c_0101_5^16 - 2341366813682323800095128944/608222342564239781*c_0101_5^15 + 2164046129662555706030135175183/49874232090267662042*c_0101_5^14 + 10708328797908681765818201715/3562445149304833003*c_0101_5^13 - 540027487051607466358641952428/24937116045133831021*c_0101_5^12 - 74809061007778654247855963707/49874232090267662042*c_0101_5^11 + 57859651635053466297976965989/7124890298609666006*c_0101_5^10 + 25308527841772811554767420295/49874232090267662042*c_0101_5^9 - 56340015529512575898647409664/24937116045133831021*c_0101_5^8 - 831853458878941772893176907/7124890298609666006*c_0101_5^7 + 22642707831167166660308444707/49874232090267662042*c_0101_5^6 + 877788722263116493200449915/49874232090267662042*c_0101_5^5 - 3120423544366166357462340845/49874232090267662042*c_0101_5^4 - 39240471800111069957371034/24937116045133831021*c_0101_5^3 + 265220744424793653485650929/49874232090267662042*c_0101_5^2 + 1578603401729118635615637/24937116045133831021*c_0101_5 - 5270633714045538875948854/24937116045133831021, c_0011_0 - 1, c_0011_3 - 38411521484268695448/1848700129374589*c_0101_5^34 + 196038630492308651054/1848700129374589*c_0101_5^33 + 1552053421798277783457/1848700129374589*c_0101_5^32 - 3305652489193389843420/1848700129374589*c_0101_5^31 - 20910030083913708468196/1848700129374589*c_0101_5^30 + 24249880698972021022560/1848700129374589*c_0101_5^29 + 149692327072306859260076/1848700129374589*c_0101_5^28 - 100760798053869744366685/1848700129374589*c_0101_5^27 - 671500456180047945599780/1848700129374589*c_0101_5^26 + 256679185653534126153386/1848700129374589*c_0101_5^25 + 2042824327570958292286030/1848700129374589*c_0101_5^24 - 393689060503539210410511/1848700129374589*c_0101_5^23 - 4399987159375278994872804/1848700129374589*c_0101_5^22 + 282488736178428438009674/1848700129374589*c_0101_5^21 + 6877754229128700449530186/1848700129374589*c_0101_5^20 + 159155442866892544963136/1848700129374589*c_0101_5^19 - 7923198902991381534547528/1848700129374589*c_0101_5^18 - 639232333639192122232747/1848700129374589*c_0101_5^17 + 6801536339703177605708069/1848700129374589*c_0101_5^16 + 789938899505987465176767/1848700129374589*c_0101_5^15 - 4386973860205282310216224/1848700129374589*c_0101_5^14 - 592598036039896578299386/1848700129374589*c_0101_5^13 + 2135633774329781199662322/1848700129374589*c_0101_5^12 + 301555188973626789659929/1848700129374589*c_0101_5^11 - 783386512011122860146763/1848700129374589*c_0101_5^10 - 107203642265590314125792/1848700129374589*c_0101_5^9 + 214152553508487992973411/1848700129374589*c_0101_5^8 + 26459428529506862639004/1848700129374589*c_0101_5^7 - 42523940521657656212508/1848700129374589*c_0101_5^6 - 4356554904397817060794/1848700129374589*c_0101_5^5 + 5827800835061296464595/1848700129374589*c_0101_5^4 + 433680806334979672799/1848700129374589*c_0101_5^3 - 495891950833398673040/1848700129374589*c_0101_5^2 - 19895163978243291946/1848700129374589*c_0101_5 + 19863353516170016501/1848700129374589, c_0011_4 - 17095222790516290938/1848700129374589*c_0101_5^34 + 105281692784172229978/1848700129374589*c_0101_5^33 + 597404612629120158218/1848700129374589*c_0101_5^32 - 2189287750863300504864/1848700129374589*c_0101_5^31 - 7719849971042669392391/1848700129374589*c_0101_5^30 + 20331069176258363527566/1848700129374589*c_0101_5^29 + 54803325129438096016075/1848700129374589*c_0101_5^28 - 112038104030879717657094/1848700129374589*c_0101_5^27 - 248171932843777988244791/1848700129374589*c_0101_5^26 + 409910697643047447875557/1848700129374589*c_0101_5^25 + 770972969843464731824020/1848700129374589*c_0101_5^24 - 1053636596253121480693094/1848700129374589*c_0101_5^23 - 1708745616659206380519184/1848700129374589*c_0101_5^22 + 1962123053230886955602110/1848700129374589*c_0101_5^21 + 2759857561947315138363975/1848700129374589*c_0101_5^20 - 2691972678064529360536998/1848700129374589*c_0101_5^19 - 3284223617317492320902164/1848700129374589*c_0101_5^18 + 2744228050866743530030114/1848700129374589*c_0101_5^17 + 2895650454581934613938647/1848700129374589*c_0101_5^16 - 2085813691681548239695707/1848700129374589*c_0101_5^15 - 1897272723201196991174728/1848700129374589*c_0101_5^14 + 1181662944703755304556316/1848700129374589*c_0101_5^13 + 924394618323649169443946/1848700129374589*c_0101_5^12 - 496471824076902793347411/1848700129374589*c_0101_5^11 - 333589130394523565339770/1848700129374589*c_0101_5^10 + 152735581497291629911342/1848700129374589*c_0101_5^9 + 88086757349615561947291/1848700129374589*c_0101_5^8 - 33520047833470171319939/1848700129374589*c_0101_5^7 - 16582787156812338585515/1848700129374589*c_0101_5^6 + 4988007675506326132604/1848700129374589*c_0101_5^5 + 2114971169499597774716/1848700129374589*c_0101_5^4 - 453020618884246599947/1848700129374589*c_0101_5^3 - 164498981770417281123/1848700129374589*c_0101_5^2 + 19048464564298528490/1848700129374589*c_0101_5 + 5924342029401336626/1848700129374589, c_0101_0 + 3*c_0101_5^34 - 17*c_0101_5^33 - 113*c_0101_5^32 + 329*c_0101_5^31 + 1501*c_0101_5^30 - 2867*c_0101_5^29 - 10786*c_0101_5^28 + 14949*c_0101_5^27 + 49083*c_0101_5^26 - 52310*c_0101_5^25 - 152732*c_0101_5^24 + 130570*c_0101_5^23 + 338976*c_0101_5^22 - 241188*c_0101_5^21 - 549707*c_0101_5^20 + 337618*c_0101_5^19 + 660673*c_0101_5^18 - 363378*c_0101_5^17 - 593639*c_0101_5^16 + 302639*c_0101_5^15 + 400793*c_0101_5^14 - 194946*c_0101_5^13 - 203527*c_0101_5^12 + 96561*c_0101_5^11 + 77373*c_0101_5^10 - 36375*c_0101_5^9 - 21728*c_0101_5^8 + 10232*c_0101_5^7 + 4386*c_0101_5^6 - 2084*c_0101_5^5 - 604*c_0101_5^4 + 291*c_0101_5^3 + 51*c_0101_5^2 - 24*c_0101_5 - 2, c_0101_1 + 78*c_0101_5^34 - 436*c_0101_5^33 - 2969*c_0101_5^32 + 8311*c_0101_5^31 + 39571*c_0101_5^30 - 71211*c_0101_5^29 - 284669*c_0101_5^28 + 364235*c_0101_5^27 + 1295270*c_0101_5^26 - 1246945*c_0101_5^25 - 4026569*c_0101_5^24 + 3037046*c_0101_5^23 + 8921784*c_0101_5^22 - 5462366*c_0101_5^21 - 14435782*c_0101_5^20 + 7437466*c_0101_5^19 + 17303027*c_0101_5^18 - 7788864*c_0101_5^17 - 15500697*c_0101_5^16 + 6317958*c_0101_5^15 + 10432257*c_0101_5^14 - 3964371*c_0101_5^13 - 5280801*c_0101_5^12 + 1908586*c_0101_5^11 + 2001293*c_0101_5^10 - 694443*c_0101_5^9 - 560305*c_0101_5^8 + 186201*c_0101_5^7 + 112772*c_0101_5^6 - 35180*c_0101_5^5 - 15486*c_0101_5^4 + 4274*c_0101_5^3 + 1304*c_0101_5^2 - 258*c_0101_5 - 51, c_0101_2 - 1632404786945216421/1848700129374589*c_0101_5^34 - 15050044464965329408/1848700129374589*c_0101_5^33 + 193735712319877191141/1848700129374589*c_0101_5^32 + 755868029646820492083/1848700129374589*c_0101_5^31 - 3216076858383095595926/1848700129374589*c_0101_5^30 - 10751769225935454114310/1848700129374589*c_0101_5^29 + 25296551445564428085923/1848700129374589*c_0101_5^28 + 78529872036691799781328/1848700129374589*c_0101_5^27 - 119793205561625085591715/1848700129374589*c_0101_5^26 - 354296143393455090296171/1848700129374589*c_0101_5^25 + 378812785331755624117477/1848700129374589*c_0101_5^24 + 1074176647545943186032014/1848700129374589*c_0101_5^23 - 846953175727616372650594/1848700129374589*c_0101_5^22 - 2287154917874556550619376/1848700129374589*c_0101_5^21 + 1389080609422582000214652/1848700129374589*c_0101_5^20 + 3501784763639299891859635/1848700129374589*c_0101_5^19 - 1717897324490944910428382/1848700129374589*c_0101_5^18 - 3904688901531985019439337/1848700129374589*c_0101_5^17 + 1634658336695000297457893/1848700129374589*c_0101_5^16 + 3193257372570079510430802/1848700129374589*c_0101_5^15 - 1207469551076874066407873/1848700129374589*c_0101_5^14 - 1921008859220025996306566/1848700129374589*c_0101_5^13 + 689257065217036424805852/1848700129374589*c_0101_5^12 + 848202834312541779024311/1848700129374589*c_0101_5^11 - 299520033262105998359179/1848700129374589*c_0101_5^10 - 271987128718205634524605/1848700129374589*c_0101_5^9 + 96823686214899393175465/1848700129374589*c_0101_5^8 + 61809453551591501679273/1848700129374589*c_0101_5^7 - 22506671141175197327907/1848700129374589*c_0101_5^6 - 9472513935756576933944/1848700129374589*c_0101_5^5 + 3557850471781779301467/1848700129374589*c_0101_5^4 + 881893104870949211291/1848700129374589*c_0101_5^3 - 343315217211536351309/1848700129374589*c_0101_5^2 - 37847191359477164089/1848700129374589*c_0101_5 + 15317571859028750172/1848700129374589, c_0101_5^35 - 17/3*c_0101_5^34 - 113/3*c_0101_5^33 + 329/3*c_0101_5^32 + 1501/3*c_0101_5^31 - 2867/3*c_0101_5^30 - 10786/3*c_0101_5^29 + 4983*c_0101_5^28 + 16361*c_0101_5^27 - 52310/3*c_0101_5^26 - 152732/3*c_0101_5^25 + 130570/3*c_0101_5^24 + 112992*c_0101_5^23 - 80396*c_0101_5^22 - 549707/3*c_0101_5^21 + 337618/3*c_0101_5^20 + 660673/3*c_0101_5^19 - 121126*c_0101_5^18 - 593639/3*c_0101_5^17 + 302639/3*c_0101_5^16 + 400793/3*c_0101_5^15 - 64982*c_0101_5^14 - 203527/3*c_0101_5^13 + 32187*c_0101_5^12 + 25791*c_0101_5^11 - 12125*c_0101_5^10 - 21728/3*c_0101_5^9 + 10232/3*c_0101_5^8 + 1462*c_0101_5^7 - 2084/3*c_0101_5^6 - 604/3*c_0101_5^5 + 97*c_0101_5^4 + 17*c_0101_5^3 - 25/3*c_0101_5^2 - 2/3*c_0101_5 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.250 seconds, Total memory usage: 32.09MB