Magma V2.19-8 Tue Aug 20 2013 16:16:36 on localhost [Seed = 1932717995] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0903 geometric_solution 4.80038694 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 1 -1 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 -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.504552329209 0.152069366460 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 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 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.678538418552 0.395537339344 1 3 4 5 0132 0213 0132 0132 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 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.299266817076 0.665536139587 5 4 2 1 3201 1023 0213 0132 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 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.299266817076 0.665536139587 3 6 6 2 1023 0132 1023 0132 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 0 0 0 0 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.205771175831 0.856684613774 5 5 2 3 1302 2031 0132 2310 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 0 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.393959001086 0.501550024565 6 4 4 6 3012 0132 1023 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 0 0 0 0 0 0 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.722676689717 0.270919811387 ==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' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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' : negation(d['c_0011_1']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0011_1'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_1']), '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_0011_5, c_0101_0, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 191949697038971114744673999743220/10704489249531132107410039424899*\ c_0101_6^24 - 1905175387530024073420067815289022/107044892495311321\ 07410039424899*c_0101_6^23 + 842947273742142855252389698809420/1070\ 4489249531132107410039424899*c_0101_6^22 - 1992849147192700206966237690548499/10704489249531132107410039424899\ *c_0101_6^21 + 63435483958898024540040008531456258/1070448924953113\ 2107410039424899*c_0101_6^20 + 10253441542690602503122794607165265/\ 823422249963933239031541494223*c_0101_6^19 - 27508674513044501345301509974887336/1070448924953113210741003942489\ 9*c_0101_6^18 + 593506274063132449570775541627010281/10704489249531\ 132107410039424899*c_0101_6^17 - 1382439265392041704441731814256983\ 88/10704489249531132107410039424899*c_0101_6^16 - 2848801094689920224768272782835758817/10704489249531132107410039424\ 899*c_0101_6^15 + 529435017467493207387269274044105495/107044892495\ 31132107410039424899*c_0101_6^14 + 1989080995254092908382998109366527996/10704489249531132107410039424\ 899*c_0101_6^13 - 2003388082927465290560447983477240229/10704489249\ 531132107410039424899*c_0101_6^12 + 3304742323682557535190372019247951085/10704489249531132107410039424\ 899*c_0101_6^11 + 3907529789676894286519019484055665260/10704489249\ 531132107410039424899*c_0101_6^10 - 5156304469192539608374352247529158976/10704489249531132107410039424\ 899*c_0101_6^9 - 4054256663201319681445203855510943629/107044892495\ 31132107410039424899*c_0101_6^8 + 155318518986337251949270469825726\ 963/823422249963933239031541494223*c_0101_6^7 + 2423051166123356613776034133190139180/10704489249531132107410039424\ 899*c_0101_6^6 + 12943334512097528299032800343606895/82342224996393\ 3239031541494223*c_0101_6^5 - 851478378242182723359930291748297555/\ 10704489249531132107410039424899*c_0101_6^4 - 220987103238546102200158263733721829/107044892495311321074100394248\ 99*c_0101_6^3 + 161350261985005950698072815182050116/10704489249531\ 132107410039424899*c_0101_6^2 + 24122258754757107760928567897902748\ /10704489249531132107410039424899*c_0101_6 - 11161290834924882018298334721559908/1070448924953113210741003942489\ 9, c_0011_0 - 1, c_0011_1 + 153924833242599116015589239479/82342224996393323903154149422\ 3*c_0101_6^24 - 144169845102025839482239738240/82342224996393323903\ 1541494223*c_0101_6^23 - 988260645272910490404553189650/82342224996\ 3933239031541494223*c_0101_6^22 - 6729751736216289615472552429415/8\ 23422249963933239031541494223*c_0101_6^21 - 10695537445350966708638698881638/823422249963933239031541494223*c_0\ 101_6^20 + 15502368918309862575973291882122/82342224996393323903154\ 1494223*c_0101_6^19 - 12383395159544592193504634867602/823422249963\ 933239031541494223*c_0101_6^18 + 65753535723218751570660112514500/8\ 23422249963933239031541494223*c_0101_6^17 + 392269055414142773916923023831617/823422249963933239031541494223*c_\ 0101_6^16 - 121682070440722418366030069022785/823422249963933239031\ 541494223*c_0101_6^15 - 722745157884261763081292639176171/823422249\ 963933239031541494223*c_0101_6^14 + 143346379111295781845746507794475/823422249963933239031541494223*c_\ 0101_6^13 - 191428158090353173443117703117207/823422249963933239031\ 541494223*c_0101_6^12 - 588340385660281332575452208077584/823422249\ 963933239031541494223*c_0101_6^11 + 1298576242601752261308525827129237/823422249963933239031541494223*c\ _0101_6^10 + 1096368216677577546902084800444143/8234222499639332390\ 31541494223*c_0101_6^9 - 867835814389012686500491536886165/82342224\ 9963933239031541494223*c_0101_6^8 - 902820153092464989075789584076915/823422249963933239031541494223*c_\ 0101_6^7 + 13259934747490916127176294104466/82342224996393323903154\ 1494223*c_0101_6^6 + 366242697754810508089653198700015/823422249963\ 933239031541494223*c_0101_6^5 + 126649089780798409587988860172308/8\ 23422249963933239031541494223*c_0101_6^4 - 72287130867690253192684299420707/823422249963933239031541494223*c_0\ 101_6^3 - 28382671799249236634496472231294/823422249963933239031541\ 494223*c_0101_6^2 + 4764780880833865663106665763582/823422249963933\ 239031541494223*c_0101_6 + 2074528714393258473374013402832/82342224\ 9963933239031541494223, c_0011_3 - 6555467406611932234969315675270/8234222499639332390315414942\ 23*c_0101_6^24 + 4050371316871017955466602049454/823422249963933239\ 031541494223*c_0101_6^23 + 27416527738264452776447469005573/8234222\ 49963933239031541494223*c_0101_6^22 + 305298154126272588184125792116504/823422249963933239031541494223*c_\ 0101_6^21 + 610120390441394246670326408983863/823422249963933239031\ 541494223*c_0101_6^20 + 283549146596286071340637552863231/823422249\ 963933239031541494223*c_0101_6^19 + 2132802159974897945790795637106696/823422249963933239031541494223*c\ _0101_6^18 - 997033199305323215852838557894222/82342224996393323903\ 1541494223*c_0101_6^17 - 10954727065267717257122602474542757/823422\ 249963933239031541494223*c_0101_6^16 - 114910752229272085849639280639817/823422249963933239031541494223*c_\ 0101_6^15 + 7689613367632438857603638414999142/82342224996393323903\ 1541494223*c_0101_6^14 - 4913564901317275366379652584497263/8234222\ 49963933239031541494223*c_0101_6^13 + 11964476237045410266650171328797468/823422249963933239031541494223*\ c_0101_6^12 + 16693676052483172684186580820948438/82342224996393323\ 9031541494223*c_0101_6^11 - 17971191466782553767581666826618941/823\ 422249963933239031541494223*c_0101_6^10 - 19516745389355149891252724916671035/823422249963933239031541494223*\ c_0101_6^9 + 5722690937621839740792271234934391/8234222499639332390\ 31541494223*c_0101_6^8 + 11198126473560759679170904122826283/823422\ 249963933239031541494223*c_0101_6^7 + 2049467388616860112467062361348595/823422249963933239031541494223*c\ _0101_6^6 - 3474271820951617022678317070038667/82342224996393323903\ 1541494223*c_0101_6^5 - 1493978310383260115762237861214896/82342224\ 9963933239031541494223*c_0101_6^4 + 570157246008772931037068224855438/823422249963933239031541494223*c_\ 0101_6^3 + 251523966910117168179468350922583/8234222499639332390315\ 41494223*c_0101_6^2 - 33495055970309319887854625434310/823422249963\ 933239031541494223*c_0101_6 - 13099739192379593375196217524387/8234\ 22249963933239031541494223, c_0011_5 + 2146455351798717468975477742202/8234222499639332390315414942\ 23*c_0101_6^24 - 1426471623608914913297196799159/823422249963933239\ 031541494223*c_0101_6^23 - 8673551733835348917460551466961/82342224\ 9963933239031541494223*c_0101_6^22 - 99681023505017563082768338382482/823422249963933239031541494223*c_0\ 101_6^21 - 195916469866406835293873565342310/8234222499639332390315\ 41494223*c_0101_6^20 - 94880644301066229095918146204431/82342224996\ 3933239031541494223*c_0101_6^19 - 717795542866324358658703501718860\ /823422249963933239031541494223*c_0101_6^18 + 337724109813894081329528407389021/823422249963933239031541494223*c_\ 0101_6^17 + 3470416771837667938118114401202985/82342224996393323903\ 1541494223*c_0101_6^16 - 118971902455968759207702817454192/82342224\ 9963933239031541494223*c_0101_6^15 - 2201634833679852819495374354888733/823422249963933239031541494223*c\ _0101_6^14 + 1744124580873906479397253812888848/8234222499639332390\ 31541494223*c_0101_6^13 - 3998616367637729639561397496089900/823422\ 249963933239031541494223*c_0101_6^12 - 5041328980436904888136302063943728/823422249963933239031541494223*c\ _0101_6^11 + 5685568385045032056914966175062566/8234222499639332390\ 31541494223*c_0101_6^10 + 5667724267169455653929663319931336/823422\ 249963933239031541494223*c_0101_6^9 - 1886526819067902759093356497928203/823422249963933239031541494223*c\ _0101_6^8 - 3300501029228742347761649700826452/82342224996393323903\ 1541494223*c_0101_6^7 - 487688079036650556619069568397234/823422249\ 963933239031541494223*c_0101_6^6 + 1076521657953972315807346174833407/823422249963933239031541494223*c\ _0101_6^5 + 407315796574036221219988546041704/823422249963933239031\ 541494223*c_0101_6^4 - 181006646816989557452964089347644/8234222499\ 63933239031541494223*c_0101_6^3 - 72858273320711256548265806779052/\ 823422249963933239031541494223*c_0101_6^2 + 10875073105192337278508125869793/823422249963933239031541494223*c_0\ 101_6 + 3688421187320089694232954005371/823422249963933239031541494\ 223, c_0101_0 - 4278703721521807467860801706383/8234222499639332390315414942\ 23*c_0101_6^24 + 2831279103381845760131482270245/823422249963933239\ 031541494223*c_0101_6^23 + 17403315292412010427152694027873/8234222\ 49963933239031541494223*c_0101_6^22 + 198858267397059965676439648953924/823422249963933239031541494223*c_\ 0101_6^21 + 390823227826618202240593940118955/823422249963933239031\ 541494223*c_0101_6^20 + 184755077587542380531469377441322/823422249\ 963933239031541494223*c_0101_6^19 + 1412514692538186538251766588457123/823422249963933239031541494223*c\ _0101_6^18 - 703164528402817090768178863686331/82342224996393323903\ 1541494223*c_0101_6^17 - 7001500276842876474575617661666450/8234222\ 49963933239031541494223*c_0101_6^16 + 124657319452734089305194862679993/823422249963933239031541494223*c_\ 0101_6^15 + 4450353203409146646073275613620878/82342224996393323903\ 1541494223*c_0101_6^14 - 3290815357670051599331480225419182/8234222\ 49963933239031541494223*c_0101_6^13 + 8190595435852484207818628122831679/823422249963933239031541494223*c\ _0101_6^12 + 10320983205193569801417804617844390/823422249963933239\ 031541494223*c_0101_6^11 - 11338542348808164954413007285015603/8234\ 22249963933239031541494223*c_0101_6^10 - 11614585784196997857505555341754442/823422249963933239031541494223*\ c_0101_6^9 + 3349905330636390853769291822317797/8234222499639332390\ 31541494223*c_0101_6^8 + 6400530025533929036269409933084767/8234222\ 49963933239031541494223*c_0101_6^7 + 1227618426867386151242746786502189/823422249963933239031541494223*c\ _0101_6^6 - 1910406471749167391065190211282948/82342224996393323903\ 1541494223*c_0101_6^5 - 790062262938264095960144032921104/823422249\ 963933239031541494223*c_0101_6^4 + 308331846654161796186743585066318/823422249963933239031541494223*c_\ 0101_6^3 + 107871054797180372658134173940811/8234222499639332390315\ 41494223*c_0101_6^2 - 17602777383536792424818828065775/823422249963\ 933239031541494223*c_0101_6 - 3831400071777897282895516999794/82342\ 2249963933239031541494223, c_0101_4 - 4608169452612390817930327087113/8234222499639332390315414942\ 23*c_0101_6^24 + 2852680459487858097550657309822/823422249963933239\ 031541494223*c_0101_6^23 + 19735705781912435155125544854858/8234222\ 49963933239031541494223*c_0101_6^22 + 214284173029426145031606739012165/823422249963933239031541494223*c_\ 0101_6^21 + 426906096813157208354773594259886/823422249963933239031\ 541494223*c_0101_6^20 + 176939658399510560558510379542621/823422249\ 963933239031541494223*c_0101_6^19 + 1455509519011273462635417237053978/823422249963933239031541494223*c\ _0101_6^18 - 731603647734835716673040457546497/82342224996393323903\ 1541494223*c_0101_6^17 - 7868815448704653919736523483527894/8234222\ 49963933239031541494223*c_0101_6^16 - 5750639504381284619083290547464/823422249963933239031541494223*c_01\ 01_6^15 + 6104906093130899487339132739461297/8234222499639332390315\ 41494223*c_0101_6^14 - 3424929979486203398937505523368084/823422249\ 963933239031541494223*c_0101_6^13 + 8175544376251793951704000528566943/823422249963933239031541494223*c\ _0101_6^12 + 12030378361314342216348494133734430/823422249963933239\ 031541494223*c_0101_6^11 - 13580426999905483387579467508670005/8234\ 22249963933239031541494223*c_0101_6^10 - 14710053911883774075575036170649395/823422249963933239031541494223*\ c_0101_6^9 + 4869871510252648739773427274231089/8234222499639332390\ 31541494223*c_0101_6^8 + 8885352561351197294262869120745899/8234222\ 49963933239031541494223*c_0101_6^7 + 1418122638167027910068719553311952/823422249963933239031541494223*c\ _0101_6^6 - 2890983721816198940516207584104573/82342224996393323903\ 1541494223*c_0101_6^5 - 1231175609897474726557367394039445/82342224\ 9963933239031541494223*c_0101_6^4 + 485642495335951069422300472786056/823422249963933239031541494223*c_\ 0101_6^3 + 232008471965753391046004977337005/8234222499639332390315\ 41494223*c_0101_6^2 - 28393891710714164830445511404163/823422249963\ 933239031541494223*c_0101_6 - 13484536972984978054577821218399/8234\ 22249963933239031541494223, c_0101_6^25 - c_0101_6^24 - 4*c_0101_6^23 - 45*c_0101_6^22 - 75*c_0101_6^21 - 5*c_0101_6^20 - 301*c_0101_6^19 + 284*c_0101_6^18 + 1635*c_0101_6^17 - 605*c_0101_6^16 - 1279*c_0101_6^15 + 1123*c_0101_6^14 - 2044*c_0101_6^13 - 1902*c_0101_6^12 + 3774*c_0101_6^11 + 2187*c_0101_6^10 - 2076*c_0101_6^9 - 1592*c_0101_6^8 + 321*c_0101_6^7 + 723*c_0101_6^6 + 64*c_0101_6^5 - 189*c_0101_6^4 - 18*c_0101_6^3 + 23*c_0101_6^2 + c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB