Magma V2.19-8 Tue Aug 20 2013 16:16:49 on localhost [Seed = 1764292028] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1091 geometric_solution 4.95626311 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 1 -1 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 2.469542893808 0.226773730919 0 2 2 0 3201 0132 3201 0132 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 -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.662684142528 0.398584932272 1 1 3 4 2310 0132 0132 0132 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 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.369168182001 0.564248609167 5 6 4 2 0132 0132 2031 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 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.641368938531 0.414735802237 6 5 2 3 2310 3201 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.641368938531 0.414735802237 3 5 4 5 0132 2310 2310 3201 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 0 0 0 0 0.275618652861 1.416072110456 6 3 4 6 3012 0132 3201 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 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 0.900560464535 0.710943281408 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : negation(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' : 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_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0011_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], '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' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_0']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_6']), 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0101_2']), '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_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 312651854768786083337954259273/734821739123382152999961869336*c_010\ 1_6^21 + 434153227075739863056735224382/918527173904227691249952336\ 67*c_0101_6^20 + 1191285347863455511372351885583/104974534160483164\ 714280267048*c_0101_6^19 - 69625287149123621679467507452419/3674108\ 69561691076499980934668*c_0101_6^18 + 262790132015889632420388613606905/367410869561691076499980934668*c_\ 0101_6^17 - 1430161609529816760763841183975953/73482173912338215299\ 9961869336*c_0101_6^16 + 1507082761596738500043173086043249/7348217\ 39123382152999961869336*c_0101_6^15 - 312150735175148506940982960172137/91852717390422769124995233667*c_0\ 101_6^14 - 1143607977797420295444087951477343/367410869561691076499\ 980934668*c_0101_6^13 - 50154372132364706603606331654498/9185271739\ 0422769124995233667*c_0101_6^12 - 960167311403474736683853173653580\ 7/734821739123382152999961869336*c_0101_6^11 - 3253976185928090226747254581215119/734821739123382152999961869336*c\ _0101_6^10 - 8908751093457440731550894911479307/7348217391233821529\ 99961869336*c_0101_6^9 - 188577947741766038671317663376528/13121816\ 770060395589285033381*c_0101_6^8 - 1414493577632962376780876236552085/183705434780845538249990467334*c\ _0101_6^7 - 4432615777174877572914148231625393/36741086956169107649\ 9980934668*c_0101_6^6 - 4957747651640210750576187931777719/73482173\ 9123382152999961869336*c_0101_6^5 - 3237125604562039235861592863840463/734821739123382152999961869336*c\ _0101_6^4 - 179796151122290229330098191026219/524872670802415823571\ 40133524*c_0101_6^3 - 774486752958267585108768396693193/73482173912\ 3382152999961869336*c_0101_6^2 - 2179418279315373627354461732921/37\ 49090505731541596938580966*c_0101_6 - 14684849674781375181830923617111/91852717390422769124995233667, c_0011_0 - 1, c_0011_1 - 109318891789501176480573961/882138942525068611044371992*c_01\ 01_6^21 - 193515846921168256995930733/882138942525068611044371992*c\ _0101_6^20 + 1611059656879645500626927239/4410694712625343055221859\ 96*c_0101_6^19 - 765416620779039102471131947/1102673678156335763805\ 46499*c_0101_6^18 + 9888000373415795730898530589/441069471262534305\ 522185996*c_0101_6^17 + 30401195901380021340365091117/8821389425250\ 68611044371992*c_0101_6^16 + 31733749316768460565334551221/44106947\ 1262534305522185996*c_0101_6^15 + 50719837187568532217930604347/220\ 534735631267152761092998*c_0101_6^14 + 43277605396843751983418350050/110267367815633576380546499*c_0101_6^\ 13 + 253907023363378612545520751201/441069471262534305522185996*c_0\ 101_6^12 + 909230859701489627272258209249/8821389425250686110443719\ 92*c_0101_6^11 + 269361154816710056837440609461/2205347356312671527\ 61092998*c_0101_6^10 + 1219997531618402026670051536141/882138942525\ 068611044371992*c_0101_6^9 + 1508044292172383578710412691061/882138\ 942525068611044371992*c_0101_6^8 + 1228643465525470300609585319359/882138942525068611044371992*c_0101_\ 6^7 + 1130516888217418940669830695209/882138942525068611044371992*c\ _0101_6^6 + 116037035512234960625648917611/110267367815633576380546\ 499*c_0101_6^5 + 516185391342919004567286760325/8821389425250686110\ 44371992*c_0101_6^4 + 373446526084152241855563716263/88213894252506\ 8611044371992*c_0101_6^3 + 21365593652414933229135767820/1102673678\ 15633576380546499*c_0101_6^2 + 13731383335312992811935213925/220534\ 735631267152761092998*c_0101_6 + 3599512346835097542255515988/11026\ 7367815633576380546499, c_0011_3 + 1892828906884557115430263/110267367815633576380546499*c_0101\ _6^21 + 3894705306072544303866113/110267367815633576380546499*c_010\ 1_6^20 - 55733980222000300360460964/110267367815633576380546499*c_0\ 101_6^19 + 88894955697351842519078058/110267367815633576380546499*c\ _0101_6^18 - 286597998351726777118629639/11026736781563357638054649\ 9*c_0101_6^17 - 690615864703265476529409351/11026736781563357638054\ 6499*c_0101_6^16 - 985935907459378112317418838/11026736781563357638\ 0546499*c_0101_6^15 - 3922302453239007274709816080/1102673678156335\ 76380546499*c_0101_6^14 - 5882073975230377232026087297/110267367815\ 633576380546499*c_0101_6^13 - 9448183388424145471072079544/11026736\ 7815633576380546499*c_0101_6^12 - 15557122711154157927137327202/110\ 267367815633576380546499*c_0101_6^11 - 17820922438819561179664564950/110267367815633576380546499*c_0101_6^\ 10 - 21205192655889033382439407364/110267367815633576380546499*c_01\ 01_6^9 - 22384112452147814221542755720/110267367815633576380546499*\ c_0101_6^8 - 19338697668043718560078584379/110267367815633576380546\ 499*c_0101_6^7 - 16408209468683321886386555885/11026736781563357638\ 0546499*c_0101_6^6 - 11620335601849564527797271325/1102673678156335\ 76380546499*c_0101_6^5 - 6979851300363247058729937579/1102673678156\ 33576380546499*c_0101_6^4 - 3899246386492830624811595068/1102673678\ 15633576380546499*c_0101_6^3 - 1640151814633602711760885533/1102673\ 67815633576380546499*c_0101_6^2 - 464361119348283735810862880/11026\ 7367815633576380546499*c_0101_6 - 110208047506339397826445981/11026\ 7367815633576380546499, c_0101_0 + 56884860482858221503753811/1764277885050137222088743984*c_01\ 01_6^21 + 4935483714734279634341330/110267367815633576380546499*c_0\ 101_6^20 - 851929048352290304095416957/882138942525068611044371992*\ c_0101_6^19 + 1920989204198140893475385205/882138942525068611044371\ 992*c_0101_6^18 - 1482416437251629327980982631/22053473563126715276\ 1092998*c_0101_6^17 - 11086807394300940050326783879/176427788505013\ 7222088743984*c_0101_6^16 - 28936155811805557400192313675/176427788\ 5050137222088743984*c_0101_6^15 - 97409124070692663629197021789/176\ 4277885050137222088743984*c_0101_6^14 - 137874720798873699320821675991/1764277885050137222088743984*c_0101_\ 6^13 - 226818764416729280631233818739/1764277885050137222088743984*\ c_0101_6^12 - 96076848272271842007646944675/44106947126253430552218\ 5996*c_0101_6^11 - 53851762325115537860667953201/220534735631267152\ 761092998*c_0101_6^10 - 511815162641960404758999793031/176427788505\ 0137222088743984*c_0101_6^9 - 152385519338363797183159367873/441069\ 471262534305522185996*c_0101_6^8 - 489773844613779164765078565833/1764277885050137222088743984*c_0101_\ 6^7 - 235733312956469675518602274723/882138942525068611044371992*c_\ 0101_6^6 - 193532478781564834507654030849/8821389425250686110443719\ 92*c_0101_6^5 - 218032509831911913398411120909/17642778850501372220\ 88743984*c_0101_6^4 - 44020834640581804039516048803/441069471262534\ 305522185996*c_0101_6^3 - 20797584969849564961168754407/44106947126\ 2534305522185996*c_0101_6^2 - 1804875563188943773256461645/11026736\ 7815633576380546499*c_0101_6 - 1145521674066686601611624815/1102673\ 67815633576380546499, c_0101_2 + 460470812007804678576255449/1764277885050137222088743984*c_0\ 101_6^21 + 194101585016835283146913107/882138942525068611044371992*\ c_0101_6^20 - 6860261453540655444620715833/882138942525068611044371\ 992*c_0101_6^19 + 19293321248758316077083414501/8821389425250686110\ 44371992*c_0101_6^18 - 31443064575216086539595081011/44106947126253\ 4305522185996*c_0101_6^17 + 9858502040837996200782967347/1764277885\ 050137222088743984*c_0101_6^16 - 333858569550532089073294726639/176\ 4277885050137222088743984*c_0101_6^15 - 558848656452234703784133005321/1764277885050137222088743984*c_0101_\ 6^14 - 938541077652554621852837075771/1764277885050137222088743984*\ c_0101_6^13 - 1686362167896556028101409753595/176427788505013722208\ 8743984*c_0101_6^12 - 1114770478891012536751646717587/8821389425250\ 68611044371992*c_0101_6^11 - 767482670539631738162013954215/4410694\ 71262534305522185996*c_0101_6^10 - 3107292351161253751298406469013/1764277885050137222088743984*c_0101\ _6^9 - 1844251979849819744062516583141/882138942525068611044371992*\ c_0101_6^8 - 3120272207667521721080184521327/1764277885050137222088\ 743984*c_0101_6^7 - 637517059347939559924342173765/4410694712625343\ 05522185996*c_0101_6^6 - 1093621650384843298500405405771/8821389425\ 25068611044371992*c_0101_6^5 - 1154371538125432784186880970083/1764\ 277885050137222088743984*c_0101_6^4 - 399732224521606881512706499667/882138942525068611044371992*c_0101_6\ ^3 - 24078521809869322330911652115/110267367815633576380546499*c_01\ 01_6^2 - 13455002501864416170068092531/220534735631267152761092998*\ c_0101_6 - 3907806364317322669332462140/110267367815633576380546499\ , c_0101_3 - 6920052134388877029181547/1764277885050137222088743984*c_010\ 1_6^21 - 138243541947769174326426977/882138942525068611044371992*c_\ 0101_6^20 + 278624044158756880701821029/882138942525068611044371992\ *c_0101_6^19 + 3708323909266818344112561341/88213894252506861104437\ 1992*c_0101_6^18 - 9607750829543817250538986525/4410694712625343055\ 22185996*c_0101_6^17 + 139528135174300512010550235791/1764277885050\ 137222088743984*c_0101_6^16 - 208692395237277929765319080499/176427\ 7885050137222088743984*c_0101_6^15 + 359575624199160800708652759191/1764277885050137222088743984*c_0101_\ 6^14 - 37013118526256046503700815211/1764277885050137222088743984*c\ _0101_6^13 + 21925784186334644794606556141/176427788505013722208874\ 3984*c_0101_6^12 + 396848013677973697224990171587/88213894252506861\ 1044371992*c_0101_6^11 - 42710124150457143323212614627/220534735631\ 267152761092998*c_0101_6^10 + 790682430082780105037336819511/176427\ 7885050137222088743984*c_0101_6^9 + 148995167248305671635271068583/882138942525068611044371992*c_0101_6\ ^8 - 4119790607309415227546600167/1764277885050137222088743984*c_01\ 01_6^7 + 141117585325082153001409264905/441069471262534305522185996\ *c_0101_6^6 - 44990622563909189478548880013/88213894252506861104437\ 1992*c_0101_6^5 + 127457147830959434749282257577/176427788505013722\ 2088743984*c_0101_6^4 + 31628341821631125173269398797/8821389425250\ 68611044371992*c_0101_6^3 - 11949857710464101843872683839/441069471\ 262534305522185996*c_0101_6^2 + 1639441151170485175555073435/110267\ 367815633576380546499*c_0101_6 - 859711711513580279901203823/110267\ 367815633576380546499, c_0101_6^22 - 30*c_0101_6^20 + 110*c_0101_6^19 - 360*c_0101_6^18 + 275*c_0101_6^17 - 777*c_0101_6^16 - 959*c_0101_6^15 - 765*c_0101_6^14 - 3521*c_0101_6^13 - 2420*c_0101_6^12 - 4312*c_0101_6^11 - 5277*c_0101_6^10 - 3980*c_0101_6^9 - 5011*c_0101_6^8 - 3570*c_0101_6^7 - 2614*c_0101_6^6 - 2079*c_0101_6^5 - 964*c_0101_6^4 - 596*c_0101_6^3 - 256*c_0101_6^2 - 64*c_0101_6 - 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB