Magma V2.19-8 Tue Aug 20 2013 18:39:25 on localhost [Seed = 2564373200] Type ? for help. Type -D to quit. Loading file "11_116__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_116 geometric_solution 13.06336076 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 15 1 2 3 4 0132 0132 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 -1 0 1 0 0 0 0 -9 0 0 9 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.067276059704 0.563946062666 0 5 6 5 0132 0132 0132 1230 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 0 9 -9 0 0 0 0 0 -1 1 0 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.333428647383 1.257174737545 3 0 7 7 0321 0132 0213 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 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.075244389463 0.757575918997 2 4 8 0 0321 0132 0132 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.419343412551 1.205394698673 9 3 0 10 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -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 0 -1 1 8 0 0 -8 0 0 0 0 8 1 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.395691425660 1.266544081794 1 1 11 11 3012 0132 0132 1302 0 0 0 0 0 -1 1 0 0 0 -1 1 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 -9 9 0 0 0 -8 8 0 9 0 -9 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.329202627337 0.620886608758 12 13 11 1 0132 0132 3012 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 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.318911067959 0.323823332337 14 2 2 8 0132 0213 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 1 0 -1 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.129825047675 1.307105160974 14 7 10 3 1230 2310 0132 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 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.954931412780 0.819287748067 4 14 12 13 0132 0321 2310 2310 0 0 0 0 0 0 0 0 -1 0 0 1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -8 0 0 8 -8 0 0 8 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.198815899265 1.212624957809 13 14 4 8 3120 3201 0132 0132 0 0 0 0 0 0 0 0 -1 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 0 1 -1 0 -8 0 8 0 0 0 0 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.481703014946 0.671408728920 12 6 5 5 3120 1230 2031 0132 0 0 0 0 0 0 1 -1 -1 0 0 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 0 9 -9 -8 0 0 8 1 0 0 -1 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.329202627337 0.620886608758 6 9 13 11 0132 3201 0321 3120 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 8 0 -8 0 0 -8 8 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.569568463476 1.112253622972 9 6 12 10 3201 0132 0321 3120 0 0 0 0 0 1 0 -1 -1 0 0 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 9 0 -9 -8 0 0 8 0 0 0 0 -8 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.472413945162 0.918189161666 7 8 10 9 0132 3012 2310 0321 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 1 0 -1 -1 0 9 -8 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.406111975249 1.604367597081 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_14' : negation(d['c_0011_8']), 'c_1001_11' : negation(d['c_0110_5']), 'c_1001_10' : negation(d['c_0101_14']), 'c_1001_13' : negation(d['c_0101_11']), 'c_1001_12' : negation(d['c_0101_10']), 'c_1001_5' : d['c_0101_5'], 'c_1001_4' : d['c_1001_0'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : negation(d['c_0101_11']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_14']), 'c_1001_2' : d['c_1001_0'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0011_8'], 'c_1010_13' : negation(d['c_0011_10']), 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : d['c_0101_5'], 'c_1010_10' : d['c_0011_8'], 'c_1010_14' : negation(d['c_0101_8']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_0_13' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 'c_0101_14' : d['c_0101_14'], 's_2_0' : negation(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_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_14' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_14' : d['c_0011_14'], 'c_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_11'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0011_8']), 'c_1100_6' : d['c_0110_5'], 'c_1100_1' : d['c_0110_5'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0011_8']), 'c_1100_14' : d['c_0011_10'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_12'], 'c_1100_11' : d['c_0101_11'], 'c_1100_10' : d['c_1100_0'], 'c_1100_13' : negation(d['c_0101_10']), 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : negation(d['c_0011_8']), 'c_1010_6' : negation(d['c_0101_11']), 'c_1010_5' : negation(d['c_0101_11']), 'c_1010_4' : negation(d['c_0101_14']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : d['c_1001_0'], 'c_1010_9' : negation(d['c_0101_8']), 'c_1010_8' : negation(d['c_0101_14']), 'c_1100_8' : d['c_1100_0'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_11']), 's_1_7' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_3'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0101_13' : negation(d['c_0101_1']), 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_5'], 'c_0110_10' : d['c_0101_8'], 'c_0110_13' : d['c_0101_8'], 'c_0110_12' : d['c_0101_5'], 'c_0110_14' : negation(d['c_0011_3']), 'c_0101_12' : d['c_0101_1'], 'c_0011_7' : negation(d['c_0011_14']), 's_3_12' : d['1'], 's_0_8' : d['1'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_14'], 'c_0101_2' : negation(d['c_0011_14']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_8'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0011_14'], 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_14'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_14, c_0011_3, c_0011_8, c_0101_1, c_0101_10, c_0101_11, c_0101_14, c_0101_5, c_0101_8, c_0110_5, c_1001_0, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 18198374841555192/30613009997277035*c_1100_0^15 + 119691666606586744/30613009997277035*c_1100_0^14 + 326777685723490362/30613009997277035*c_1100_0^13 + 1535010166519267372/30613009997277035*c_1100_0^12 + 2161238678570607119/30613009997277035*c_1100_0^11 + 403389466070826596/1611211052488265*c_1100_0^10 + 1299119571887113212/6122601999455407*c_1100_0^9 + 3809419035069550009/6122601999455407*c_1100_0^8 + 9037143252403159991/30613009997277035*c_1100_0^7 + 25284307069085089356/30613009997277035*c_1100_0^6 + 5032819182262026959/30613009997277035*c_1100_0^5 + 17861296538264053364/30613009997277035*c_1100_0^4 + 46431551453389927/6122601999455407*c_1100_0^3 + 1131639307513317938/6122601999455407*c_1100_0^2 - 445944328206776117/30613009997277035*c_1100_0 + 118819267288740860/6122601999455407, c_0011_0 - 1, c_0011_10 + 1, c_0011_12 + 288068080/552677029*c_1100_0^15 + 1074992078/552677029*c_1100_0^14 + 4865154384/552677029*c_1100_0^13 + 13726905793/552677029*c_1100_0^12 + 31649207434/552677029*c_1100_0^11 + 67573149745/552677029*c_1100_0^10 + 99325692072/552677029*c_1100_0^9 + 162589386103/552677029*c_1100_0^8 + 158839750289/552677029*c_1100_0^7 + 202063317437/552677029*c_1100_0^6 + 127796224844/552677029*c_1100_0^5 + 126593954069/552677029*c_1100_0^4 + 46810197751/552677029*c_1100_0^3 + 32764310609/552677029*c_1100_0^2 + 3816105150/552677029*c_1100_0 + 2956023482/552677029, c_0011_14 + 201283728/552677029*c_1100_0^15 + 322948328/552677029*c_1100_0^14 + 2897581422/552677029*c_1100_0^13 + 4121978376/552677029*c_1100_0^12 + 16724274745/552677029*c_1100_0^11 + 20296968118/552677029*c_1100_0^10 + 49298662235/552677029*c_1100_0^9 + 49989458047/552677029*c_1100_0^8 + 79240070773/552677029*c_1100_0^7 + 66557570291/552677029*c_1100_0^6 + 68933803052/552677029*c_1100_0^5 + 47073254929/552677029*c_1100_0^4 + 29127258968/552677029*c_1100_0^3 + 14520993740/552677029*c_1100_0^2 + 4315324889/552677029*c_1100_0 + 1166153165/552677029, c_0011_3 + 126359298/552677029*c_1100_0^15 + 603879240/552677029*c_1100_0^14 + 2389031863/552677029*c_1100_0^13 + 8134461372/552677029*c_1100_0^12 + 17200282203/552677029*c_1100_0^11 + 42999223527/552677029*c_1100_0^10 + 60054476591/552677029*c_1100_0^9 + 113530833813/552677029*c_1100_0^8 + 108977582062/552677029*c_1100_0^7 + 158993360213/552677029*c_1100_0^6 + 102497016676/552677029*c_1100_0^5 + 115979851800/552677029*c_1100_0^4 + 45864267505/552677029*c_1100_0^3 + 38214345901/552677029*c_1100_0^2 + 6348294822/552677029*c_1100_0 + 3846048827/552677029, c_0011_8 - 76726440/552677029*c_1100_0^15 - 371919260/552677029*c_1100_0^14 - 1367541462/552677029*c_1100_0^13 - 4778039686/552677029*c_1100_0^12 - 9298657457/552677029*c_1100_0^11 - 23797141960/552677029*c_1100_0^10 - 30382241724/552677029*c_1100_0^9 - 58479543475/552677029*c_1100_0^8 - 51113507478/552677029*c_1100_0^7 - 75460345233/552677029*c_1100_0^6 - 45102551435/552677029*c_1100_0^5 - 50533933858/552677029*c_1100_0^4 - 20039955448/552677029*c_1100_0^3 - 14943895616/552677029*c_1100_0^2 - 2854389496/552677029*c_1100_0 - 1694971853/552677029, c_0101_1 - 54826106/552677029*c_1100_0^15 - 79660044/552677029*c_1100_0^14 - 791020407/552677029*c_1100_0^13 - 919244036/552677029*c_1100_0^12 - 4525434735/552677029*c_1100_0^11 - 3919986742/552677029*c_1100_0^10 - 13093167936/552677029*c_1100_0^9 - 7887641813/552677029*c_1100_0^8 - 20853281434/552677029*c_1100_0^7 - 8302214045/552677029*c_1100_0^6 - 18835392848/552677029*c_1100_0^5 - 5283389461/552677029*c_1100_0^4 - 8811311340/552677029*c_1100_0^3 - 1748609712/552677029*c_1100_0^2 - 1376043576/552677029*c_1100_0 + 303265454/552677029, c_0101_10 + 481673266/552677029*c_1100_0^15 + 333424190/552677029*c_1100_0^14 + 6140223249/552677029*c_1100_0^13 + 3224947953/552677029*c_1100_0^12 + 30384098830/552677029*c_1100_0^11 + 9247607726/552677029*c_1100_0^10 + 73944048223/552677029*c_1100_0^9 + 4915695138/552677029*c_1100_0^8 + 94254657057/552677029*c_1100_0^7 - 14221514840/552677029*c_1100_0^6 + 62887596123/552677029*c_1100_0^5 - 19358166008/552677029*c_1100_0^4 + 19261919121/552677029*c_1100_0^3 - 8081883466/552677029*c_1100_0^2 + 3462960118/552677029*c_1100_0 - 841592415/552677029, c_0101_11 - 164624464/552677029*c_1100_0^15 - 148119268/552677029*c_1100_0^14 - 2145003082/552677029*c_1100_0^13 - 1536505314/552677029*c_1100_0^12 - 10843639137/552677029*c_1100_0^11 - 5196342108/552677029*c_1100_0^10 - 26602082070/552677029*c_1100_0^9 - 5748993849/552677029*c_1100_0^8 - 32450259749/552677029*c_1100_0^7 + 2388521665/552677029*c_1100_0^6 - 17101185034/552677029*c_1100_0^5 + 8654566333/552677029*c_1100_0^4 - 277884266/552677029*c_1100_0^3 + 5409865256/552677029*c_1100_0^2 + 1352529403/552677029*c_1100_0 + 622915335/552677029, c_0101_14 - 164624464/552677029*c_1100_0^15 - 148119268/552677029*c_1100_0^14 - 2145003082/552677029*c_1100_0^13 - 1536505314/552677029*c_1100_0^12 - 10843639137/552677029*c_1100_0^11 - 5196342108/552677029*c_1100_0^10 - 26602082070/552677029*c_1100_0^9 - 5748993849/552677029*c_1100_0^8 - 32450259749/552677029*c_1100_0^7 + 2388521665/552677029*c_1100_0^6 - 17101185034/552677029*c_1100_0^5 + 8654566333/552677029*c_1100_0^4 - 277884266/552677029*c_1100_0^3 + 5409865256/552677029*c_1100_0^2 + 1352529403/552677029*c_1100_0 + 622915335/552677029, c_0101_5 - 76726440/552677029*c_1100_0^15 - 371919260/552677029*c_1100_0^14 - 1367541462/552677029*c_1100_0^13 - 4778039686/552677029*c_1100_0^12 - 9298657457/552677029*c_1100_0^11 - 23797141960/552677029*c_1100_0^10 - 30382241724/552677029*c_1100_0^9 - 58479543475/552677029*c_1100_0^8 - 51113507478/552677029*c_1100_0^7 - 75460345233/552677029*c_1100_0^6 - 45102551435/552677029*c_1100_0^5 - 50533933858/552677029*c_1100_0^4 - 20039955448/552677029*c_1100_0^3 - 14943895616/552677029*c_1100_0^2 - 2854389496/552677029*c_1100_0 - 1694971853/552677029, c_0101_8 + 324671610/552677029*c_1100_0^15 + 953786688/552677029*c_1100_0^14 + 5106231461/552677029*c_1100_0^13 + 12136283956/552677029*c_1100_0^12 + 31602275730/552677029*c_1100_0^11 + 59751817147/552677029*c_1100_0^10 + 96536021006/552677029*c_1100_0^9 + 145754894847/552677029*c_1100_0^8 + 153996534859/552677029*c_1100_0^7 + 188426277887/552677029*c_1100_0^6 + 126900096139/552677029*c_1100_0^5 + 127431696637/552677029*c_1100_0^4 + 48605410553/552677029*c_1100_0^3 + 37700900736/552677029*c_1100_0^2 + 5229837361/552677029*c_1100_0 + 3514926890/552677029, c_0110_5 + 518677796/552677029*c_1100_0^15 + 503903544/552677029*c_1100_0^14 + 6812904226/552677029*c_1100_0^13 + 5476160386/552677029*c_1100_0^12 + 34923968364/552677029*c_1100_0^11 + 20513911259/552677029*c_1100_0^10 + 87932801792/552677029*c_1100_0^9 + 31177324553/552677029*c_1100_0^8 + 113332641233/552677029*c_1100_0^7 + 13668393331/552677029*c_1100_0^6 + 70013371525/552677029*c_1100_0^5 - 9409818024/552677029*c_1100_0^4 + 13746381309/552677029*c_1100_0^3 - 9966716994/552677029*c_1100_0^2 - 777778937/552677029*c_1100_0 - 1606105103/552677029, c_1001_0 + 26253850/552677029*c_1100_0^15 - 2318406/552677029*c_1100_0^14 + 353528481/552677029*c_1100_0^13 - 82166457/552677029*c_1100_0^12 + 1968679464/552677029*c_1100_0^11 - 784261110/552677029*c_1100_0^10 + 6017095483/552677029*c_1100_0^9 - 3221720336/552677029*c_1100_0^8 + 11093891737/552677029*c_1100_0^7 - 6991248634/552677029*c_1100_0^6 + 12005138930/552677029*c_1100_0^5 - 8635772123/552677029*c_1100_0^4 + 6294558389/552677029*c_1100_0^3 - 5372056990/552677029*c_1100_0^2 + 626017534/552677029*c_1100_0 - 1113505076/552677029, c_1100_0^16 + 2*c_1100_0^15 + 33/2*c_1100_0^14 + 27*c_1100_0^13 + 110*c_1100_0^12 + 285/2*c_1100_0^11 + 757/2*c_1100_0^10 + 376*c_1100_0^9 + 723*c_1100_0^8 + 528*c_1100_0^7 + 1547/2*c_1100_0^6 + 777/2*c_1100_0^5 + 441*c_1100_0^4 + 131*c_1100_0^3 + 223/2*c_1100_0^2 + 10*c_1100_0 + 19/2 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_14, c_0011_3, c_0011_8, c_0101_1, c_0101_10, c_0101_11, c_0101_14, c_0101_5, c_0101_8, c_0110_5, c_1001_0, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 387965554561935493624038/797890977189589127265757*c_0110_5*c_1100_0\ ^13 + 816672501275935088526801/797890977189589127265757*c_0110_5*c_\ 1100_0^12 - 4474788839325096933101997/797890977189589127265757*c_01\ 10_5*c_1100_0^11 + 7488370591804994382060161/7978909771895891272657\ 57*c_0110_5*c_1100_0^10 - 19946540758497535508667878/79789097718958\ 9127265757*c_0110_5*c_1100_0^9 + 28122329682484609277280626/7978909\ 77189589127265757*c_0110_5*c_1100_0^8 - 6353122811297571669713437/113984425312798446752251*c_0110_5*c_1100_\ 0^7 + 54190962705447126688805327/797890977189589127265757*c_0110_5*\ c_1100_0^6 - 50480182950519819421534520/797890977189589127265757*c_\ 0110_5*c_1100_0^5 + 53091631593025927739847741/79789097718958912726\ 5757*c_0110_5*c_1100_0^4 - 793539741465228584949398/257384186190190\ 04105347*c_0110_5*c_1100_0^3 + 20560625347407198671665976/797890977\ 189589127265757*c_0110_5*c_1100_0^2 - 2049138357863926348158395/797890977189589127265757*c_0110_5*c_1100_\ 0 - 1425573356945400995947740/797890977189589127265757*c_0110_5 + 570034633821405737906396/797890977189589127265757*c_1100_0^13 - 738408723384004123006113/797890977189589127265757*c_1100_0^12 + 5567274995203593086157157/797890977189589127265757*c_1100_0^11 - 5830280642287003087652133/797890977189589127265757*c_1100_0^10 + 20956588654767364579027669/797890977189589127265757*c_1100_0^9 - 19512584867282757196312920/797890977189589127265757*c_1100_0^8 + 5356860815108515265430544/113984425312798446752251*c_1100_0^7 - 35220278524825327170615326/797890977189589127265757*c_1100_0^6 + 27397683626903033137800040/797890977189589127265757*c_1100_0^5 - 37176342714711405936465457/797890977189589127265757*c_1100_0^4 - 105226283003149824190985/25738418619019004105347*c_1100_0^3 - 23952412005916642248278018/797890977189589127265757*c_1100_0^2 - 11240446833817154956598538/797890977189589127265757*c_1100_0 - 7708974360635516250786060/797890977189589127265757, c_0011_0 - 1, c_0011_10 + 1, c_0011_12 - 158/1081*c_0110_5*c_1100_0^13 + 883/1081*c_0110_5*c_1100_0^12 - 2978/1081*c_0110_5*c_1100_0^11 + 8927/1081*c_0110_5*c_1100_0^10 - 17800/1081*c_0110_5*c_1100_0^9 + 34903/1081*c_0110_5*c_1100_0^8 - 50350/1081*c_0110_5*c_1100_0^7 + 66561/1081*c_0110_5*c_1100_0^6 - 73395/1081*c_0110_5*c_1100_0^5 + 59739/1081*c_0110_5*c_1100_0^4 - 51149/1081*c_0110_5*c_1100_0^3 + 16748/1081*c_0110_5*c_1100_0^2 - 13378/1081*c_0110_5*c_1100_0 - 2788/1081*c_0110_5 + 645/1081*c_1100_0^13 - 1860/1081*c_1100_0^12 + 8353/1081*c_1100_0^11 - 16444/1081*c_1100_0^10 + 38702/1081*c_1100_0^9 - 56599/1081*c_1100_0^8 + 86318/1081*c_1100_0^7 - 95757/1081*c_1100_0^6 + 95043/1081*c_1100_0^5 - 76802/1081*c_1100_0^4 + 43172/1081*c_1100_0^3 - 21887/1081*c_1100_0^2 + 4572/1081*c_1100_0 + 2145/1081, c_0011_14 - 699/1081*c_0110_5*c_1100_0^13 + 985/1081*c_0110_5*c_1100_0^12 - 6292/1081*c_0110_5*c_1100_0^11 + 5442/1081*c_0110_5*c_1100_0^10 - 18130/1081*c_0110_5*c_1100_0^9 + 7554/1081*c_0110_5*c_1100_0^8 - 13078/1081*c_0110_5*c_1100_0^7 - 6644/1081*c_0110_5*c_1100_0^6 + 30159/1081*c_0110_5*c_1100_0^5 - 20172/1081*c_0110_5*c_1100_0^4 + 57422/1081*c_0110_5*c_1100_0^3 - 2657/1081*c_0110_5*c_1100_0^2 + 26173/1081*c_0110_5*c_1100_0 + 5167/1081*c_0110_5 - 844/1081*c_1100_0^13 + 3540/1081*c_1100_0^12 - 13910/1081*c_1100_0^11 + 35795/1081*c_1100_0^10 - 77076/1081*c_1100_0^9 + 139523/1081*c_1100_0^8 - 203373/1081*c_1100_0^7 + 266077/1081*c_1100_0^6 - 274203/1081*c_1100_0^5 + 239556/1081*c_1100_0^4 - 172447/1081*c_1100_0^3 + 70006/1081*c_1100_0^2 - 40469/1081*c_1100_0 - 9871/1081, c_0011_3 - 686/1081*c_0110_5*c_1100_0^13 + 1576/1081*c_0110_5*c_1100_0^12 - 7689/1081*c_0110_5*c_1100_0^11 + 12815/1081*c_0110_5*c_1100_0^10 - 31170/1081*c_0110_5*c_1100_0^9 + 40841/1081*c_0110_5*c_1100_0^8 - 58976/1081*c_0110_5*c_1100_0^7 + 64391/1081*c_0110_5*c_1100_0^6 - 48387/1081*c_0110_5*c_1100_0^5 + 50097/1081*c_0110_5*c_1100_0^4 - 6712/1081*c_0110_5*c_1100_0^3 + 18666/1081*c_0110_5*c_1100_0^2 + 5339/1081*c_0110_5*c_1100_0 + 1565/1081*c_0110_5 + 6/47*c_1100_0^13 + 45/47*c_1100_0^12 - 88/47*c_1100_0^11 + 601/47*c_1100_0^10 - 1069/47*c_1100_0^9 + 2760/47*c_1100_0^8 - 4007/47*c_1100_0^7 + 5858/47*c_1100_0^6 - 7018/47*c_1100_0^5 + 5584/47*c_1100_0^4 - 5699/47*c_1100_0^3 + 1385/47*c_1100_0^2 - 1745/47*c_1100_0 - 426/47, c_0011_8 - 383/1081*c_0110_5*c_1100_0^13 + 1381/1081*c_0110_5*c_1100_0^12 - 5741/1081*c_0110_5*c_1100_0^11 + 13532/1081*c_0110_5*c_1100_0^10 - 30094/1081*c_0110_5*c_1100_0^9 + 51253/1081*c_0110_5*c_1100_0^8 - 75609/1081*c_0110_5*c_1100_0^7 + 94811/1081*c_0110_5*c_1100_0^6 - 96544/1081*c_0110_5*c_1100_0^5 + 83036/1081*c_0110_5*c_1100_0^4 - 56480/1081*c_0110_5*c_1100_0^3 + 24383/1081*c_0110_5*c_1100_0^2 - 11931/1081*c_0110_5*c_1100_0 - 2229/1081*c_0110_5 + 1149/1081*c_1100_0^13 - 1981/1081*c_1100_0^12 + 11818/1081*c_1100_0^11 - 14652/1081*c_1100_0^10 + 43799/1081*c_1100_0^9 - 41335/1081*c_1100_0^8 + 71163/1081*c_1100_0^7 - 54180/1081*c_1100_0^6 + 33435/1081*c_1100_0^5 - 31827/1081*c_1100_0^4 - 31626/1081*c_1100_0^3 - 13694/1081*c_1100_0^2 - 26905/1081*c_1100_0 - 5204/1081, c_0101_1 + 289/1081*c_1100_0^13 - 582/1081*c_1100_0^12 + 3203/1081*c_1100_0^11 - 4978/1081*c_1100_0^10 + 13456/1081*c_1100_0^9 - 17037/1081*c_1100_0^8 + 27058/1081*c_1100_0^7 - 29199/1081*c_1100_0^6 + 24540/1081*c_1100_0^5 - 25273/1081*c_1100_0^4 + 4498/1081*c_1100_0^3 - 9014/1081*c_1100_0^2 - 3814/1081*c_1100_0 + 584/1081, c_0101_10 - 651/1081*c_0110_5*c_1100_0^13 + 922/1081*c_0110_5*c_1100_0^12 - 5962/1081*c_0110_5*c_1100_0^11 + 5973/1081*c_0110_5*c_1100_0^10 - 18880/1081*c_0110_5*c_1100_0^9 + 13795/1081*c_0110_5*c_1100_0^8 - 21728/1081*c_0110_5*c_1100_0^7 + 11832/1081*c_0110_5*c_1100_0^6 + 8231/1081*c_0110_5*c_1100_0^5 + 1047/1081*c_0110_5*c_1100_0^4 + 34907/1081*c_0110_5*c_1100_0^3 + 3065/1081*c_0110_5*c_1100_0^2 + 18182/1081*c_0110_5*c_1100_0 + 3592/1081*c_0110_5 - 548/1081*c_1100_0^13 + 2611/1081*c_1100_0^12 - 9713/1081*c_1100_0^11 + 26638/1081*c_1100_0^10 - 55757/1081*c_1100_0^9 + 104321/1081*c_1100_0^8 - 151137/1081*c_1100_0^7 + 199125/1081*c_1100_0^6 - 209801/1081*c_1100_0^5 + 178529/1081*c_1100_0^4 - 137789/1081*c_1100_0^3 + 50521/1081*c_1100_0^2 - 34796/1081*c_1100_0 - 8233/1081, c_0101_11 - 234/1081*c_0110_5*c_1100_0^13 + 172/1081*c_0110_5*c_1100_0^12 - 1879/1081*c_0110_5*c_1100_0^11 + 249/1081*c_0110_5*c_1100_0^10 - 4181/1081*c_0110_5*c_1100_0^9 - 3535/1081*c_0110_5*c_1100_0^8 + 2442/1081*c_0110_5*c_1100_0^7 - 13860/1081*c_0110_5*c_1100_0^6 + 23662/1081*c_0110_5*c_1100_0^5 - 17368/1081*c_0110_5*c_1100_0^4 + 33415/1081*c_0110_5*c_1100_0^3 - 3302/1081*c_0110_5*c_1100_0^2 + 15039/1081*c_0110_5*c_1100_0 + 3219/1081*c_0110_5 - 558/1081*c_1100_0^13 + 2489/1081*c_1100_0^12 - 8971/1081*c_1100_0^11 + 23960/1081*c_1100_0^10 - 48304/1081*c_1100_0^9 + 89193/1081*c_1100_0^8 - 124562/1081*c_1100_0^7 + 161945/1081*c_1100_0^6 - 165596/1081*c_1100_0^5 + 138030/1081*c_1100_0^4 - 105668/1081*c_1100_0^3 + 37528/1081*c_1100_0^2 - 26420/1081*c_1100_0 - 5878/1081, c_0101_14 + 234/1081*c_0110_5*c_1100_0^13 - 172/1081*c_0110_5*c_1100_0^12 + 1879/1081*c_0110_5*c_1100_0^11 - 249/1081*c_0110_5*c_1100_0^10 + 4181/1081*c_0110_5*c_1100_0^9 + 3535/1081*c_0110_5*c_1100_0^8 - 2442/1081*c_0110_5*c_1100_0^7 + 13860/1081*c_0110_5*c_1100_0^6 - 23662/1081*c_0110_5*c_1100_0^5 + 17368/1081*c_0110_5*c_1100_0^4 - 33415/1081*c_0110_5*c_1100_0^3 + 3302/1081*c_0110_5*c_1100_0^2 - 15039/1081*c_0110_5*c_1100_0 - 3219/1081*c_0110_5 + 2/23*c_1100_0^13 - 17/23*c_1100_0^12 + 54/23*c_1100_0^11 - 182/23*c_1100_0^10 + 354/23*c_1100_0^9 - 728/23*c_1100_0^8 + 1033/23*c_1100_0^7 - 1396/23*c_1100_0^6 + 1532/23*c_1100_0^5 - 1229/23*c_1100_0^4 + 1106/23*c_1100_0^3 - 304/23*c_1100_0^2 + 335/23*c_1100_0 + 81/23, c_0101_5 + 383/1081*c_0110_5*c_1100_0^13 - 1381/1081*c_0110_5*c_1100_0^12 + 5741/1081*c_0110_5*c_1100_0^11 - 13532/1081*c_0110_5*c_1100_0^10 + 30094/1081*c_0110_5*c_1100_0^9 - 51253/1081*c_0110_5*c_1100_0^8 + 75609/1081*c_0110_5*c_1100_0^7 - 94811/1081*c_0110_5*c_1100_0^6 + 96544/1081*c_0110_5*c_1100_0^5 - 83036/1081*c_0110_5*c_1100_0^4 + 56480/1081*c_0110_5*c_1100_0^3 - 24383/1081*c_0110_5*c_1100_0^2 + 11931/1081*c_0110_5*c_1100_0 + 2229/1081*c_0110_5 - 1257/1081*c_1100_0^13 + 2393/1081*c_1100_0^12 - 13101/1081*c_1100_0^11 + 18592/1081*c_1100_0^10 - 50219/1081*c_1100_0^9 + 56750/1081*c_1100_0^8 - 88995/1081*c_1100_0^7 + 83955/1081*c_1100_0^6 - 63010/1081*c_1100_0^5 + 58403/1081*c_1100_0^4 + 3642/1081*c_1100_0^3 + 18656/1081*c_1100_0^2 + 14887/1081*c_1100_0 + 1451/1081, c_0101_8 - 306/1081*c_0110_5*c_1100_0^13 + 807/1081*c_0110_5*c_1100_0^12 - 3455/1081*c_0110_5*c_1100_0^11 + 6479/1081*c_0110_5*c_1100_0^10 - 13866/1081*c_0110_5*c_1100_0^9 + 20074/1081*c_0110_5*c_1100_0^8 - 25661/1081*c_0110_5*c_1100_0^7 + 29772/1081*c_0110_5*c_1100_0^6 - 20197/1081*c_0110_5*c_1100_0^5 + 20528/1081*c_0110_5*c_1100_0^4 - 2537/1081*c_0110_5*c_1100_0^3 + 6492/1081*c_0110_5*c_1100_0^2 + 1622/1081*c_0110_5*c_1100_0 + 717/1081*c_0110_5 + 54/1081*c_1100_0^13 + 875/1081*c_1100_0^12 - 2061/1081*c_1100_0^11 + 11002/1081*c_1100_0^10 - 20572/1081*c_1100_0^9 + 49045/1081*c_1100_0^8 - 73240/1081*c_1100_0^7 + 102401/1081*c_1100_0^6 - 125202/1081*c_1100_0^5 + 96974/1081*c_1100_0^4 - 100594/1081*c_1100_0^3 + 24544/1081*c_1100_0^2 - 30745/1081*c_1100_0 - 7312/1081, c_0110_5^2 + 514/1081*c_0110_5*c_1100_0^13 - 1080/1081*c_0110_5*c_1100_0^12 + 5966/1081*c_0110_5*c_1100_0^11 - 9583/1081*c_0110_5*c_1100_0^10 + 25750/1081*c_0110_5*c_1100_0^9 - 33387/1081*c_0110_5*c_1100_0^8 + 52317/1081*c_0110_5*c_1100_0^7 - 57449/1081*c_0110_5*c_1100_0^6 + 47689/1081*c_0110_5*c_1100_0^5 - 48570/1081*c_0110_5*c_1100_0^4 + 9829/1081*c_0110_5*c_1100_0^3 - 17730/1081*c_0110_5*c_1100_0^2 - 5261/1081*c_0110_5*c_1100_0 - 2137/1081*c_0110_5 - 612/1081*c_1100_0^13 + 533/1081*c_1100_0^12 - 4748/1081*c_1100_0^11 + 2148/1081*c_1100_0^10 - 11517/1081*c_1100_0^9 + 151/1081*c_1100_0^8 - 2677/1081*c_1100_0^7 - 11802/1081*c_1100_0^6 + 32033/1081*c_1100_0^5 - 18399/1081*c_1100_0^4 + 46814/1081*c_1100_0^3 - 3231/1081*c_1100_0^2 + 19459/1081*c_1100_0 + 5758/1081, c_1001_0 - 71/1081*c_1100_0^13 + 431/1081*c_1100_0^12 - 1434/1081*c_1100_0^11 + 4552/1081*c_1100_0^10 - 9025/1081*c_1100_0^9 + 18852/1081*c_1100_0^8 - 26977/1081*c_1100_0^7 + 38702/1081*c_1100_0^6 - 42334/1081*c_1100_0^5 + 38811/1081*c_1100_0^4 - 33651/1081*c_1100_0^3 + 14012/1081*c_1100_0^2 - 11444/1081*c_1100_0 - 1116/1081, c_1100_0^14 - 2*c_1100_0^13 + 12*c_1100_0^12 - 19*c_1100_0^11 + 57*c_1100_0^10 - 76*c_1100_0^9 + 140*c_1100_0^8 - 164*c_1100_0^7 + 185*c_1100_0^6 - 201*c_1100_0^5 + 118*c_1100_0^4 - 134*c_1100_0^3 + 19*c_1100_0^2 - 38*c_1100_0 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 42.500 Total time: 42.710 seconds, Total memory usage: 100.06MB