Magma V2.19-8 Tue Aug 20 2013 16:17:56 on localhost [Seed = 2429619287] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2160 geometric_solution 5.63683783 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 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 -2 0 2 0 0 -1 1 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.498810365933 0.243410901707 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 0 0 0 -1 0 0 1 -1 -1 0 2 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.881994294461 0.546728647450 1 4 5 5 0132 0132 0132 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 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.178386403049 1.324605332910 6 6 4 1 0132 3201 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 0 0 0 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.178386403049 1.324605332910 4 2 4 3 2310 0132 3201 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 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.584175259446 0.771586769154 6 2 6 2 1302 2310 2031 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 -1 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 0 0 0 -0.659930816427 1.008872780869 3 5 3 5 0132 2031 2310 1302 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 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.659930816427 1.008872780869 ==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' : negation(d['1']), 's_3_5' : negation(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' : negation(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' : 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' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_1']), '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' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], '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_1'], '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_0101_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 809548859572404012940124263172173/1869281222601477871611484136*c_01\ 01_3^25 + 21377212709372324776464485032969259/747712489040591148644\ 5936544*c_0101_3^24 + 64856057565756624725775939912378039/747712489\ 0405911486445936544*c_0101_3^23 - 115033128148880846794767582829640\ 287/3738562445202955743222968272*c_0101_3^22 + 5459071141834387086652270523233819/1869281222601477871611484136*c_0\ 101_3^21 + 1285452168912888244152679662306347507/373856244520295574\ 3222968272*c_0101_3^20 - 112772714634090203575349029798109003/93464\ 0611300738935805742068*c_0101_3^19 - 15884258832456412890414153091983481627/7477124890405911486445936544\ *c_0101_3^18 - 5727045238491208995138469165720848371/37385624452029\ 55743222968272*c_0101_3^17 + 13957382212759646955186570051689656069\ /7477124890405911486445936544*c_0101_3^16 - 39036419318937681856409210496926971/133520087328676990829391724*c_0\ 101_3^15 - 18782007911670182786990125328797461003/74771248904059114\ 86445936544*c_0101_3^14 + 10278622087870191742626913580902940195/18\ 69281222601477871611484136*c_0101_3^13 + 65464417160232745624543312578093942403/7477124890405911486445936544\ *c_0101_3^12 + 505790671762550528622858569222686429/267040174657353\ 981658783448*c_0101_3^11 + 10946203889682922047197750320616563359/3\ 738562445202955743222968272*c_0101_3^10 + 12244011441377401783790867136743076069/1869281222601477871611484136\ *c_0101_3^9 + 2717759416528570188597764439518504691/373856244520295\ 5743222968272*c_0101_3^8 - 13034217047651204164501076649219561549/3\ 738562445202955743222968272*c_0101_3^7 - 3993983874083610742169148028018188769/3738562445202955743222968272*\ c_0101_3^6 + 4129143570669672203959370475776113279/7477124890405911\ 486445936544*c_0101_3^5 + 945595759761267161464898951175055447/7477\ 124890405911486445936544*c_0101_3^4 - 477744128797450821706929827323010619/7477124890405911486445936544*c\ _0101_3^3 + 3533231563751450942172107837143587/93464061130073893580\ 5742068*c_0101_3^2 + 41267656261594045700101182711927099/7477124890\ 405911486445936544*c_0101_3 - 5384243933636107277805313885529697/74\ 77124890405911486445936544, c_0011_0 - 1, c_0011_1 - 1881194595597519355745125/1136109112425351339551*c_0101_3^25 + 86751120283602142426986089/7952763786977459376857*c_0101_3^24 + 265048213424859680988079905/7952763786977459376857*c_0101_3^23 - 133252391468473156619062026/1136109112425351339551*c_0101_3^22 + 74201319328625582173175594/7952763786977459376857*c_0101_3^21 + 1495003946796667732840797856/1136109112425351339551*c_0101_3^20 - 3531489074626160105855064938/7952763786977459376857*c_0101_3^19 - 64729952098793573559993483144/7952763786977459376857*c_0101_3^18 - 47382632618773163429050948178/7952763786977459376857*c_0101_3^17 + 56616756052231504636853866516/7952763786977459376857*c_0101_3^16 - 8020998773980236407907917348/7952763786977459376857*c_0101_3^15 - 77038698404393404725982197095/7952763786977459376857*c_0101_3^14 + 166553524090441983978518568548/7952763786977459376857*c_0101_3^13 + 268911541413828701891110186329/7952763786977459376857*c_0101_3^12 + 59579803176529946300125322938/7952763786977459376857*c_0101_3^11 + 88583160296055453577055182231/7952763786977459376857*c_0101_3^10 + 200661591250317913107627702630/7952763786977459376857*c_0101_3^9 + 23914268067744819002713942707/7952763786977459376857*c_0101_3^8 - 106829017279946873817741242478/7952763786977459376857*c_0101_3^7 - 4776258944772273278246666680/1136109112425351339551*c_0101_3^6 + 16935217776112118376754857482/7952763786977459376857*c_0101_3^5 + 569657952667239228838094293/1136109112425351339551*c_0101_3^4 - 1978506723136920578824201442/7952763786977459376857*c_0101_3^3 + 110292137383933204260409902/7952763786977459376857*c_0101_3^2 + 172324073476631961796751682/7952763786977459376857*c_0101_3 - 22381921453239427077664382/7952763786977459376857, c_0011_3 + 276849667738816980707124276489/169934656600134351964680376*c\ _0101_3^25 - 3651014997659510986632966097081/3398693132002687039293\ 60752*c_0101_3^24 - 11120543054603439571594418854031/33986931320026\ 8703929360752*c_0101_3^23 + 19635947258447980047835110379055/169934\ 656600134351964680376*c_0101_3^22 - 211852636795214269814076566842/21241832075016793995585047*c_0101_3^\ 21 - 219917435763435307384106511129219/169934656600134351964680376*\ c_0101_3^20 + 75505343805817348895701799701577/16993465660013435196\ 4680376*c_0101_3^19 + 2719197025867762836215339527116435/3398693132\ 00268703929360752*c_0101_3^18 + 35314603722339073308130735817867/60\ 69094878576226855881442*c_0101_3^17 - 2382909159231643995313863991920129/339869313200268703929360752*c_01\ 01_3^16 + 176602433836621510956820675593361/16993465660013435196468\ 0376*c_0101_3^15 + 3226827591253396272527128236050791/3398693132002\ 68703929360752*c_0101_3^14 - 3507304289511387727921108433626683/169\ 934656600134351964680376*c_0101_3^13 - 1608199767532158070409371150460609/48552759028609814847051536*c_010\ 1_3^12 - 154358573068285108598911595523438/212418320750167939955850\ 47*c_0101_3^11 - 1866663473130575038900044064087287/169934656600134\ 351964680376*c_0101_3^10 - 150170717188745847385523604797893/606909\ 4878576226855881442*c_0101_3^9 - 486485831847862261241563282470713/\ 169934656600134351964680376*c_0101_3^8 + 2238159035497824115552849422751971/169934656600134351964680376*c_01\ 01_3^7 + 86799342533116836350510463102658/2124183207501679399558504\ 7*c_0101_3^6 - 709236163709354078064975568793397/339869313200268703\ 929360752*c_0101_3^5 - 165167428363620638385812058740953/3398693132\ 00268703929360752*c_0101_3^4 + 82527894160054734650295999932751/339\ 869313200268703929360752*c_0101_3^3 - 2353607575092776595823524568061/169934656600134351964680376*c_0101_\ 3^2 - 7166555561519493861677182539353/339869313200268703929360752*c\ _0101_3 + 932257238629320042339766298485/33986931320026870392936075\ 2, c_0011_5 + 276849667738816980707124276489/169934656600134351964680376*c\ _0101_3^25 - 3651014997659510986632966097081/3398693132002687039293\ 60752*c_0101_3^24 - 11120543054603439571594418854031/33986931320026\ 8703929360752*c_0101_3^23 + 19635947258447980047835110379055/169934\ 656600134351964680376*c_0101_3^22 - 211852636795214269814076566842/21241832075016793995585047*c_0101_3^\ 21 - 219917435763435307384106511129219/169934656600134351964680376*\ c_0101_3^20 + 75505343805817348895701799701577/16993465660013435196\ 4680376*c_0101_3^19 + 2719197025867762836215339527116435/3398693132\ 00268703929360752*c_0101_3^18 + 35314603722339073308130735817867/60\ 69094878576226855881442*c_0101_3^17 - 2382909159231643995313863991920129/339869313200268703929360752*c_01\ 01_3^16 + 176602433836621510956820675593361/16993465660013435196468\ 0376*c_0101_3^15 + 3226827591253396272527128236050791/3398693132002\ 68703929360752*c_0101_3^14 - 3507304289511387727921108433626683/169\ 934656600134351964680376*c_0101_3^13 - 1608199767532158070409371150460609/48552759028609814847051536*c_010\ 1_3^12 - 154358573068285108598911595523438/212418320750167939955850\ 47*c_0101_3^11 - 1866663473130575038900044064087287/169934656600134\ 351964680376*c_0101_3^10 - 150170717188745847385523604797893/606909\ 4878576226855881442*c_0101_3^9 - 486485831847862261241563282470713/\ 169934656600134351964680376*c_0101_3^8 + 2238159035497824115552849422751971/169934656600134351964680376*c_01\ 01_3^7 + 86799342533116836350510463102658/2124183207501679399558504\ 7*c_0101_3^6 - 709236163709354078064975568793397/339869313200268703\ 929360752*c_0101_3^5 - 165167428363620638385812058740953/3398693132\ 00268703929360752*c_0101_3^4 + 82527894160054734650295999932751/339\ 869313200268703929360752*c_0101_3^3 - 2353607575092776595823524568061/169934656600134351964680376*c_0101_\ 3^2 - 7166555561519493861677182539353/339869313200268703929360752*c\ _0101_3 + 932257238629320042339766298485/33986931320026870392936075\ 2, c_0101_0 - 20967039120676938388998593449/339869313200268703929360752*c_\ 0101_3^25 + 75363844721216312497616352013/1699346566001343519646803\ 76*c_0101_3^24 + 331135438687629818815296890373/3398693132002687039\ 29360752*c_0101_3^23 - 840997857443078095325267957225/1699346566001\ 34351964680376*c_0101_3^22 + 566831799087145850789012617213/1699346\ 56600134351964680376*c_0101_3^21 + 7978660383437780196649316713793/169934656600134351964680376*c_0101_\ 3^20 - 15195723490614088050771506945047/339869313200268703929360752\ *c_0101_3^19 - 93705065352555380178089023305089/3398693132002687039\ 29360752*c_0101_3^18 - 19350114677556577433844887069397/33986931320\ 0268703929360752*c_0101_3^17 + 14348363607703789661089814877939/485\ 52759028609814847051536*c_0101_3^16 - 73425255971578377386121370622991/339869313200268703929360752*c_0101\ _3^15 - 11020332371484799319001795614649/48552759028609814847051536\ *c_0101_3^14 + 310531749643261079960508066925707/339869313200268703\ 929360752*c_0101_3^13 + 240485472754039147061595098564155/339869313\ 200268703929360752*c_0101_3^12 - 22643087669375753994216413496607/1\ 69934656600134351964680376*c_0101_3^11 + 85880173395898821889655584192817/169934656600134351964680376*c_0101\ _3^10 + 107900321357498643102602551716157/1699346566001343519646803\ 76*c_0101_3^9 - 22292554811786873790557669004295/849673283000671759\ 82340188*c_0101_3^8 - 14177333713392569593104929867849/424836641500\ 33587991170094*c_0101_3^7 + 13769297151072551315329619828853/339869\ 313200268703929360752*c_0101_3^6 + 8531247450562197150717960891465/169934656600134351964680376*c_0101_\ 3^5 - 943513988338622847630229094127/84967328300067175982340188*c_0\ 101_3^4 - 639077247727651518337658211795/33986931320026870392936075\ 2*c_0101_3^3 + 74263519002528489149333031141/4855275902860981484705\ 1536*c_0101_3^2 - 3367279921598929551438466069/24276379514304907423\ 525768*c_0101_3 - 810266825712996122330793069/339869313200268703929\ 360752, c_0101_1 + 31893538450378415944504734/7952763786977459376857*c_0101_3^2\ 5 - 30012343854780896588759609/1136109112425351339551*c_0101_3^24 - 642109636109217848973782442/7952763786977459376857*c_0101_3^23 + 2258780191256684708711481843/7952763786977459376857*c_0101_3^22 - 177846066763749638375877237/7952763786977459376857*c_0101_3^21 - 25347398935966851867512076089/7952763786977459376857*c_0101_3^20 + 8535557156764872964670049031/7952763786977459376857*c_0101_3^19 + 22398836068090141603951075927/1136109112425351339551*c_0101_3^18 + 114863377088217744980282665847/7952763786977459376857*c_0101_3^17 - 137104338906620663558085551991/7952763786977459376857*c_0101_3^16 + 19315776106563357139671605663/7952763786977459376857*c_0101_3^15 + 186668415828915707035777195623/7952763786977459376857*c_0101_3^14 - 403305419475606756326794589200/7952763786977459376857*c_0101_3^13 - 651642618150126003785903344918/7952763786977459376857*c_0101_3^12 - 144564794463809048915703608633/7952763786977459376857*c_0101_3^11 - 214495334761774223103321166565/7952763786977459376857*c_0101_3^10 - 486188615473943789280668870594/7952763786977459376857*c_0101_3^9 - 58157746117651934044941845620/7952763786977459376857*c_0101_3^8 + 258837775817471920123430239741/7952763786977459376857*c_0101_3^7 + 81101113996290795832696103543/7952763786977459376857*c_0101_3^6 - 41033445385206172368512452111/7952763786977459376857*c_0101_3^5 - 9677029609856688493472918677/7952763786977459376857*c_0101_3^4 + 4796404864575418245160126074/7952763786977459376857*c_0101_3^3 - 266415065408224390775545912/7952763786977459376857*c_0101_3^2 - 417968716846307277945326059/7952763786977459376857*c_0101_3 + 54283412667404820481545973/7952763786977459376857, c_0101_3^26 - 6*c_0101_3^25 - 24*c_0101_3^24 + 59*c_0101_3^23 + 36*c_0101_3^22 - 798*c_0101_3^21 - 199*c_0101_3^20 + 5073*c_0101_3^19 + 6488*c_0101_3^18 - 2183*c_0101_3^17 - 1918*c_0101_3^16 + 6207*c_0101_3^15 - 9208*c_0101_3^14 - 27855*c_0101_3^13 - 16533*c_0101_3^12 - 9390*c_0101_3^11 - 19192*c_0101_3^10 - 10776*c_0101_3^9 + 7042*c_0101_3^8 + 7309*c_0101_3^7 + 208*c_0101_3^6 - 1059*c_0101_3^5 - 28*c_0101_3^4 + 80*c_0101_3^3 - 18*c_0101_3^2 - 6*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB