Magma V2.19-8 Tue Aug 20 2013 16:15:52 on localhost [Seed = 2715827588] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0087 geometric_solution 3.62831798 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 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 2.006002921243 0.125146198550 0 1 1 0 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.705020426956 0.021970293209 0 3 3 0 3201 0132 1023 0132 0 0 0 0 0 -1 -1 2 0 0 0 0 -2 2 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.661327012801 0.273897715032 4 2 2 4 0132 0132 1023 3201 0 0 0 0 0 1 0 -1 -1 0 1 0 0 -1 0 1 1 -2 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 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.333471075924 0.480855436850 3 3 6 5 0132 2310 0132 0132 0 0 0 0 0 -1 0 1 1 0 -1 0 -1 0 0 1 0 1 -1 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.015883758535 0.512263792435 6 6 4 6 1230 1023 0132 3012 0 0 0 0 0 1 -1 0 0 0 0 0 -1 1 0 0 0 1 -1 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 0.988271163180 0.995649371553 5 5 5 4 1023 3012 1230 0132 0 0 0 0 0 0 0 0 -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 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.988271163180 0.995649371553 ==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' : negation(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' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 916670832136487577483937816130665705240/186322575278554974524217047\ 80712805007*c_0101_4^23 + 7293298809855566913676115371769626912979/\ 18632257527855497452421704780712805007*c_0101_4^22 - 61022750311803878973026514367186135561112/1863225752785549745242170\ 4780712805007*c_0101_4^21 + 497925496365204051818983858171588132705\ 90/18632257527855497452421704780712805007*c_0101_4^20 + 715776512324413072705985180577875407811168/186322575278554974524217\ 04780712805007*c_0101_4^19 - 72939502853993144259758894562843014164\ 1916/18632257527855497452421704780712805007*c_0101_4^18 - 4597812951489703150087760441491141704868853/18632257527855497452421\ 704780712805007*c_0101_4^17 + 2488297906909794573166791050836927895\ 306204/18632257527855497452421704780712805007*c_0101_4^16 + 14778049206585225532231797623635848332687694/1863225752785549745242\ 1704780712805007*c_0101_4^15 - 485903490414229121243627517797861809\ 8801057/18632257527855497452421704780712805007*c_0101_4^14 - 26869183705401940168265681316844616410797690/1863225752785549745242\ 1704780712805007*c_0101_4^13 + 832979989410551950596115915927274282\ 5794871/18632257527855497452421704780712805007*c_0101_4^12 + 29605144648927705550409936053064668148497019/1863225752785549745242\ 1704780712805007*c_0101_4^11 - 115595001491991324779814097067291426\ 94327614/18632257527855497452421704780712805007*c_0101_4^10 - 19600834762869824610438140512011094007565243/1863225752785549745242\ 1704780712805007*c_0101_4^9 + 1007612283735776499908276904448975512\ 0214601/18632257527855497452421704780712805007*c_0101_4^8 + 7160921172738697143070034244369196034718291/18632257527855497452421\ 704780712805007*c_0101_4^7 - 48917282523873555225623680488946475733\ 81952/18632257527855497452421704780712805007*c_0101_4^6 - 1103510986722405769572384273637387769244736/18632257527855497452421\ 704780712805007*c_0101_4^5 + 11814872201530676134436463025948461693\ 44659/18632257527855497452421704780712805007*c_0101_4^4 - 32349305227613146027214551695200264206738/1863225752785549745242170\ 4780712805007*c_0101_4^3 - 1039486335322374272922895197426903387955\ 48/18632257527855497452421704780712805007*c_0101_4^2 + 18207335954628612819927435668693445449576/1863225752785549745242170\ 4780712805007*c_0101_4 - 945542597620567478844941452739544612493/18\ 632257527855497452421704780712805007, c_0011_0 - 1, c_0011_2 - 24529958565212217842127481095136484998/186322575278554974524\ 21704780712805007*c_0101_4^23 + 19200060649892230648125582154623934\ 6316/18632257527855497452421704780712805007*c_0101_4^22 - 1607720048917150043991804629275999368591/18632257527855497452421704\ 780712805007*c_0101_4^21 + 1125339649220107466355289269641745796985\ /18632257527855497452421704780712805007*c_0101_4^20 + 19298194266458466503091222519031807715781/1863225752785549745242170\ 4780712805007*c_0101_4^19 - 167882657989558467978607938499603596328\ 87/18632257527855497452421704780712805007*c_0101_4^18 - 125723755776938646000334917705873821397593/186322575278554974524217\ 04780712805007*c_0101_4^17 + 47632468869315976535179576500351738772\ 049/18632257527855497452421704780712805007*c_0101_4^16 + 406204568666349874722270787693191471257675/186322575278554974524217\ 04780712805007*c_0101_4^15 - 59263897148898656524617570400471066226\ 777/18632257527855497452421704780712805007*c_0101_4^14 - 738595679041006588757672261043462175344829/186322575278554974524217\ 04780712805007*c_0101_4^13 + 71878208800201610990808769145492862175\ 049/18632257527855497452421704780712805007*c_0101_4^12 + 817290716289885351424412709653366972120814/186322575278554974524217\ 04780712805007*c_0101_4^11 - 11360002861112770388936517676026269978\ 4152/18632257527855497452421704780712805007*c_0101_4^10 - 559384157698834266318126765048757221575166/186322575278554974524217\ 04780712805007*c_0101_4^9 + 111697236264629411673733189084582499693\ 597/18632257527855497452421704780712805007*c_0101_4^8 + 231541346750475005126989790817995731840006/186322575278554974524217\ 04780712805007*c_0101_4^7 - 539661810210441525963109237907442655836\ 13/18632257527855497452421704780712805007*c_0101_4^6 - 55716727039041919384836431239483371916369/1863225752785549745242170\ 4780712805007*c_0101_4^5 + 1139381657835100841888808946008003225564\ 2/18632257527855497452421704780712805007*c_0101_4^4 + 7628258263610050937149759496970899799950/18632257527855497452421704\ 780712805007*c_0101_4^3 - 593728152122096447581445046780793305254/1\ 8632257527855497452421704780712805007*c_0101_4^2 - 545669917484677588089050980302433753957/186322575278554974524217047\ 80712805007*c_0101_4 - 58682557992980002533217284223359406558/18632\ 257527855497452421704780712805007, c_0011_5 + 5490060336937690955729873310208610544/1863225752785549745242\ 1704780712805007*c_0101_4^23 - 404134423087669981584695781750602046\ 79/18632257527855497452421704780712805007*c_0101_4^22 + 346083573063946162749583724330070510900/186322575278554974524217047\ 80712805007*c_0101_4^21 - 131129100692344418133558448379258149883/1\ 8632257527855497452421704780712805007*c_0101_4^20 - 4037838079064591387266359609101459543715/18632257527855497452421704\ 780712805007*c_0101_4^19 + 1570801063012522440247711359458181653564\ /18632257527855497452421704780712805007*c_0101_4^18 + 25119524188265408822059136278220925087641/1863225752785549745242170\ 4780712805007*c_0101_4^17 + 488446549915208645038388741987958511669\ 9/18632257527855497452421704780712805007*c_0101_4^16 - 65502134641416638874404193397271774663472/1863225752785549745242170\ 4780712805007*c_0101_4^15 - 282864584783951434116871288046691775286\ 74/18632257527855497452421704780712805007*c_0101_4^14 + 84656390992310280739438983867356030297739/1863225752785549745242170\ 4780712805007*c_0101_4^13 + 406170044381454403162118137870723151632\ 12/18632257527855497452421704780712805007*c_0101_4^12 - 58103079443223713568359549589660728819403/1863225752785549745242170\ 4780712805007*c_0101_4^11 - 284958694179029368350924799372946485110\ 49/18632257527855497452421704780712805007*c_0101_4^10 + 17450237666234472257856441492792170673769/1863225752785549745242170\ 4780712805007*c_0101_4^9 + 1651403609123001540862553035861306585356\ 0/18632257527855497452421704780712805007*c_0101_4^8 + 1132496704800062690093962466037579058129/18632257527855497452421704\ 780712805007*c_0101_4^7 - 8720593281630463160704129603232703903155/\ 18632257527855497452421704780712805007*c_0101_4^6 - 1398075770437523018636239429634751127050/18632257527855497452421704\ 780712805007*c_0101_4^5 + 2543115386075434951066621250799105365353/\ 18632257527855497452421704780712805007*c_0101_4^4 + 175246520407502370181451425239710010433/186322575278554974524217047\ 80712805007*c_0101_4^3 - 272770279645869954129792559201651320804/18\ 632257527855497452421704780712805007*c_0101_4^2 - 43696142696837811103742610539200091501/1863225752785549745242170478\ 0712805007*c_0101_4 + 1163503937425536773897878710211073338/1863225\ 7527855497452421704780712805007, c_0101_0 - 58763331227005415091320821442772726207/186322575278554974524\ 21704780712805007*c_0101_4^23 + 44238471077594718221204060358252087\ 7432/18632257527855497452421704780712805007*c_0101_4^22 - 3723977491010312709513163951847919151732/18632257527855497452421704\ 780712805007*c_0101_4^21 + 1616712354019268993392996898119708154422\ /18632257527855497452421704780712805007*c_0101_4^20 + 46419900671288101446205301518443221547514/1863225752785549745242170\ 4780712805007*c_0101_4^19 - 263066693604129161862110385834424520638\ 36/18632257527855497452421704780712805007*c_0101_4^18 - 305476029534426830984096160401540717659846/186322575278554974524217\ 04780712805007*c_0101_4^17 + 22508217390880696301070571739831412824\ 227/18632257527855497452421704780712805007*c_0101_4^16 + 957129400062444541167824075207962514339176/186322575278554974524217\ 04780712805007*c_0101_4^15 + 13232406077442966686912121264954399460\ 4309/18632257527855497452421704780712805007*c_0101_4^14 - 1670958959012074425078628115608573182632721/18632257527855497452421\ 704780712805007*c_0101_4^13 - 2763611346629642884038888330571389714\ 72338/18632257527855497452421704780712805007*c_0101_4^12 + 1801888668976203600465088210170971329379614/18632257527855497452421\ 704780712805007*c_0101_4^11 + 1801139158792361658854824155518618000\ 93491/18632257527855497452421704780712805007*c_0101_4^10 - 1239507970723768065315270708587833318188645/18632257527855497452421\ 704780712805007*c_0101_4^9 - 19051198423405215833397288027357261555\ 496/18632257527855497452421704780712805007*c_0101_4^8 + 535264558357194789215980228745387612719607/186322575278554974524217\ 04780712805007*c_0101_4^7 - 243093952136937160811875140920313350424\ 84/18632257527855497452421704780712805007*c_0101_4^6 - 138422736648863721216277609046347028874134/186322575278554974524217\ 04780712805007*c_0101_4^5 + 854043483344386589363131545562384745940\ 6/18632257527855497452421704780712805007*c_0101_4^4 + 19465711623617033237820221985709880342642/1863225752785549745242170\ 4780712805007*c_0101_4^3 - 126545430598807570172567089712548308382/\ 18632257527855497452421704780712805007*c_0101_4^2 - 1142804499306176633781906302220263797891/18632257527855497452421704\ 780712805007*c_0101_4 - 181071042995616587815822753610578252448/186\ 32257527855497452421704780712805007, c_0101_1 - 166030128215640069871193534437448969967/18632257527855497452\ 421704780712805007*c_0101_4^23 + 1262470608185844996790962019533214\ 386399/18632257527855497452421704780712805007*c_0101_4^22 - 10640089389474412877471085172269195355890/1863225752785549745242170\ 4780712805007*c_0101_4^21 + 554625180894445734210413567836696815643\ 4/18632257527855497452421704780712805007*c_0101_4^20 + 129266716114488379002917873558221863738022/186322575278554974524217\ 04780712805007*c_0101_4^19 - 83321412253446647642245774744703350165\ 850/18632257527855497452421704780712805007*c_0101_4^18 - 839222026028700272988285578491508025611710/186322575278554974524217\ 04780712805007*c_0101_4^17 + 11580781901301727564493784651691088780\ 2737/18632257527855497452421704780712805007*c_0101_4^16 + 2582914102969153501832894741669191646853209/18632257527855497452421\ 704780712805007*c_0101_4^15 + 1921978462500648671884495536755587858\ 18531/18632257527855497452421704780712805007*c_0101_4^14 - 4400124432699867344717321584779419628680814/18632257527855497452421\ 704780712805007*c_0101_4^13 - 4204188207644674066305915362519410700\ 11639/18632257527855497452421704780712805007*c_0101_4^12 + 4577707060987615124109147326429311474467330/18632257527855497452421\ 704780712805007*c_0101_4^11 + 1167490376239663798530838263717501415\ 48358/18632257527855497452421704780712805007*c_0101_4^10 - 2979742981720223561478129986830989731694805/18632257527855497452421\ 704780712805007*c_0101_4^9 + 16584193238194996777661883298603350614\ 3070/18632257527855497452421704780712805007*c_0101_4^8 + 1188568931389457367596567958546191047978925/18632257527855497452421\ 704780712805007*c_0101_4^7 - 12285422505226634761472549358224621854\ 4387/18632257527855497452421704780712805007*c_0101_4^6 - 279848303119213725135511419267367373757520/186322575278554974524217\ 04780712805007*c_0101_4^5 + 273017826532660782967818675377771039284\ 88/18632257527855497452421704780712805007*c_0101_4^4 + 36641018796835533401536382907751191686092/1863225752785549745242170\ 4780712805007*c_0101_4^3 - 701090367196707060920724511305282081571/\ 18632257527855497452421704780712805007*c_0101_4^2 - 2160220587532723459693769664519341887475/18632257527855497452421704\ 780712805007*c_0101_4 - 281260871663092362283789122282863803466/186\ 32257527855497452421704780712805007, c_0101_3 - 19594901864611183389419604155630860711/186322575278554974524\ 21704780712805007*c_0101_4^23 + 15595751540152734354845157340644260\ 6897/18632257527855497452421704780712805007*c_0101_4^22 - 1309425701348687883133613782542754761699/18632257527855497452421704\ 780712805007*c_0101_4^21 + 1107385901933496582519420177670875422734\ /18632257527855497452421704780712805007*c_0101_4^20 + 14967499988281943543457513425025072456583/1863225752785549745242170\ 4780712805007*c_0101_4^19 - 151623021270447415611780189645105848215\ 53/18632257527855497452421704780712805007*c_0101_4^18 - 95000995548406161220980001080067468890666/1863225752785549745242170\ 4780712805007*c_0101_4^17 + 476836461555370250182587160153535138827\ 58/18632257527855497452421704780712805007*c_0101_4^16 + 296699527418267037945971810336931340987623/186322575278554974524217\ 04780712805007*c_0101_4^15 - 79983990755840470211177301836707398397\ 631/18632257527855497452421704780712805007*c_0101_4^14 - 516441708291767946425637682312266715679922/186322575278554974524217\ 04780712805007*c_0101_4^13 + 12019890165575768572625001138659965475\ 0128/18632257527855497452421704780712805007*c_0101_4^12 + 537047722241224529923382721184400342013718/186322575278554974524217\ 04780712805007*c_0101_4^11 - 15416585582865238120584471359910193615\ 1199/18632257527855497452421704780712805007*c_0101_4^10 - 333986488020202804927945193434496947215309/186322575278554974524217\ 04780712805007*c_0101_4^9 + 119166993915862170489855165279822499408\ 853/18632257527855497452421704780712805007*c_0101_4^8 + 120316368099213698777146642838683238427881/186322575278554974524217\ 04780712805007*c_0101_4^7 - 478382776279722319128057431993225884721\ 64/18632257527855497452421704780712805007*c_0101_4^6 - 24450121659331722569982560388671793727025/1863225752785549745242170\ 4780712805007*c_0101_4^5 + 8824712256043270713990014981581073744084\ /18632257527855497452421704780712805007*c_0101_4^4 + 2925581502946215974949603148376482894026/18632257527855497452421704\ 780712805007*c_0101_4^3 - 460562052365830709957615188806256842530/1\ 8632257527855497452421704780712805007*c_0101_4^2 - 239713703023548143468718762409793288809/186322575278554974524217047\ 80712805007*c_0101_4 - 28497908917290561487822357341783566643/18632\ 257527855497452421704780712805007, c_0101_4^24 - 8*c_0101_4^23 + 67*c_0101_4^22 - 58*c_0101_4^21 - 772*c_0101_4^20 + 817*c_0101_4^19 + 4928*c_0101_4^18 - 2786*c_0101_4^17 - 15726*c_0101_4^16 + 5302*c_0101_4^15 + 28307*c_0101_4^14 - 8548*c_0101_4^13 - 30811*c_0101_4^12 + 11131*c_0101_4^11 + 20371*c_0101_4^10 - 9151*c_0101_4^9 - 7910*c_0101_4^8 + 4261*c_0101_4^7 + 1703*c_0101_4^6 - 1059*c_0101_4^5 - 193*c_0101_4^4 + 125*c_0101_4^3 + 14*c_0101_4^2 - 5*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB