Magma V2.19-8 Tue Aug 20 2013 16:16:36 on localhost [Seed = 206409943] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0887 geometric_solution 4.78807832 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 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 1.642662445480 0.133684218913 0 2 2 0 3201 0132 1023 0132 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 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 1.529825646789 0.434592954062 3 1 1 4 0132 0132 1023 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 -1 0 1 1 0 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.040639577908 0.641143820501 2 4 4 5 0132 2310 1302 0132 0 0 0 0 0 0 0 0 -1 0 1 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 -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.191641745490 0.737930378682 3 5 2 3 2031 2310 0132 3201 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 -1 1 -1 0 1 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.191641745490 0.737930378682 6 6 3 4 0132 2310 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 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.494719267326 1.035343260360 5 6 6 5 0132 3201 2310 3201 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 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.789688399777 0.497871696342 ==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' : negation(d['1']), 's_3_5' : 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' : 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' : 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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), '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' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : 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' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : 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_4, c_0011_5, c_0101_0, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 68227863595342426334197211621732/5682232109408407106179104909*c_010\ 1_6^25 - 106495674728884430065889149474418/189407736980280236872636\ 8303*c_0101_6^24 + 2068966231792467502668378845809663/5682232109408\ 407106179104909*c_0101_6^23 + 724537456328794363471540679424359/631\ 359123267600789575456101*c_0101_6^22 - 2903109285389672841365386506477488/1894077369802802368726368303*c_0\ 101_6^21 - 43852486749961102504824908875065776/56822321094084071061\ 79104909*c_0101_6^20 - 8528649597107009978055146436457724/189407736\ 9802802368726368303*c_0101_6^19 + 110982883266696430563689812019396\ 191/5682232109408407106179104909*c_0101_6^18 + 214441358454304234783240993482793840/5682232109408407106179104909*c\ _0101_6^17 - 76190348630334629859977672208012500/568223210940840710\ 6179104909*c_0101_6^16 - 141103673640707392453132411297995674/18940\ 77369802802368726368303*c_0101_6^15 + 48450478270225751273083170503865851/5682232109408407106179104909*c_\ 0101_6^14 + 154693093001165616811531886388424036/189407736980280236\ 8726368303*c_0101_6^13 - 298031657325327162541393620152945486/56822\ 32109408407106179104909*c_0101_6^12 - 221294944427700307208007125029117580/1894077369802802368726368303*c\ _0101_6^11 + 13474368685698065839692391099671604/631359123267600789\ 575456101*c_0101_6^10 + 138596615716587494899042796696914109/189407\ 7369802802368726368303*c_0101_6^9 - 3203996407041739862681104329550172/5682232109408407106179104909*c_0\ 101_6^8 - 17474235865144618091012319448661902/631359123267600789575\ 456101*c_0101_6^7 - 9699038933102928010135065972947983/189407736980\ 2802368726368303*c_0101_6^6 + 31731220617747907380782037759088249/5\ 682232109408407106179104909*c_0101_6^5 + 11836276134741318873710307060728842/5682232109408407106179104909*c_\ 0101_6^4 - 2625979038494430962892468673830178/568223210940840710617\ 9104909*c_0101_6^3 - 539449542859820027387510794799837/189407736980\ 2802368726368303*c_0101_6^2 + 42451402750709127597863638578527/5682\ 232109408407106179104909*c_0101_6 + 75929928752187226815943592620273/5682232109408407106179104909, c_0011_0 - 1, c_0011_1 + 1214475154114235247167894251145/631359123267600789575456101*\ c_0101_6^25 + 5439988036527047575594035226492/631359123267600789575\ 456101*c_0101_6^24 - 38051180322198097512323909999510/6313591232676\ 00789575456101*c_0101_6^23 - 108914591714741168566719255354558/6313\ 59123267600789575456101*c_0101_6^22 + 180553135908844394315256831842915/631359123267600789575456101*c_010\ 1_6^21 + 755987621745115297551891162419162/631359123267600789575456\ 101*c_0101_6^20 + 290223160916135821059139860623052/631359123267600\ 789575456101*c_0101_6^19 - 2112877977722471324850836074065488/63135\ 9123267600789575456101*c_0101_6^18 - 3453386006083022224088051390758805/631359123267600789575456101*c_01\ 01_6^17 + 2229949620748582148457814751842239/6313591232676007895754\ 56101*c_0101_6^16 + 7497272145194765365213768246107996/631359123267\ 600789575456101*c_0101_6^15 - 2400231776303612814021463437506014/63\ 1359123267600789575456101*c_0101_6^14 - 8501962443727760747176395344124979/631359123267600789575456101*c_01\ 01_6^13 + 6910690829831563215810215006957390/6313591232676007895754\ 56101*c_0101_6^12 + 11173655352521135923848712146805392/63135912326\ 7600789575456101*c_0101_6^11 - 4725586263887624829421994059628509/6\ 31359123267600789575456101*c_0101_6^10 - 7662419070123998495131314293877082/631359123267600789575456101*c_01\ 01_6^9 + 1478549508957774207588400451815391/63135912326760078957545\ 6101*c_0101_6^8 + 3174976685432793197429751021402955/63135912326760\ 0789575456101*c_0101_6^7 + 57280301822926076778000960725364/6313591\ 23267600789575456101*c_0101_6^6 - 795121530925027391905239672894540\ /631359123267600789575456101*c_0101_6^5 - 160482432630876720064692804305845/631359123267600789575456101*c_010\ 1_6^4 + 102769231419255302222627861098135/6313591232676007895754561\ 01*c_0101_6^3 + 34872375756224203125093747596293/631359123267600789\ 575456101*c_0101_6^2 - 4831820574558179415896720175233/631359123267\ 600789575456101*c_0101_6 - 2323504798706039118616335524801/63135912\ 3267600789575456101, c_0011_4 - 211641787692441824148322231290/631359123267600789575456101*c\ _0101_6^25 - 951387219525404581852843455206/63135912326760078957545\ 6101*c_0101_6^24 + 6614392573709150752327533617450/6313591232676007\ 89575456101*c_0101_6^23 + 19078757976185128739440138466077/63135912\ 3267600789575456101*c_0101_6^22 - 31117758946570391232167653255631/\ 631359123267600789575456101*c_0101_6^21 - 132093743835940981461042711290322/631359123267600789575456101*c_010\ 1_6^20 - 52830344772017084819277500488362/6313591232676007895754561\ 01*c_0101_6^19 + 366410149479709528182754773879907/6313591232676007\ 89575456101*c_0101_6^18 + 606874795808949513258505988012112/6313591\ 23267600789575456101*c_0101_6^17 - 376817329898520799261285026410294/631359123267600789575456101*c_010\ 1_6^16 - 1307527170909640733737618805653201/63135912326760078957545\ 6101*c_0101_6^15 + 397172187214008259040321467381929/63135912326760\ 0789575456101*c_0101_6^14 + 1479192273074970308338060703495308/6313\ 59123267600789575456101*c_0101_6^13 - 1182064923349709724768733422335169/631359123267600789575456101*c_01\ 01_6^12 - 1957041649771591086097541574843245/6313591232676007895754\ 56101*c_0101_6^11 + 788609933984478156153989320025456/6313591232676\ 00789575456101*c_0101_6^10 + 1333332608822408742607652406338579/631\ 359123267600789575456101*c_0101_6^9 - 238058187904693293632879035074653/631359123267600789575456101*c_010\ 1_6^8 - 549082292538169854322719751197881/6313591232676007895754561\ 01*c_0101_6^7 - 16443646860334686556828561071936/631359123267600789\ 575456101*c_0101_6^6 + 135729715299798540904170596887293/6313591232\ 67600789575456101*c_0101_6^5 + 28755911635647682079635491860608/631\ 359123267600789575456101*c_0101_6^4 - 17186504709262730526113053550177/631359123267600789575456101*c_0101\ _6^3 - 6020448889601377601700894632557/631359123267600789575456101*\ c_0101_6^2 + 787371748839465471618065274658/63135912326760078957545\ 6101*c_0101_6 + 393637323601839543802256496949/63135912326760078957\ 5456101, c_0011_5 + 842944234009532134957751951700/631359123267600789575456101*c\ _0101_6^25 + 3771313215809037036749756918163/6313591232676007895754\ 56101*c_0101_6^24 - 26432914815848320986835764718161/63135912326760\ 0789575456101*c_0101_6^23 - 75466231209019522639261524718544/631359\ 123267600789575456101*c_0101_6^22 + 125785693977283531704437600776506/631359123267600789575456101*c_010\ 1_6^21 + 524279786251320373870425026993210/631359123267600789575456\ 101*c_0101_6^20 + 198419229935532053230983509784749/631359123267600\ 789575456101*c_0101_6^19 - 1469066104186680483447338481441885/63135\ 9123267600789575456101*c_0101_6^18 - 2390335365256045312775972761523319/631359123267600789575456101*c_01\ 01_6^17 + 1563821592995482332041429596263644/6313591232676007895754\ 56101*c_0101_6^16 + 5203286980069584664165674720705421/631359123267\ 600789575456101*c_0101_6^15 - 1694162528040863681485790162222734/63\ 1359123267600789575456101*c_0101_6^14 - 5905995270601485602750381144243986/631359123267600789575456101*c_01\ 01_6^13 + 4826175449623330689806967987595106/6313591232676007895754\ 56101*c_0101_6^12 + 7744277532696332143138196015920528/631359123267\ 600789575456101*c_0101_6^11 - 3327409860172426410488070679255514/63\ 1359123267600789575456101*c_0101_6^10 - 5323683437794093832130796837996670/631359123267600789575456101*c_01\ 01_6^9 + 1052646429859792959394352102597356/63135912326760078957545\ 6101*c_0101_6^8 + 2210835580901975454587645583437528/63135912326760\ 0789575456101*c_0101_6^7 + 31172383252345897179920352758797/6313591\ 23267600789575456101*c_0101_6^6 - 556176705262692322380507243693491\ /631359123267600789575456101*c_0101_6^5 - 110445433962760112055337183232053/631359123267600789575456101*c_010\ 1_6^4 + 72373233488644694928723903031726/63135912326760078957545610\ 1*c_0101_6^3 + 24314474475423345998782944236330/6313591232676007895\ 75456101*c_0101_6^2 - 3429633792834732549651396239635/6313591232676\ 00789575456101*c_0101_6 - 1630400397102197672124291581437/631359123\ 267600789575456101, c_0101_0 - 1238101409730288336642714551958/631359123267600789575456101*\ c_0101_6^25 - 5531056611634854487435770939715/631359123267600789575\ 456101*c_0101_6^24 + 38863923287557747804335529469640/6313591232676\ 00789575456101*c_0101_6^23 + 110602953354414043870788357065842/6313\ 59123267600789575456101*c_0101_6^22 - 185572542849739208565595894665979/631359123267600789575456101*c_010\ 1_6^21 - 769172190564570440305163238819080/631359123267600789575456\ 101*c_0101_6^20 - 286081049589091947343646305443925/631359123267600\ 789575456101*c_0101_6^19 + 2161834120578460751418257789609914/63135\ 9123267600789575456101*c_0101_6^18 + 3498680698469434569006860912043315/631359123267600789575456101*c_01\ 01_6^17 - 2324585129211834695869743910641040/6313591232676007895754\ 56101*c_0101_6^16 - 7639236762150410611140715389864052/631359123267\ 600789575456101*c_0101_6^15 + 2537887719289088829186591613603839/63\ 1359123267600789575456101*c_0101_6^14 + 8678468229779292169249380876143037/631359123267600789575456101*c_01\ 01_6^13 - 7140003892377214704366028007276923/6313591232676007895754\ 56101*c_0101_6^12 - 11349091511084122520038406637902817/63135912326\ 7600789575456101*c_0101_6^11 + 4967657413855737121679213552048321/6\ 31359123267600789575456101*c_0101_6^10 + 7822410854558679156913291268566469/631359123267600789575456101*c_01\ 01_6^9 - 1590460890968307101101874577016132/63135912326760078957545\ 6101*c_0101_6^8 - 3256429930037739549306978825997777/63135912326760\ 0789575456101*c_0101_6^7 - 31341932059981381186208367143164/6313591\ 23267600789575456101*c_0101_6^6 + 823357870178094500564761514377807\ /631359123267600789575456101*c_0101_6^5 + 160530847610560802260581755102318/631359123267600789575456101*c_010\ 1_6^4 - 107917707501688587297803576297220/6313591232676007895754561\ 01*c_0101_6^3 - 35862328746106653719428746631692/631359123267600789\ 575456101*c_0101_6^2 + 5153399361497917087022116932042/631359123267\ 600789575456101*c_0101_6 + 2421607302809444722989139863497/63135912\ 3267600789575456101, c_0101_2 - 707459663644350804012398600812/631359123267600789575456101*c\ _0101_6^25 - 3161850667950152097152776835363/6313591232676007895754\ 56101*c_0101_6^24 + 22200574073069559094704760075602/63135912326760\ 0789575456101*c_0101_6^23 + 63240030744329569895536936079533/631359\ 123267600789575456101*c_0101_6^22 - 105902961478930410413266659512496/631359123267600789575456101*c_010\ 1_6^21 - 439670084496658478002073131606083/631359123267600789575456\ 101*c_0101_6^20 - 164355933612458437428263493262748/631359123267600\ 789575456101*c_0101_6^19 + 1234682721208285917106639633776278/63135\ 9123267600789575456101*c_0101_6^18 + 2001286187992324710038958988194720/631359123267600789575456101*c_01\ 01_6^17 - 1323822293618709498798031253337515/6313591232676007895754\ 56101*c_0101_6^16 - 4366100659592587704497604317196648/631359123267\ 600789575456101*c_0101_6^15 + 1441850135513682715432456356353296/63\ 1359123267600789575456101*c_0101_6^14 + 4959111767568619522228465338661789/631359123267600789575456101*c_01\ 01_6^13 - 4071049608836338205096674895625930/6313591232676007895754\ 56101*c_0101_6^12 - 6490179036841127280742511763733993/631359123267\ 600789575456101*c_0101_6^11 + 2825382076636463747501834227601434/63\ 1359123267600789575456101*c_0101_6^10 + 4470722162917120132264174280208080/631359123267600789575456101*c_01\ 01_6^9 - 901312917858545479865329352824727/631359123267600789575456\ 101*c_0101_6^8 - 1860039021090026612895206619305432/631359123267600\ 789575456101*c_0101_6^7 - 20444367950752930699599728009512/63135912\ 3267600789575456101*c_0101_6^6 + 469667842330953013540426617616847/\ 631359123267600789575456101*c_0101_6^5 + 92098807169991541117032286532928/631359123267600789575456101*c_0101\ _6^4 - 61434215664323369291944768845103/631359123267600789575456101\ *c_0101_6^3 - 20489608099887276560138357809357/63135912326760078957\ 5456101*c_0101_6^2 + 2926133814719637443228807277357/63135912326760\ 0789575456101*c_0101_6 + 1380923397802549942648507695887/6313591232\ 67600789575456101, c_0101_6^26 + 5*c_0101_6^25 - 29*c_0101_6^24 - 106*c_0101_6^23 + 102*c_0101_6^22 + 700*c_0101_6^21 + 563*c_0101_6^20 - 1616*c_0101_6^19 - 3750*c_0101_6^18 + 357*c_0101_6^17 + 7133*c_0101_6^16 + 1238*c_0101_6^15 - 8036*c_0101_6^14 + 2044*c_0101_6^13 + 12170*c_0101_6^12 + 897*c_0101_6^11 - 8346*c_0101_6^10 - 2069*c_0101_6^9 + 3254*c_0101_6^8 + 1410*c_0101_6^7 - 632*c_0101_6^6 - 474*c_0101_6^5 + 16*c_0101_6^4 + 73*c_0101_6^3 + 11*c_0101_6^2 - 4*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB