Magma V2.19-8 Tue Aug 20 2013 16:18:52 on localhost [Seed = 4105529730] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3028 geometric_solution 6.19707051 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 2310 0132 3201 0 0 0 0 0 0 1 -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 1 0 -1 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.247454437523 0.788658423620 0 3 5 4 0132 0132 0132 0132 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 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.405935662797 0.662884841101 4 5 3 0 3201 0132 0132 0132 0 0 0 0 0 1 0 -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 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.405935662797 0.662884841101 6 1 6 2 0132 0132 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 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.802343532382 1.117560003464 4 4 1 2 1302 2031 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 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.353100884420 0.786636790879 5 2 5 1 2031 0132 1302 0132 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 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.960532564277 0.952383077463 3 3 6 6 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.445490136660 0.302779528085 ==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_0101_2'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0011_2'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_4']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_0']), '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' : d['c_0011_2'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_1001_1'], 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0101_1, c_0101_2, c_0101_3, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 34378680790669770576217460550254861081403941/1437851864040910239505\ 784419314579771931538324*c_1001_1^18 + 642511769021190640775596962385751377708819361/718925932020455119752\ 892209657289885965769162*c_1001_1^17 - 978721417729457368152256741198503603567550249/718925932020455119752\ 892209657289885965769162*c_1001_1^16 + 3798250551462697546873205451248947621511842145/71892593202045511975\ 2892209657289885965769162*c_1001_1^15 - 1215587642722478921252072075108376626612512307/14378518640409102395\ 05784419314579771931538324*c_1001_1^14 + 1247485845203662110655864363520271990980729746/35946296601022755987\ 6446104828644942982884581*c_1001_1^13 + 20095799864289008471941402337626204622828007337/1437851864040910239\ 505784419314579771931538324*c_1001_1^12 - 42221550033479382578238666953375975160106857081/1437851864040910239\ 505784419314579771931538324*c_1001_1^11 + 18366953194129328894206777873414226210433841213/3594629660102275598\ 76446104828644942982884581*c_1001_1^10 - 125502333724336887395903056452680220555641771253/143785186404091023\ 9505784419314579771931538324*c_1001_1^9 + 34199123737279620996474879568459451193360699593/1437851864040910239\ 505784419314579771931538324*c_1001_1^8 - 44166685951658463983611743090487835049459269401/1437851864040910239\ 505784419314579771931538324*c_1001_1^7 - 32018026342603289154860646986815162107375359499/7189259320204551197\ 52892209657289885965769162*c_1001_1^6 + 55198827784645739374829914459217763421142385229/1437851864040910239\ 505784419314579771931538324*c_1001_1^5 - 13327169958117103525251110926468833477526628525/3594629660102275598\ 76446104828644942982884581*c_1001_1^4 + 33828102787568517457923855610429761015469658623/1437851864040910239\ 505784419314579771931538324*c_1001_1^3 + 8207548733174678830734545564432037515543949329/14378518640409102395\ 05784419314579771931538324*c_1001_1^2 - 3048154453197415344955547720428328769301171875/14378518640409102395\ 05784419314579771931538324*c_1001_1 + 26443655323378279008911772315220943851102323871/1437851864040910239\ 505784419314579771931538324, c_0011_0 - 1, c_0011_2 + 22517970040801127999638783744526816838103/182006565068469650\ 57035245814108604707994156*c_1001_1^18 - 834212949230478710549281115311145411858211/182006565068469650570352\ 45814108604707994156*c_1001_1^17 + 1003706466736720957355439976854410165870119/18200656506846965057035\ 245814108604707994156*c_1001_1^16 - 4587188171536591257965157120091156563370641/18200656506846965057035\ 245814108604707994156*c_1001_1^15 - 199223028306145087514446512700766138335209/455016412671174126425881\ 1453527151176998539*c_1001_1^14 - 157851674616698924799298126379497\ 3443647347/9100328253423482528517622907054302353997078*c_1001_1^13 - 14324418605675990053986957760331719896087361/1820065650684696505703\ 5245814108604707994156*c_1001_1^12 + 11798450441303909517376871140442854252355453/9100328253423482528517\ 622907054302353997078*c_1001_1^11 - 20070623363565649284072671449224416218939227/9100328253423482528517\ 622907054302353997078*c_1001_1^10 + 68379935557412048046267263399622567932834511/1820065650684696505703\ 5245814108604707994156*c_1001_1^9 + 876390921131101971089801951332075031268721/910032825342348252851762\ 2907054302353997078*c_1001_1^8 + 2207499909319995491900018538684769\ 8793427823/18200656506846965057035245814108604707994156*c_1001_1^7 + 54955482091255046311236599691232695606804261/1820065650684696505703\ 5245814108604707994156*c_1001_1^6 - 17695641812350639711182628187228369439108751/9100328253423482528517\ 622907054302353997078*c_1001_1^5 + 9393131923105738709948243318241016261512560/45501641267117412642588\ 11453527151176998539*c_1001_1^4 - 329119727176350424399437679253327\ 45581003533/18200656506846965057035245814108604707994156*c_1001_1^3 + 997101205847812112021969592108422555474258/4550164126711741264258\ 811453527151176998539*c_1001_1^2 + 12481607332977292525468354444503380152472361/1820065650684696505703\ 5245814108604707994156*c_1001_1 - 945009031063494504692381356180503\ 2380126559/9100328253423482528517622907054302353997078, c_0011_4 - 57474524103581456696788787780311004423755/182006565068469650\ 57035245814108604707994156*c_1001_1^18 + 2135766761919834794273770419739336299339343/18200656506846965057035\ 245814108604707994156*c_1001_1^17 - 2793840093173983656079983226675446194998591/18200656506846965057035\ 245814108604707994156*c_1001_1^16 + 11612096630935012601465981616347816530053421/1820065650684696505703\ 5245814108604707994156*c_1001_1^15 + 417085281473820357324559748097470853478612/455016412671174126425881\ 1453527151176998539*c_1001_1^14 + 264464370084529075603174520186816\ 6278496475/9100328253423482528517622907054302353997078*c_1001_1^13 + 37829277911479071236102730249209800213765617/1820065650684696505703\ 5245814108604707994156*c_1001_1^12 - 32324040355462775489830141970202929312908103/9100328253423482528517\ 622907054302353997078*c_1001_1^11 + 51964976419444548311799943965640302408171269/9100328253423482528517\ 622907054302353997078*c_1001_1^10 - 166620619692647956371965418601706779070409311/182006565068469650570\ 35245814108604707994156*c_1001_1^9 - 9228681350143325407215149870083805991498749/91003282534234825285176\ 22907054302353997078*c_1001_1^8 - 665346544014908722016761181515793\ 0183895623/18200656506846965057035245814108604707994156*c_1001_1^7 - 166983776602170051271099675155216814070358197/182006565068469650570\ 35245814108604707994156*c_1001_1^6 + 48222854049394175581501895357730402169630857/9100328253423482528517\ 622907054302353997078*c_1001_1^5 - 20436038097198675344879278816567965403616241/4550164126711741264258\ 811453527151176998539*c_1001_1^4 + 34429074454497563300005921885380303779854597/1820065650684696505703\ 5245814108604707994156*c_1001_1^3 + 9112071997295628075095611334545835215985517/45501641267117412642588\ 11453527151176998539*c_1001_1^2 - 343302177602377450593836553866816\ 71770097689/18200656506846965057035245814108604707994156*c_1001_1 + 24314285184109556472103332411719742389621563/9100328253423482528517\ 622907054302353997078, c_0101_1 + 9052281615807187087107563321665856135703/9100328253423482528\ 517622907054302353997078*c_1001_1^18 - 332928049288946291276036699465281423115255/910032825342348252851762\ 2907054302353997078*c_1001_1^17 + 154384614062949807392447414541172\ 244210123/4550164126711741264258811453527151176998539*c_1001_1^16 - 1556216244355579982197443777592328503425357/91003282534234825285176\ 22907054302353997078*c_1001_1^15 - 1116731589838648426524002445129353028731617/91003282534234825285176\ 22907054302353997078*c_1001_1^14 - 102476873251351507728541495755951445528641/455016412671174126425881\ 1453527151176998539*c_1001_1^13 - 658841533497599847721601749642829\ 1588485321/9100328253423482528517622907054302353997078*c_1001_1^12 + 4565383803053103099005419042020113824595446/45501641267117412642588\ 11453527151176998539*c_1001_1^11 - 11260407354595066890803347992111765836767141/9100328253423482528517\ 622907054302353997078*c_1001_1^10 + 8587652228462039536240246707541359692851678/45501641267117412642588\ 11453527151176998539*c_1001_1^9 + 206963411720092961084627111379328\ 93234932107/9100328253423482528517622907054302353997078*c_1001_1^8 - 11932833042592302508863121443169568320249775/9100328253423482528517\ 622907054302353997078*c_1001_1^7 + 37909660279206712482651118528298678106610299/9100328253423482528517\ 622907054302353997078*c_1001_1^6 - 22443634377995559774433615865741814894568513/9100328253423482528517\ 622907054302353997078*c_1001_1^5 + 5708091042250978064598537768750631416394033/45501641267117412642588\ 11453527151176998539*c_1001_1^4 - 586739811517053499275673818990372\ 838006229/9100328253423482528517622907054302353997078*c_1001_1^3 - 6768669236767891516916995222420369355032177/45501641267117412642588\ 11453527151176998539*c_1001_1^2 + 358145346087542079169383329650100\ 9762599332/4550164126711741264258811453527151176998539*c_1001_1 - 7491720200978216961244173127292657357781237/91003282534234825285176\ 22907054302353997078, c_0101_2 + 9822010262582346536977898798533/1054572969307127845413882360\ 8974492*c_1001_1^18 - 370897874672232524282253937448957/10545729693\ 071278454138823608974492*c_1001_1^17 + 698767940189119889813852199585867/105457296930712784541388236089744\ 92*c_1001_1^16 - 2340762618567583861244050184756071/105457296930712\ 78454138823608974492*c_1001_1^15 + 598613561172397391268813605846361/527286484653563922706941180448724\ 6*c_1001_1^14 - 785859703037548580087954318781125/52728648465356392\ 27069411804487246*c_1001_1^13 - 4395041418440955949334490360625151/\ 10545729693071278454138823608974492*c_1001_1^12 + 6771429584383947619334401903985433/52728648465356392270694118044872\ 46*c_1001_1^11 - 6041253928293377922875356486837916/263643242326781\ 9613534705902243623*c_1001_1^10 + 444076464620343797235227118427828\ 63/10545729693071278454138823608974492*c_1001_1^9 - 6422686801118871493473171542950914/26364324232678196135347059022436\ 23*c_1001_1^8 + 23561892138815376906114426835859073/105457296930712\ 78454138823608974492*c_1001_1^7 - 212222467395177608459915043593798\ 9/10545729693071278454138823608974492*c_1001_1^6 - 2425512359888954604470946160912683/26364324232678196135347059022436\ 23*c_1001_1^5 + 3805022588733817652403179508662530/2636432423267819\ 613534705902243623*c_1001_1^4 - 30296012643880595474623635995679671\ /10545729693071278454138823608974492*c_1001_1^3 + 1846347256920749091634162937412666/26364324232678196135347059022436\ 23*c_1001_1^2 - 8475251426995968188641956916283583/1054572969307127\ 8454138823608974492*c_1001_1 - 632309256769346704602534367980053/26\ 36432423267819613534705902243623, c_0101_3 + 1042082971738509523170945767689/1054572969307127845413882360\ 8974492*c_1001_1^18 - 41077657783050122449222603197563/105457296930\ 71278454138823608974492*c_1001_1^17 + 151055577226508524312344562192563/105457296930712784541388236089744\ 92*c_1001_1^16 - 815155587742306738259234739764209/1054572969307127\ 8454138823608974492*c_1001_1^15 + 710799733859259665585603322786631\ /5272864846535639227069411804487246*c_1001_1^14 - 1528531367560666479760106938570469/52728648465356392270694118044872\ 46*c_1001_1^13 + 1335912832051345768900005335495781/105457296930712\ 78454138823608974492*c_1001_1^12 + 316470516610025115581901492806747/263643242326781961353470590224362\ 3*c_1001_1^11 - 4910571485323646211607060326215909/5272864846535639\ 227069411804487246*c_1001_1^10 + 2630334408819170552212122592563723\ 3/10545729693071278454138823608974492*c_1001_1^9 - 9611323812986141467756696288178205/26364324232678196135347059022436\ 23*c_1001_1^8 + 56389972755104075818372210170973305/105457296930712\ 78454138823608974492*c_1001_1^7 - 324888259946999667781822334460519\ 75/10545729693071278454138823608974492*c_1001_1^6 + 3407206771122648031618024860821175/26364324232678196135347059022436\ 23*c_1001_1^5 - 700522109784481443641676778848275/26364324232678196\ 13534705902243623*c_1001_1^4 - 20308365480350571380007617619488447/\ 10545729693071278454138823608974492*c_1001_1^3 + 9423562082275244798146237184177315/52728648465356392270694118044872\ 46*c_1001_1^2 - 21450704976379164420792823091851169/105457296930712\ 78454138823608974492*c_1001_1 + 1973445777977524393477718072869466/\ 2636432423267819613534705902243623, c_1001_1^19 - 38*c_1001_1^18 + 80*c_1001_1^17 - 250*c_1001_1^16 + 161*c_1001_1^15 - 128*c_1001_1^14 - 513*c_1001_1^13 + 1617*c_1001_1^12 - 2830*c_1001_1^11 + 4767*c_1001_1^10 - 2883*c_1001_1^9 + 1205*c_1001_1^8 + 1490*c_1001_1^7 - 3195*c_1001_1^6 + 2808*c_1001_1^5 - 2183*c_1001_1^4 + 535*c_1001_1^3 + 261*c_1001_1^2 - 969*c_1001_1 + 632 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB