Magma V2.19-8 Tue Aug 20 2013 16:18:51 on localhost [Seed = 3187417283] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3016 geometric_solution 6.19071969 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 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 1 0 -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.027319613213 0.976627602622 0 3 5 4 0132 0132 0132 0132 0 0 0 0 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 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.297640525755 1.158902283087 3 0 4 5 0132 0132 2310 2310 0 0 0 0 0 0 0 0 0 0 1 -1 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 -1 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 0 0 0 0.297640525755 1.158902283087 2 1 6 6 0132 0132 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 -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.326856401687 0.635842453429 4 2 1 4 3201 3201 0132 2310 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 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 0.514782722522 0.623191465133 2 5 5 1 3201 3201 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.608298876515 0.836088006974 3 6 6 3 3201 3201 2310 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 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.616138482004 1.009506678856 ==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' : 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' : d['c_0011_6'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 6631250327088868350803663697304158133269419/21746946560391433370425\ 028368672223519917*c_0101_3^23 - 1526769015259118578909562893732191\ 4648539472/239216412164305767074675312055394458719087*c_0101_3^22 - 1047123268865542868652826762068148763773299890/23921641216430576707\ 4675312055394458719087*c_0101_3^21 - 697246820160626166598687060403292308199594266/239216412164305767074\ 675312055394458719087*c_0101_3^20 + 2686772477528927148671133714083407832794793029/23921641216430576707\ 4675312055394458719087*c_0101_3^19 - 577313052493505914299609397288989656539102925/239216412164305767074\ 675312055394458719087*c_0101_3^18 - 6406181831705036496481409250671289652595885962/23921641216430576707\ 4675312055394458719087*c_0101_3^17 + 3238833932560620752399840626932307118505183665/23921641216430576707\ 4675312055394458719087*c_0101_3^16 + 6357387635504893755907952303699099105285748629/23921641216430576707\ 4675312055394458719087*c_0101_3^15 - 6982611801070138937502807961929726460653970651/23921641216430576707\ 4675312055394458719087*c_0101_3^14 - 2850149838386952464473154332885606882514855352/23921641216430576707\ 4675312055394458719087*c_0101_3^13 + 5819812602938847242036171549138935597131041925/23921641216430576707\ 4675312055394458719087*c_0101_3^12 - 468785616625585597959252712450815178227686046/239216412164305767074\ 675312055394458719087*c_0101_3^11 - 2119824365597105017439925428583957336074021990/23921641216430576707\ 4675312055394458719087*c_0101_3^10 + 470983774740450974917985871076741082971284766/239216412164305767074\ 675312055394458719087*c_0101_3^9 + 348265130189912726054114696209751830881847670/239216412164305767074\ 675312055394458719087*c_0101_3^8 + 13618562275034203433320991844542211159823557/2174694656039143337042\ 5028368672223519917*c_0101_3^7 - 1744942469967737854422715652181680\ 9641774878/21746946560391433370425028368672223519917*c_0101_3^6 - 57045814252369208416496074047690684095301225/2392164121643057670746\ 75312055394458719087*c_0101_3^5 + 733204658910417727784822799367878\ 5248256482/21746946560391433370425028368672223519917*c_0101_3^4 - 20401050264215940816141302642059853304876450/2392164121643057670746\ 75312055394458719087*c_0101_3^3 - 390861494293554979001843070229281\ 9082500508/239216412164305767074675312055394458719087*c_0101_3^2 + 10107512908668183531174252220190777067528768/2392164121643057670746\ 75312055394458719087*c_0101_3 + 23465244396494538365057340947447370\ 75999853/239216412164305767074675312055394458719087, c_0011_0 - 1, c_0011_4 - 96523976505964185921594076472108296598345/217469465603914333\ 70425028368672223519917*c_0101_3^23 - 2464457977848893017724751858990879879268902/23921641216430576707467\ 5312055394458719087*c_0101_3^22 + 151162409400707473139220266759227\ 96737112251/239216412164305767074675312055394458719087*c_0101_3^21 + 49407344954202516325512491458372046784425803/2392164121643057670746\ 75312055394458719087*c_0101_3^20 - 2805193728986470556898961035371910414830154/23921641216430576707467\ 5312055394458719087*c_0101_3^19 - 903793372330447141244616251491728\ 13018914726/239216412164305767074675312055394458719087*c_0101_3^18 + 71077583133622478745796659597075826443197344/2392164121643057670746\ 75312055394458719087*c_0101_3^17 + 16672140951870107256339560178403298971421847/2174694656039143337042\ 5028368672223519917*c_0101_3^16 - 138405293260024966341858543435737\ 134668190959/239216412164305767074675312055394458719087*c_0101_3^15 - 162825669637347453017510891510368002882386861/2392164121643057670\ 74675312055394458719087*c_0101_3^14 + 180783856961963579949932329681193150827496371/239216412164305767074\ 675312055394458719087*c_0101_3^13 + 56335645220603194918726556499305535205945645/2392164121643057670746\ 75312055394458719087*c_0101_3^12 - 111921015214926611487422395519780442230245468/239216412164305767074\ 675312055394458719087*c_0101_3^11 + 2751308361614162299963806192689119353984492/23921641216430576707467\ 5312055394458719087*c_0101_3^10 + 783363649380425897703967593900409\ 4157373586/239216412164305767074675312055394458719087*c_0101_3^9 + 3311654613534671601038175283705999763021596/23921641216430576707467\ 5312055394458719087*c_0101_3^8 + 1185497578236238789612773232502414\ 5561950817/239216412164305767074675312055394458719087*c_0101_3^7 - 3547601106498747652457798442302100954968460/23921641216430576707467\ 5312055394458719087*c_0101_3^6 + 2487479271368430679222211870384239\ 066628053/239216412164305767074675312055394458719087*c_0101_3^5 - 3441248774837566599919264585496261468386378/23921641216430576707467\ 5312055394458719087*c_0101_3^4 - 1352859823013637948229847358719781\ 321127247/239216412164305767074675312055394458719087*c_0101_3^3 + 599267823593692501788675825829828657114732/239216412164305767074675\ 312055394458719087*c_0101_3^2 - 31354672073902596214613571517513613\ 6693246/239216412164305767074675312055394458719087*c_0101_3 + 112326169709132142211993385121328478447613/239216412164305767074675\ 312055394458719087, c_0011_6 - 20827876840841714789504398708648654346/135858977699702838573\ 2806170342489131*c_0101_3^23 - 479272838849531567234302810052690692\ /1358589776997028385732806170342489131*c_0101_3^22 + 298711136391945863609553222624019155164/135858977699702838573280617\ 0342489131*c_0101_3^21 + 274355801718347855659846445676174383626/13\ 58589776997028385732806170342489131*c_0101_3^20 - 698532739019613234912946898692967275255/135858977699702838573280617\ 0342489131*c_0101_3^19 - 78216870322625889465742159009954363570/135\ 8589776997028385732806170342489131*c_0101_3^18 + 1693954387077645324040714850561053094808/13585897769970283857328061\ 70342489131*c_0101_3^17 - 383660708900789980883756159123610235600/1\ 358589776997028385732806170342489131*c_0101_3^16 - 1805126042094831713419092900233946156325/13585897769970283857328061\ 70342489131*c_0101_3^15 + 1139384736757175779693272593063071657254/\ 1358589776997028385732806170342489131*c_0101_3^14 + 980044162739693171038149121448776575350/135858977699702838573280617\ 0342489131*c_0101_3^13 - 960407012334582906174796762409737989948/13\ 58589776997028385732806170342489131*c_0101_3^12 - 177463941394121093338884548433591669277/135858977699702838573280617\ 0342489131*c_0101_3^11 + 235482658652914867482260343872780768470/13\ 58589776997028385732806170342489131*c_0101_3^10 + 29195450349464196366379024666639647599/1358589776997028385732806170\ 342489131*c_0101_3^9 + 21113798112573808614024477398286791641/13585\ 89776997028385732806170342489131*c_0101_3^8 - 44734829880709010247965467801998278076/1358589776997028385732806170\ 342489131*c_0101_3^7 + 30019225693033859440277376300733777269/13585\ 89776997028385732806170342489131*c_0101_3^6 + 3942267088124624106344410648401763952/13585897769970283857328061703\ 42489131*c_0101_3^5 - 16535316907695265797697303423786937120/135858\ 9776997028385732806170342489131*c_0101_3^4 + 1677712960319465853275780786551811787/13585897769970283857328061703\ 42489131*c_0101_3^3 + 1145702658053971276886052549511442816/1358589\ 776997028385732806170342489131*c_0101_3^2 - 338113404025143205920256896776954902/135858977699702838573280617034\ 2489131*c_0101_3 - 868795151370295100464081947422688833/13585897769\ 97028385732806170342489131, c_0101_0 + 15404846406859259097077712063522500983953189/239216412164305\ 767074675312055394458719087*c_0101_3^23 + 6731677446114767922767431809710093430835540/23921641216430576707467\ 5312055394458719087*c_0101_3^22 - 222825121868955941627550875420800\ 905836582031/239216412164305767074675312055394458719087*c_0101_3^21 - 295193057325004315127642067631448294313776415/2392164121643057670\ 74675312055394458719087*c_0101_3^20 + 460334053395366880877678283013639800873519634/239216412164305767074\ 675312055394458719087*c_0101_3^19 + 309959206448717720150343931842747158004392195/239216412164305767074\ 675312055394458719087*c_0101_3^18 - 115096080424333771961966420501369026413146352/217469465603914333704\ 25028368672223519917*c_0101_3^17 - 254168409862233737683445099747177590462718881/239216412164305767074\ 675312055394458719087*c_0101_3^16 + 1566402507013426627910381449352478135348809574/23921641216430576707\ 4675312055394458719087*c_0101_3^15 - 257142845108686855472770066526952137604241518/239216412164305767074\ 675312055394458719087*c_0101_3^14 - 1159128273374946635962068018269677091784062005/23921641216430576707\ 4675312055394458719087*c_0101_3^13 + 411278557647774433081308021624587851385423695/239216412164305767074\ 675312055394458719087*c_0101_3^12 + 466524601620959679678002032999155520963734902/239216412164305767074\ 675312055394458719087*c_0101_3^11 - 101396976648751225571616035219768969158650866/239216412164305767074\ 675312055394458719087*c_0101_3^10 - 99978179891272223300191318155779420448445462/2392164121643057670746\ 75312055394458719087*c_0101_3^9 - 592383937750063318472138311202266\ 74287369678/239216412164305767074675312055394458719087*c_0101_3^8 + 22910714558309045966511965845819465130385786/2392164121643057670746\ 75312055394458719087*c_0101_3^7 + 914077779061920709151210335135640\ 4140013424/239216412164305767074675312055394458719087*c_0101_3^6 - 8123951249814546233426615450346887557079962/23921641216430576707467\ 5312055394458719087*c_0101_3^5 + 9437187176890440070637041762210766\ 222075264/239216412164305767074675312055394458719087*c_0101_3^4 + 293023927065312145786394883789885091080186/217469465603914333704250\ 28368672223519917*c_0101_3^3 - 276758144914708261328666556818089609\ 015512/239216412164305767074675312055394458719087*c_0101_3^2 + 368545583374215277178255531198913574407258/239216412164305767074675\ 312055394458719087*c_0101_3 - 9180466994711266228296243574101741615\ 8731/239216412164305767074675312055394458719087, c_0101_1 - 4064350720442707247139927479318551221362107/2392164121643057\ 67074675312055394458719087*c_0101_3^23 - 6149537616155907076976883128893829438144854/23921641216430576707467\ 5312055394458719087*c_0101_3^22 + 556531949281079635791402005694232\ 17062181870/239216412164305767074675312055394458719087*c_0101_3^21 + 139905982920114416360588367551252257920003835/239216412164305767074\ 675312055394458719087*c_0101_3^20 - 19564336662500913564867373643254353416829098/2392164121643057670746\ 75312055394458719087*c_0101_3^19 - 16274623514973189704879219755960519652245178/2174694656039143337042\ 5028368672223519917*c_0101_3^18 + 213225443391163309038964447137546\ 037529895202/239216412164305767074675312055394458719087*c_0101_3^17 + 374613603565102734497684390007648647066504772/2392164121643057670\ 74675312055394458719087*c_0101_3^16 - 229148408201578426674835773476568750581223616/239216412164305767074\ 675312055394458719087*c_0101_3^15 - 299805600662641587667070663322971611789245772/239216412164305767074\ 675312055394458719087*c_0101_3^14 + 212630748442923814254586998691512002631843114/239216412164305767074\ 675312055394458719087*c_0101_3^13 + 17481024093644226613611466865867378546691883/2174694656039143337042\ 5028368672223519917*c_0101_3^12 - 799951863411435450765547828901678\ 32085352691/239216412164305767074675312055394458719087*c_0101_3^11 - 125484185425299912765717924582023095087622958/239216412164305767074\ 675312055394458719087*c_0101_3^10 - 25280240579017048933371792412246724035798769/2392164121643057670746\ 75312055394458719087*c_0101_3^9 + 594592599235493797170195317553371\ 71250324115/239216412164305767074675312055394458719087*c_0101_3^8 + 28381244848013334416458918679611701466166987/2392164121643057670746\ 75312055394458719087*c_0101_3^7 - 345015819379316608291367042643036\ 4843246587/239216412164305767074675312055394458719087*c_0101_3^6 - 2559389586719840531515617506530511521633044/23921641216430576707467\ 5312055394458719087*c_0101_3^5 - 3215168464238994813921339615392719\ 28254216/21746946560391433370425028368672223519917*c_0101_3^4 - 2033643216712165822658140985928641353634439/23921641216430576707467\ 5312055394458719087*c_0101_3^3 - 1535155760446687855491734703047420\ 967265387/239216412164305767074675312055394458719087*c_0101_3^2 - 154520225391689156187054386824841942800499/239216412164305767074675\ 312055394458719087*c_0101_3 - 6454181618752546273421596787195790938\ 5307/239216412164305767074675312055394458719087, c_0101_2 + 70805814325236826541902763390730569999/135858977699702838573\ 2806170342489131*c_0101_3^23 + 362116998558120066917805500064851271\ 33/1358589776997028385732806170342489131*c_0101_3^22 - 1006450446307357955795616548116781593717/13585897769970283857328061\ 70342489131*c_0101_3^21 - 1430075396907507890318930586562557528542/\ 1358589776997028385732806170342489131*c_0101_3^20 + 1798389393593054660771963462461852492525/13585897769970283857328061\ 70342489131*c_0101_3^19 + 1337043272592953804047208748642900732634/\ 1358589776997028385732806170342489131*c_0101_3^18 - 5294277679130782605875093192648398340660/13585897769970283857328061\ 70342489131*c_0101_3^17 - 1457490465709101996953433067843288330564/\ 1358589776997028385732806170342489131*c_0101_3^16 + 6041520622254956277038537030759134634539/13585897769970283857328061\ 70342489131*c_0101_3^15 - 686427732559903991896161361251772017539/1\ 358589776997028385732806170342489131*c_0101_3^14 - 4323216152719511317802866899199238265410/13585897769970283857328061\ 70342489131*c_0101_3^13 + 1175761710722372430970253083975262708246/\ 1358589776997028385732806170342489131*c_0101_3^12 + 1624077462849472983093532467458779817476/13585897769970283857328061\ 70342489131*c_0101_3^11 - 66345567277429872388395291325740921114/13\ 58589776997028385732806170342489131*c_0101_3^10 - 281232616947924109505994824091074182286/135858977699702838573280617\ 0342489131*c_0101_3^9 - 272863543465386489526964208036967900491/135\ 8589776997028385732806170342489131*c_0101_3^8 + 41392663398577490282631388098456366792/1358589776997028385732806170\ 342489131*c_0101_3^7 - 25761844143133877881024947357489599838/13585\ 89776997028385732806170342489131*c_0101_3^6 - 30997138194686204999346972616140155975/1358589776997028385732806170\ 342489131*c_0101_3^5 + 43883001030568112485169089358585655434/13585\ 89776997028385732806170342489131*c_0101_3^4 + 19650613982146058835730452018500392986/1358589776997028385732806170\ 342489131*c_0101_3^3 + 7162512032281986946888445603856537891/135858\ 9776997028385732806170342489131*c_0101_3^2 + 2527895655690060307350175948622898790/13585897769970283857328061703\ 42489131*c_0101_3 + 1023104389840593379985879270723512803/135858977\ 6997028385732806170342489131, c_0101_3^24 + 55/119*c_0101_3^23 - 1693/119*c_0101_3^22 - 330/17*c_0101_3^21 + 3117/119*c_0101_3^20 + 1937/119*c_0101_3^19 - 1294/17*c_0101_3^18 - 1681/119*c_0101_3^17 + 10106/119*c_0101_3^16 - 334/17*c_0101_3^15 - 6788/119*c_0101_3^14 + 2902/119*c_0101_3^13 + 2025/119*c_0101_3^12 - 443/119*c_0101_3^11 - 100/119*c_0101_3^10 - 430/119*c_0101_3^9 + 40/119*c_0101_3^8 - 64/119*c_0101_3^7 - 62/119*c_0101_3^6 + 90/119*c_0101_3^5 + 15/119*c_0101_3^4 + 13/119*c_0101_3^3 + 9/119*c_0101_3^2 + 1/119*c_0101_3 + 1/119 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB