Magma V2.19-8 Tue Aug 20 2013 16:14:23 on localhost [Seed = 2328565416] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s376 geometric_solution 4.59393807 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 0 0 1 0132 1230 3012 3201 0 0 0 0 0 -1 0 1 -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 -1 0 1 -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.260468005308 0.145854835281 0 0 2 2 0132 2310 2310 0132 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 -1 1 0 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 2.139883970723 1.546072785975 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 -1 0 1 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 1 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.577571386874 0.543929109558 2 4 4 5 0132 0321 1302 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 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.626350493062 0.679831620677 3 5 2 3 2031 1023 0132 0321 0 0 0 0 0 0 -1 1 -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.626350493062 0.679831620677 4 5 3 5 1023 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.786468926251 0.439064635800 ==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' : 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' : d['1'], 's_2_4' : d['1'], 's_2_5' : 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_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_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_2'], 'c_1010_5' : negation(d['c_0110_5']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0101_0, c_0101_1, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 5011395038904177082888497281279693325432439/11786229626299583370322\ 6685180274815049855*c_0110_5^22 - 121875872111832810808949141207658\ 01873688217/39287432087665277901075561726758271683285*c_0110_5^21 - 16263563837190627072189851880881135757508786/1178622962629958337032\ 26685180274815049855*c_0110_5^20 + 252577390950486494014077159575333054964391361/117862296262995833703\ 226685180274815049855*c_0110_5^19 + 604145905151046831546418511028320967965536226/117862296262995833703\ 226685180274815049855*c_0110_5^18 - 351201454256542568396602694981371593505901263/117862296262995833703\ 226685180274815049855*c_0110_5^17 - 2570178488525553420160672585440956673222794263/11786229626299583370\ 3226685180274815049855*c_0110_5^16 - 252483635329288451995442701737158101046163452/392874320876652779010\ 75561726758271683285*c_0110_5^15 + 2528145402708535096862851452355541313430624442/39287432087665277901\ 075561726758271683285*c_0110_5^14 + 1307846514294080273892384452847227846241769121/39287432087665277901\ 075561726758271683285*c_0110_5^13 - 5343798381843308953128879315297428552754336708/39287432087665277901\ 075561726758271683285*c_0110_5^12 - 5649158550691349042283982393549754704468833912/39287432087665277901\ 075561726758271683285*c_0110_5^11 - 187414360132458677739346544365313885016002629/117862296262995833703\ 226685180274815049855*c_0110_5^10 + 7009281400334686908039451996412300721944289758/11786229626299583370\ 3226685180274815049855*c_0110_5^9 - 6845796726080230575665790889686804769496223281/11786229626299583370\ 3226685180274815049855*c_0110_5^8 - 5392275741253215300193038813914064724072306549/11786229626299583370\ 3226685180274815049855*c_0110_5^7 + 3267721665369802861668168699942147801129816643/39287432087665277901\ 075561726758271683285*c_0110_5^6 + 4063439014594000464905294038807746349689548264/11786229626299583370\ 3226685180274815049855*c_0110_5^5 - 923163661620703728203212040108634146149282496/392874320876652779010\ 75561726758271683285*c_0110_5^4 - 276075774297232871401205717123034\ 901269085463/39287432087665277901075561726758271683285*c_0110_5^3 + 122023591765659131024301981620847082106830247/117862296262995833703\ 226685180274815049855*c_0110_5^2 + 10261102242623093274341678067553063257179414/3928743208766527790107\ 5561726758271683285*c_0110_5 + 958817339439321587525575557526548687\ 4755722/117862296262995833703226685180274815049855, c_0011_0 - 1, c_0011_2 - 568501976682075088849147385466860400105/78574864175330555802\ 15112345351654336657*c_0110_5^22 - 4768515140440782917353924751501795043394/78574864175330555802151123\ 45351654336657*c_0110_5^21 - 63147131761940239846054532878371257562\ 22/7857486417533055580215112345351654336657*c_0110_5^20 + 27008588453003073734026180442377110677038/7857486417533055580215112\ 345351654336657*c_0110_5^19 + 9958388042304190534853243505801809158\ 3551/7857486417533055580215112345351654336657*c_0110_5^18 + 31987382972095257721395204659150766736463/7857486417533055580215112\ 345351654336657*c_0110_5^17 - 3389657102003383131208787040087706046\ 47069/7857486417533055580215112345351654336657*c_0110_5^16 - 393809478112297752167383346178359702691896/785748641753305558021511\ 2345351654336657*c_0110_5^15 + 789521585845131498660345467857088333\ 698271/7857486417533055580215112345351654336657*c_0110_5^14 + 1362669917436052129189782674425792268960322/78574864175330555802151\ 12345351654336657*c_0110_5^13 - 14197618431011282282703412449048192\ 34626354/7857486417533055580215112345351654336657*c_0110_5^12 - 3855299915568485796769091125046851517912602/78574864175330555802151\ 12345351654336657*c_0110_5^11 - 19161073024374059520013009925279251\ 85015416/7857486417533055580215112345351654336657*c_0110_5^10 + 752314810186218821886542175962737814306997/785748641753305558021511\ 2345351654336657*c_0110_5^9 - 4735118020820856760703418683344684728\ 5670/7857486417533055580215112345351654336657*c_0110_5^8 - 1463358430249421212966619738881642647060790/78574864175330555802151\ 12345351654336657*c_0110_5^7 + 636893772321505575553075059297303168\ 011889/7857486417533055580215112345351654336657*c_0110_5^6 + 1650760854065673199711248332484911636617250/78574864175330555802151\ 12345351654336657*c_0110_5^5 + 529742033743732151452817360379321393\ 10642/7857486417533055580215112345351654336657*c_0110_5^4 - 338600911321421901191916786918629141827631/785748641753305558021511\ 2345351654336657*c_0110_5^3 - 4856196866944995840893561645712224867\ 9263/7857486417533055580215112345351654336657*c_0110_5^2 - 14497781004726080896838304980149826555000/7857486417533055580215112\ 345351654336657*c_0110_5 - 136622373603123227676403206928114875391/\ 7857486417533055580215112345351654336657, c_0011_4 + 2429829815064720303486834414459454041937/7857486417533055580\ 215112345351654336657*c_0110_5^22 + 18421594854610499757810266791371425324722/7857486417533055580215112\ 345351654336657*c_0110_5^21 + 1305376146492005112567992507097355199\ 0061/7857486417533055580215112345351654336657*c_0110_5^20 - 119414738906756906859329473887596491638659/785748641753305558021511\ 2345351654336657*c_0110_5^19 - 327400642101497184676227712500178474\ 289299/7857486417533055580215112345351654336657*c_0110_5^18 + 81301535162939482829019678521414777937162/7857486417533055580215112\ 345351654336657*c_0110_5^17 + 1280769518995118387488828879257187750\ 059340/7857486417533055580215112345351654336657*c_0110_5^16 + 728172827087605666629990628649939739741481/785748641753305558021511\ 2345351654336657*c_0110_5^15 - 351522588950869703498505219770741864\ 4799563/7857486417533055580215112345351654336657*c_0110_5^14 - 2923884912092781642355928984705678172040966/78574864175330555802151\ 12345351654336657*c_0110_5^13 + 70689811030792607446666004922682007\ 62672402/7857486417533055580215112345351654336657*c_0110_5^12 + 10313860935871529979074352710533800619279967/7857486417533055580215\ 112345351654336657*c_0110_5^11 + 2764296184369083336498062081703383\ 166912454/7857486417533055580215112345351654336657*c_0110_5^10 - 2921353139946885185155986188594963438545056/78574864175330555802151\ 12345351654336657*c_0110_5^9 + 242080558057388828539311178132754179\ 5906189/7857486417533055580215112345351654336657*c_0110_5^8 + 3358703238663822396633420699781976458779369/78574864175330555802151\ 12345351654336657*c_0110_5^7 - 393344880012845909887737947774075725\ 5281432/7857486417533055580215112345351654336657*c_0110_5^6 - 3205018550125426056336090830116592565058822/78574864175330555802151\ 12345351654336657*c_0110_5^5 + 579914020312543235368910166756998798\ 111388/7857486417533055580215112345351654336657*c_0110_5^4 + 611166697862026812997670447815861394001356/785748641753305558021511\ 2345351654336657*c_0110_5^3 + 9728603091446467622202513758594796086\ 4116/7857486417533055580215112345351654336657*c_0110_5^2 + 16070944223526886491628342973739512947635/7857486417533055580215112\ 345351654336657*c_0110_5 - 5270935751807787042888030783402076479306\ /7857486417533055580215112345351654336657, c_0101_0 - 4332989768454543092479650078829333901455/7857486417533055580\ 215112345351654336657*c_0110_5^22 - 33226210376763046852934668689744259061756/7857486417533055580215112\ 345351654336657*c_0110_5^21 - 2597666615316075348979898576525657991\ 7015/7857486417533055580215112345351654336657*c_0110_5^20 + 211915821307503292848657179188844557791638/785748641753305558021511\ 2345351654336657*c_0110_5^19 + 602013416397593333495842476307240389\ 177545/7857486417533055580215112345351654336657*c_0110_5^18 - 101997168189893692833528168707078825196718/785748641753305558021511\ 2345351654336657*c_0110_5^17 - 230928304913111146419485755363929535\ 7461111/7857486417533055580215112345351654336657*c_0110_5^16 - 1475015391637280019889598558682001349506311/78574864175330555802151\ 12345351654336657*c_0110_5^15 + 62222878834350413515312795165784758\ 48197356/7857486417533055580215112345351654336657*c_0110_5^14 + 5733195465454147929787055288000207731158926/78574864175330555802151\ 12345351654336657*c_0110_5^13 - 12378176149391406802803042043544161\ 975614607/7857486417533055580215112345351654336657*c_0110_5^12 - 19454343111138718032937712831682010106968102/7857486417533055580215\ 112345351654336657*c_0110_5^11 - 6036184769533945447502343642977608\ 031643338/7857486417533055580215112345351654336657*c_0110_5^10 + 4985291278978076232993852634884185773655618/78574864175330555802151\ 12345351654336657*c_0110_5^9 - 405542264012092699639041280592120561\ 7622512/7857486417533055580215112345351654336657*c_0110_5^8 - 6608543442474546516030571631654336980955229/78574864175330555802151\ 12345351654336657*c_0110_5^7 + 671245677085711020560165451485227391\ 6757087/7857486417533055580215112345351654336657*c_0110_5^6 + 6236315032496695523518228357472516194392614/78574864175330555802151\ 12345351654336657*c_0110_5^5 - 854841906223975922869726372650495842\ 914176/7857486417533055580215112345351654336657*c_0110_5^4 - 1177221903398830063991728356482137732685755/78574864175330555802151\ 12345351654336657*c_0110_5^3 - 209719208846836391036140680888506939\ 693137/7857486417533055580215112345351654336657*c_0110_5^2 - 22106580405979655276219450863605469544033/7857486417533055580215112\ 345351654336657*c_0110_5 + 1066507341765411875324691912177041048151\ 7/7857486417533055580215112345351654336657, c_0101_1 + 6731936093482081219496443600348380325955/7857486417533055580\ 215112345351654336657*c_0110_5^22 + 50290702109352148777408198454930551009218/7857486417533055580215112\ 345351654336657*c_0110_5^21 + 3075879029426274006941042599049384567\ 9966/7857486417533055580215112345351654336657*c_0110_5^20 - 333021577846528721650815802708275492262079/785748641753305558021511\ 2345351654336657*c_0110_5^19 - 869770652658830602861510177135877607\ 424567/7857486417533055580215112345351654336657*c_0110_5^18 + 313058918746243751144370514839932106953429/785748641753305558021511\ 2345351654336657*c_0110_5^17 + 349461578899091028074034738511684856\ 6898447/7857486417533055580215112345351654336657*c_0110_5^16 + 1644878920523764481322535428995170698417650/78574864175330555802151\ 12345351654336657*c_0110_5^15 - 98380891635034200019392898588601994\ 56859621/7857486417533055580215112345351654336657*c_0110_5^14 - 7001223828707570564146129400761799768062389/78574864175330555802151\ 12345351654336657*c_0110_5^13 + 20104369977842268257966992945975670\ 287826622/7857486417533055580215112345351654336657*c_0110_5^12 + 26271205203081821567381736263213814017534002/7857486417533055580215\ 112345351654336657*c_0110_5^11 + 5302302165681137448934956363470159\ 689648523/7857486417533055580215112345351654336657*c_0110_5^10 - 8247494826117369900712105937840424430675030/78574864175330555802151\ 12345351654336657*c_0110_5^9 + 756221047937134810795963699827309617\ 4213323/7857486417533055580215112345351654336657*c_0110_5^8 + 8353392991774077760023781213379616975631425/78574864175330555802151\ 12345351654336657*c_0110_5^7 - 114777539829841908256314570175983839\ 89809667/7857486417533055580215112345351654336657*c_0110_5^6 - 7448779038626523812054196599174332603149899/78574864175330555802151\ 12345351654336657*c_0110_5^5 + 210346591669229367864540113952591543\ 1602120/7857486417533055580215112345351654336657*c_0110_5^4 + 1474723162120643832771349323164706006544230/78574864175330555802151\ 12345351654336657*c_0110_5^3 + 199417287864322959097050802696601663\ 684356/7857486417533055580215112345351654336657*c_0110_5^2 - 5867639711708050560087228788599685344363/78574864175330555802151123\ 45351654336657*c_0110_5 - 17437910849794342089357281644118121937260\ /7857486417533055580215112345351654336657, c_0110_5^23 + 7*c_0110_5^22 + c_0110_5^21 - 52*c_0110_5^20 - 106*c_0110_5^19 + 110*c_0110_5^18 + 503*c_0110_5^17 - 5*c_0110_5^16 - 1602*c_0110_5^15 - 354*c_0110_5^14 + 3555*c_0110_5^13 + 2517*c_0110_5^12 - 1217*c_0110_5^11 - 1729*c_0110_5^10 + 1713*c_0110_5^9 + 768*c_0110_5^8 - 2378*c_0110_5^7 - 329*c_0110_5^6 + 934*c_0110_5^5 + 87*c_0110_5^4 - 95*c_0110_5^3 - 17*c_0110_5^2 - 2*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB