Magma V2.19-8 Tue Aug 20 2013 16:18:16 on localhost [Seed = 3153733263] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2474 geometric_solution 5.80756084 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.464199869106 0.416542913143 3 2 4 0 0132 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.555006109156 0.735167787486 1 5 0 4 1230 0132 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 -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.555006109156 0.735167787486 1 4 5 6 0132 0213 1230 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.618811584493 1.320730200826 2 5 3 1 3201 2031 0213 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 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 2.246325674291 0.132786527378 4 2 6 3 1302 0132 2310 3012 0 0 0 0 0 0 0 0 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 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.618811584493 1.320730200826 6 5 3 6 3012 3201 0132 1230 0 0 0 0 0 -1 0 1 -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 -1 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 0.838675427904 0.802470432424 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0011_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0011_2']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_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_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 94548182647000600879016850853895939459/3043044533118954935790463755\ 5145421100*c_0101_1^17 + 660385688749236818122643758217346612281/15\ 215222665594774678952318777572710550*c_0101_1^16 - 915551327504482443475459568958082604299/152152226655947746789523187\ 77572710550*c_0101_1^15 + 7332277419130598611597485319391606014817/\ 30430445331189549357904637555145421100*c_0101_1^14 - 231845914597434245999676659802436400613/468160697402916143967763654\ 694544940*c_0101_1^13 - 26161235176166783613437769878173917042161/3\ 0430445331189549357904637555145421100*c_0101_1^12 - 7223284803235815203283128531795597782447/27664041210172317598095125\ 05013220100*c_0101_1^11 - 10782562905462709307307507945483621665000\ 9/7607611332797387339476159388786355275*c_0101_1^10 - 41074071388696690474997183642147558996123/2766404121017231759809512\ 505013220100*c_0101_1^9 - 13877538887545683239685048801704926659699\ 4/7607611332797387339476159388786355275*c_0101_1^8 - 136931538712604806423378177287857873500657/760761133279738733947615\ 9388786355275*c_0101_1^7 - 3279932729552547009049003964474312849413\ 03/30430445331189549357904637555145421100*c_0101_1^6 - 28289583585265970659953408285405568922888/7607611332797387339476159\ 388786355275*c_0101_1^5 - 1660412756890652441409673430207248697671/\ 7607611332797387339476159388786355275*c_0101_1^4 + 27987818765304847466598565647074188466457/3043044533118954935790463\ 7555145421100*c_0101_1^3 + 2475373430535669841564633002040947858526\ 9/30430445331189549357904637555145421100*c_0101_1^2 + 3845768114344271975362839868828240080287/15215222665594774678952318\ 777572710550*c_0101_1 + 626027309628543893779313998030181547514/760\ 7611332797387339476159388786355275, c_0011_0 - 1, c_0011_1 + 52679615259196314545627395448665/212800317001325519985347115\ 7702477*c_0101_1^17 + 720232637742763362920653186859560/21280031700\ 13255199853471157702477*c_0101_1^16 - 2483082336941153225388110121408349/42560063400265103997069423154049\ 54*c_0101_1^15 + 4351089349180904829359825035101226/212800317001325\ 5199853471157702477*c_0101_1^14 - 738618712871981844112366011873319\ /163692551539481169219497781361729*c_0101_1^13 - 24349843499313757138302577586665257/4256006340026510399706942315404\ 954*c_0101_1^12 - 79579617078408565753768564115341607/4256006340026\ 510399706942315404954*c_0101_1^11 - 451705179246252165867808532837716679/425600634002651039970694231540\ 4954*c_0101_1^10 - 355167952893280636039219662234398969/42560063400\ 26510399706942315404954*c_0101_1^9 - 221883661124277852869178527386793123/212800317001325519985347115770\ 2477*c_0101_1^8 - 380971878013123560353023123748026759/425600634002\ 6510399706942315404954*c_0101_1^7 - 76986180237859085465646429241798462/2128003170013255199853471157702\ 477*c_0101_1^6 + 852353229366535235434523953623849/2128003170013255\ 199853471157702477*c_0101_1^5 + 43395237538083914999232702066725317\ /4256006340026510399706942315404954*c_0101_1^4 + 10194493161763516417618516415326863/2128003170013255199853471157702\ 477*c_0101_1^3 + 2377215410575645612769955850743798/212800317001325\ 5199853471157702477*c_0101_1^2 - 4776743102137817473854395162092359\ /4256006340026510399706942315404954*c_0101_1 - 729853396296092716577639495344641/425600634002651039970694231540495\ 4, c_0011_2 + 52679615259196314545627395448665/212800317001325519985347115\ 7702477*c_0101_1^17 + 720232637742763362920653186859560/21280031700\ 13255199853471157702477*c_0101_1^16 - 2483082336941153225388110121408349/42560063400265103997069423154049\ 54*c_0101_1^15 + 4351089349180904829359825035101226/212800317001325\ 5199853471157702477*c_0101_1^14 - 738618712871981844112366011873319\ /163692551539481169219497781361729*c_0101_1^13 - 24349843499313757138302577586665257/4256006340026510399706942315404\ 954*c_0101_1^12 - 79579617078408565753768564115341607/4256006340026\ 510399706942315404954*c_0101_1^11 - 451705179246252165867808532837716679/425600634002651039970694231540\ 4954*c_0101_1^10 - 355167952893280636039219662234398969/42560063400\ 26510399706942315404954*c_0101_1^9 - 221883661124277852869178527386793123/212800317001325519985347115770\ 2477*c_0101_1^8 - 380971878013123560353023123748026759/425600634002\ 6510399706942315404954*c_0101_1^7 - 76986180237859085465646429241798462/2128003170013255199853471157702\ 477*c_0101_1^6 + 852353229366535235434523953623849/2128003170013255\ 199853471157702477*c_0101_1^5 + 43395237538083914999232702066725317\ /4256006340026510399706942315404954*c_0101_1^4 + 10194493161763516417618516415326863/2128003170013255199853471157702\ 477*c_0101_1^3 + 2377215410575645612769955850743798/212800317001325\ 5199853471157702477*c_0101_1^2 - 4776743102137817473854395162092359\ /4256006340026510399706942315404954*c_0101_1 - 729853396296092716577639495344641/425600634002651039970694231540495\ 4, c_0011_4 - 703980841384278705956136754738827/55328082420344635196190250\ 100264402*c_0101_1^17 - 4569214323265481074095196582891290/27664041\ 210172317598095125050132201*c_0101_1^16 + 11541451157992536824520963152454526/2766404121017231759809512505013\ 2201*c_0101_1^15 - 71822251551398959694406013489965485/553280824203\ 44635196190250100264402*c_0101_1^14 + 13186787257381359731728326169058587/4256006340026510399706942315404\ 954*c_0101_1^13 + 62467387550677267950108212373677591/5532808242034\ 4635196190250100264402*c_0101_1^12 + 444398906469489062358531361331615011/553280824203446351961902501002\ 64402*c_0101_1^11 + 1347608116098757013951401565399839708/276640412\ 10172317598095125050132201*c_0101_1^10 + 427816650777164981952973953775505217/553280824203446351961902501002\ 64402*c_0101_1^9 + 1012842329997964948452333300520728783/2766404121\ 0172317598095125050132201*c_0101_1^8 + 631316708330276234394361187328123933/276640412101723175980951250501\ 32201*c_0101_1^7 + 67397227656479962462403455720576613/553280824203\ 44635196190250100264402*c_0101_1^6 - 110332046992529253489102310060156885/276640412101723175980951250501\ 32201*c_0101_1^5 + 43157751152469426064834336096876039/276640412101\ 72317598095125050132201*c_0101_1^4 + 5245226374268455153312142113306871/55328082420344635196190250100264\ 402*c_0101_1^3 - 14955116726567376146552432057496213/55328082420344\ 635196190250100264402*c_0101_1^2 + 14627091314478295564815376138210201/2766404121017231759809512505013\ 2201*c_0101_1 + 9891378390464424236014121018177006/2766404121017231\ 7598095125050132201, c_0011_6 - 1266115399882527454720288754191491/5532808242034463519619025\ 0100264402*c_0101_1^17 - 17409368778755176315237486595883677/553280\ 82420344635196190250100264402*c_0101_1^16 + 14235383080714476817996004693444528/2766404121017231759809512505013\ 2201*c_0101_1^15 - 102532378969058633000149771035687391/55328082420\ 344635196190250100264402*c_0101_1^14 + 8517716469915180360127623210545826/21280031700132551998534711577024\ 77*c_0101_1^13 + 156008758218417473690807224500783355/2766404121017\ 2317598095125050132201*c_0101_1^12 + 486960315741769558134135624377956382/276640412101723175980951250501\ 32201*c_0101_1^11 + 5523033542048048266560640325726238829/553280824\ 20344635196190250100264402*c_0101_1^10 + 4735060317372760892513111506637703701/55328082420344635196190250100\ 264402*c_0101_1^9 + 5792522345495693751901858907827067317/553280824\ 20344635196190250100264402*c_0101_1^8 + 2747277791810076088727369320398011555/27664041210172317598095125050\ 132201*c_0101_1^7 + 2611821048350516889334180700108237669/553280824\ 20344635196190250100264402*c_0101_1^6 + 408973281407661179989435806123140187/553280824203446351961902501002\ 64402*c_0101_1^5 - 67754279044545635918239357442914785/276640412101\ 72317598095125050132201*c_0101_1^4 - 285191104592719681417916074637714801/553280824203446351961902501002\ 64402*c_0101_1^3 - 74888592949616933675342652686501554/276640412101\ 72317598095125050132201*c_0101_1^2 - 34305035137559778467111659941244575/5532808242034463519619025010026\ 4402*c_0101_1 - 3849688321610110634993164095597642/2766404121017231\ 7598095125050132201, c_0101_0 - 430863089424417336355378522926509/27664041210172317598095125\ 050132201*c_0101_1^17 - 11414324837074105429032293433509691/5532808\ 2420344635196190250100264402*c_0101_1^16 + 12532070570907722263336487911287461/2766404121017231759809512505013\ 2201*c_0101_1^15 - 41824712217917935246840102876200512/276640412101\ 72317598095125050132201*c_0101_1^14 + 14687379425996145734518361067091619/4256006340026510399706942315404\ 954*c_0101_1^13 + 117206896172142036645821157210786715/553280824203\ 44635196190250100264402*c_0101_1^12 + 593824857497265738085697353531576645/553280824203446351961902501002\ 64402*c_0101_1^11 + 3527020973753675475860844000416644151/553280824\ 20344635196190250100264402*c_0101_1^10 + 776980809179935443939300151501880009/276640412101723175980951250501\ 32201*c_0101_1^9 + 3645213987242217365442065174237423907/5532808242\ 0344635196190250100264402*c_0101_1^8 + 1624111185536104229578466292744136184/27664041210172317598095125050\ 132201*c_0101_1^7 + 571539330440020310537841719625214021/2766404121\ 0172317598095125050132201*c_0101_1^6 + 812327992150164184393446973313908139/553280824203446351961902501002\ 64402*c_0101_1^5 + 170191856516229119578768498632501902/27664041210\ 172317598095125050132201*c_0101_1^4 - 63262513171148628680998501145743615/2766404121017231759809512505013\ 2201*c_0101_1^3 - 119048337332571380294465380698397035/553280824203\ 44635196190250100264402*c_0101_1^2 - 7410125172244857598152264013804177/55328082420344635196190250100264\ 402*c_0101_1 - 14534177052087650438408127583089349/2766404121017231\ 7598095125050132201, c_0101_1^18 + 14*c_0101_1^17 - 19*c_0101_1^16 + 76*c_0101_1^15 - 157*c_0101_1^14 - 284*c_0101_1^13 - 847*c_0101_1^12 - 4552*c_0101_1^11 - 4851*c_0101_1^10 - 5671*c_0101_1^9 - 5311*c_0101_1^8 - 3074*c_0101_1^7 - 610*c_0101_1^6 + 361*c_0101_1^5 + 452*c_0101_1^4 + 249*c_0101_1^3 + 47*c_0101_1^2 - 10*c_0101_1 - 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB