Magma V2.19-8 Tue Aug 20 2013 19:10:13 on localhost [Seed = 2800157611] Type ? for help. Type -D to quit. Loading file "11_192__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_192 geometric_solution 13.87903507 oriented_manifold CS_known -0.0000000000000002 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 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.454085562119 1.622352416876 0 4 5 5 0132 1023 1302 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 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.376367404951 1.087371412094 6 0 8 7 0132 0132 0132 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 0 0 0 -7 0 0 7 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.256820572459 0.565484583559 5 5 9 0 3012 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 1 0 -1 0 0 0 0 -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.376367404951 1.087371412094 1 6 0 7 1023 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.291780058706 0.527381531720 1 3 1 3 2031 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.715740817063 0.821259506230 2 4 10 8 0132 0132 0132 0321 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 7 0 0 -7 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.045489075464 1.377326834781 11 4 2 12 0132 1302 0132 0132 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 0 -7 7 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.376802986400 1.785059994583 10 6 11 2 0132 0321 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 6 0 -6 0 1 -1 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.786794294094 0.737784806375 13 13 12 3 0132 1230 3012 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.232867588302 1.290737570483 8 14 14 6 0132 0132 1302 0132 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 -6 0 6 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.116228285359 1.095524028890 7 14 12 8 0132 1230 0132 0132 0 0 0 0 0 0 0 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 0 0 0 0 0 -6 6 -1 -6 0 7 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.101840548350 0.781977412728 13 9 7 11 1302 1230 0132 0132 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 1 0 -7 6 -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.409297321996 0.953471935126 9 12 9 14 0132 2031 3012 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.613031777048 0.405132253200 10 10 11 13 2031 0132 3012 2103 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 -1 0 0 1 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.904234969483 0.902645098262 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_14' : negation(d['c_0011_11']), 'c_1001_11' : d['c_0101_9'], 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_13' : d['c_0011_13'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0110_4'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0110_4'], 'c_1001_6' : negation(d['c_0011_11']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_0110_4'], 'c_1001_3' : d['c_0101_13'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : d['c_0101_14'], 'c_1010_13' : d['c_0011_12'], 'c_1010_12' : d['c_0101_9'], 'c_1010_11' : d['c_0101_14'], 'c_1010_10' : negation(d['c_0011_11']), 'c_1010_14' : negation(d['c_0011_12']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_3_13' : 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' : negation(d['c_0011_13']), 'c_0101_10' : d['c_0011_10'], 'c_0101_14' : d['c_0101_14'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_14' : negation(d['c_0011_10']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_0'], 'c_1100_4' : negation(d['c_1001_12']), 'c_1100_7' : d['c_1100_11'], 'c_1100_6' : d['c_0101_14'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : negation(d['c_1001_12']), 'c_1100_3' : negation(d['c_1001_12']), 'c_1100_2' : d['c_1100_11'], 'c_1100_14' : negation(d['c_0101_9']), 'c_1100_11' : d['c_1100_11'], 'c_1100_10' : d['c_0101_14'], 'c_1100_13' : d['c_0011_12'], 's_0_11' : d['1'], 's_0_12' : d['1'], 'c_1010_7' : d['c_1001_12'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_0101_13'], 'c_1010_4' : negation(d['c_0011_11']), 'c_1010_3' : d['c_0110_4'], 'c_1010_2' : d['c_0110_4'], 'c_1010_1' : d['c_0110_4'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_13'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : d['c_1100_11'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : 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' : d['c_1100_11'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(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_3_11' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_13']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : 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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_6'], 'c_0110_10' : d['c_0101_6'], 'c_0110_13' : d['c_0101_9'], 'c_0110_12' : negation(d['c_0011_13']), 'c_0110_14' : negation(d['c_0011_12']), 'c_0101_12' : negation(d['c_0011_13']), 'c_0110_0' : d['c_0011_3'], 's_3_12' : d['1'], 's_0_8' : d['1'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_13'], 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_6'], '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_13'], 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_1001_12']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : negation(d['c_0011_13']), 'c_0110_6' : d['c_0011_10'], 'c_0101_13' : d['c_0101_13']})} 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_11, c_0011_12, c_0011_13, c_0011_3, c_0101_0, c_0101_13, c_0101_14, c_0101_6, c_0101_9, c_0110_4, c_1001_12, c_1001_2, c_1100_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 5 Groebner basis: [ t + 3318653/30107*c_1100_11^4 - 7359182/30107*c_1100_11^3 + 332082/4301*c_1100_11^2 + 486733/30107*c_1100_11 + 2725141/30107, c_0011_0 - 1, c_0011_10 - c_1100_11^3 + 2*c_1100_11, c_0011_11 + 2*c_1100_11^4 - c_1100_11^3 - 4*c_1100_11^2 + 2*c_1100_11 + 2, c_0011_12 - c_1100_11^2 + 1, c_0011_13 + c_1100_11^3 - 2*c_1100_11, c_0011_3 + c_1100_11^3 - 2*c_1100_11, c_0101_0 + c_1100_11^2 - 1, c_0101_13 + 1, c_0101_14 - 2*c_1100_11^4 + 4*c_1100_11^2 - 1, c_0101_6 + c_1100_11^2 - 1, c_0101_9 + c_1100_11^4 - c_1100_11^2 - 1, c_0110_4 - c_1100_11^4 + 3*c_1100_11^2 - 1, c_1001_12 + c_1100_11, c_1001_2 + c_1100_11^4 - 2*c_1100_11^3 - c_1100_11^2 + 2*c_1100_11 - 1, c_1100_11^5 - c_1100_11^4 - 2*c_1100_11^3 + c_1100_11^2 + c_1100_11 + 1 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_3, c_0101_0, c_0101_13, c_0101_14, c_0101_6, c_0101_9, c_0110_4, c_1001_12, c_1001_2, c_1100_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 13970014/42567847*c_1100_11^9 + 165778820/42567847*c_1100_11^8 - 9721737/635341*c_1100_11^7 + 516922324/42567847*c_1100_11^6 + 19097187/320059*c_1100_11^5 - 4855726402/42567847*c_1100_11^4 - 119020883/2240413*c_1100_11^3 + 6809667/33439*c_1100_11^2 - 155720007/42567847*c_1100_11 - 690346462/6081121, c_0011_0 - 1, c_0011_10 + 40/281*c_1100_11^9 - 450/281*c_1100_11^8 + 1752/281*c_1100_11^7 - 1737/281*c_1100_11^6 - 5416/281*c_1100_11^5 + 12501/281*c_1100_11^4 + 2732/281*c_1100_11^3 - 20657/281*c_1100_11^2 + 2373/281*c_1100_11 + 11294/281, c_0011_11 + 243/281*c_1100_11^9 - 1961/281*c_1100_11^8 + 3787/281*c_1100_11^7 + 6104/281*c_1100_11^6 - 21325/281*c_1100_11^5 - 5427/281*c_1100_11^4 + 38824/281*c_1100_11^3 + 5813/281*c_1100_11^2 - 26041/281*c_1100_11 - 9802/281, c_0011_12 - 47/281*c_1100_11^9 + 318/281*c_1100_11^8 - 204/281*c_1100_11^7 - 2448/281*c_1100_11^6 + 3329/281*c_1100_11^5 + 7138/281*c_1100_11^4 - 9926/281*c_1100_11^3 - 10846/281*c_1100_11^2 + 9372/281*c_1100_11 + 8212/281, c_0011_13 - 203/281*c_1100_11^9 + 1511/281*c_1100_11^8 - 2035/281*c_1100_11^7 - 7841/281*c_1100_11^6 + 15909/281*c_1100_11^5 + 17928/281*c_1100_11^4 - 36092/281*c_1100_11^3 - 26470/281*c_1100_11^2 + 28414/281*c_1100_11 + 21096/281, c_0011_3 - 203/281*c_1100_11^9 + 1511/281*c_1100_11^8 - 2035/281*c_1100_11^7 - 7841/281*c_1100_11^6 + 15909/281*c_1100_11^5 + 17928/281*c_1100_11^4 - 36092/281*c_1100_11^3 - 26470/281*c_1100_11^2 + 28414/281*c_1100_11 + 21096/281, c_0101_0 + 47/281*c_1100_11^9 - 318/281*c_1100_11^8 + 204/281*c_1100_11^7 + 2448/281*c_1100_11^6 - 3329/281*c_1100_11^5 - 7138/281*c_1100_11^4 + 9926/281*c_1100_11^3 + 10846/281*c_1100_11^2 - 9372/281*c_1100_11 - 8212/281, c_0101_13 + 1, c_0101_14 - 13/281*c_1100_11^9 + 357/281*c_1100_11^8 - 2143/281*c_1100_11^7 + 3227/281*c_1100_11^6 + 6481/281*c_1100_11^5 - 17319/281*c_1100_11^4 - 4569/281*c_1100_11^3 + 25674/281*c_1100_11^2 - 427/281*c_1100_11 - 11946/281, c_0101_6 - 106/281*c_1100_11^9 + 771/281*c_1100_11^8 - 1046/281*c_1100_11^7 - 3560/281*c_1100_11^6 + 7215/281*c_1100_11^5 + 6957/281*c_1100_11^4 - 14602/281*c_1100_11^3 - 8217/281*c_1100_11^2 + 10136/281*c_1100_11 + 5505/281, c_0101_9 + 597/281*c_1100_11^9 - 4398/281*c_1100_11^8 + 6029/281*c_1100_11^7 + 21206/281*c_1100_11^6 - 43798/281*c_1100_11^5 - 43962/281*c_1100_11^4 + 93013/281*c_1100_11^3 + 59727/281*c_1100_11^2 - 69122/281*c_1100_11 - 46107/281, c_0110_4 - 503/281*c_1100_11^9 + 3762/281*c_1100_11^8 - 5621/281*c_1100_11^7 - 16310/281*c_1100_11^6 + 37140/281*c_1100_11^5 + 29686/281*c_1100_11^4 - 73161/281*c_1100_11^3 - 38035/281*c_1100_11^2 + 50378/281*c_1100_11 + 29683/281, c_1001_12 - 273/281*c_1100_11^9 + 1877/281*c_1100_11^8 - 1729/281*c_1100_11^7 - 11475/281*c_1100_11^6 + 16676/281*c_1100_11^5 + 29701/281*c_1100_11^4 - 39468/281*c_1100_11^3 - 41673/281*c_1100_11^2 + 30373/281*c_1100_11 + 27043/281, c_1001_2 + 90/281*c_1100_11^9 - 591/281*c_1100_11^8 + 289/281*c_1100_11^7 + 4592/281*c_1100_11^6 - 5161/281*c_1100_11^5 - 14093/281*c_1100_11^4 + 14858/281*c_1100_11^3 + 22156/281*c_1100_11^2 - 13558/281*c_1100_11 - 15474/281, c_1100_11^10 - 9*c_1100_11^9 + 22*c_1100_11^8 + 20*c_1100_11^7 - 133*c_1100_11^6 + 43*c_1100_11^5 + 285*c_1100_11^4 - 152*c_1100_11^3 - 293*c_1100_11^2 + 112*c_1100_11 + 133 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_3, c_0101_0, c_0101_13, c_0101_14, c_0101_6, c_0101_9, c_0110_4, c_1001_12, c_1001_2, c_1100_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 1/119*c_1001_2*c_1100_11^4 + 162/119*c_1001_2*c_1100_11^3 - 2/17*c_1001_2*c_1100_11^2 - 139/119*c_1001_2*c_1100_11 - 165/119*c_1001_2 - 60/119*c_1100_11^4 - 200/119*c_1100_11^3 + 35/17*c_1100_11^2 + 129/119*c_1100_11 + 23/119, c_0011_0 - 1, c_0011_10 + c_1001_2*c_1100_11 - c_1001_2 + c_1100_11^4 - c_1100_11^3 - c_1100_11^2 + 1, c_0011_11 + c_1001_2*c_1100_11 - c_1001_2 + c_1100_11^4 - 2*c_1100_11^3 - c_1100_11^2 + 2*c_1100_11 + 1, c_0011_12 - c_1100_11^2 + 1, c_0011_13 + c_1100_11^3 - 2*c_1100_11, c_0011_3 - c_1001_2*c_1100_11 + c_1001_2 - c_1100_11^4 + c_1100_11^3 + c_1100_11^2 - 1, c_0101_0 - c_1001_2*c_1100_11^2 + c_1001_2*c_1100_11 + c_1001_2 - c_1100_11^4 + c_1100_11^3 + 2*c_1100_11^2 - 2*c_1100_11, c_0101_13 + 1, c_0101_14 + c_1001_2*c_1100_11^4 - c_1001_2*c_1100_11^3 - c_1001_2*c_1100_11^2 + c_1001_2 - c_1100_11^4 + 3*c_1100_11^3 - 3*c_1100_11 - 1, c_0101_6 - c_1001_2*c_1100_11^2 + c_1001_2*c_1100_11 + c_1001_2 - c_1100_11^4 + c_1100_11^3 + 2*c_1100_11^2 - 2*c_1100_11, c_0101_9 + c_1100_11^4 - c_1100_11^2 - 1, c_0110_4 + c_1001_2 - c_1100_11^4 + 2*c_1100_11^3 + c_1100_11^2 - 2*c_1100_11 - 1, c_1001_12 + c_1100_11, c_1001_2^2 - c_1001_2*c_1100_11^4 + 2*c_1001_2*c_1100_11^3 + c_1001_2*c_1100_11^2 - 2*c_1001_2*c_1100_11 - c_1001_2 - c_1100_11^3 + c_1100_11^2 - 1, c_1100_11^5 - c_1100_11^4 - 2*c_1100_11^3 + c_1100_11^2 + c_1100_11 + 1 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_3, c_0101_0, c_0101_13, c_0101_14, c_0101_6, c_0101_9, c_0110_4, c_1001_12, c_1001_2, c_1100_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 1844671835728/1536970699271*c_1100_11^11 + 1273474800336/219567242753*c_1100_11^10 - 15710611802264/1536970699271*c_1100_11^9 - 16992062347144/1536970699271*c_1100_11^8 + 103761554016363/1536970699271*c_1100_11^7 - 49793407764665/1536970699271*c_1100_11^6 - 206630880653394/1536970699271*c_1100_11^5 + 162738281942009/1536970699271*c_1100_11^4 + 26218155550102/219567242753*c_1100_11^3 - 146499250004426/1536970699271*c_1100_11^2 - 10746902144252/219567242753*c_1100_11 + 40427225461601/1536970699271, c_0011_0 - 1, c_0011_10 + 11279111505/219567242753*c_1100_11^11 - 117459580767/439134485506*c_1100_11^10 + 248451648319/439134485506*c_1100_11^9 + 27344052548/219567242753*c_1100_11^8 - 572457397130/219567242753*c_1100_11^7 + 1017185662611/439134485506*c_1100_11^6 + 1685891752501/439134485506*c_1100_11^5 - 1983743565967/439134485506*c_1100_11^4 - 568622185409/219567242753*c_1100_11^3 + 1134853152039/439134485506*c_1100_11^2 + 235540982588/219567242753*c_1100_11 - 222560983657/439134485506, c_0011_11 - 9343359135/219567242753*c_1100_11^11 + 49842824069/439134485506*c_1100_11^10 + 11072009481/439134485506*c_1100_11^9 - 222998352143/219567242753*c_1100_11^8 + 341991617621/219567242753*c_1100_11^7 + 1175962630177/439134485506*c_1100_11^6 - 2200143997161/439134485506*c_1100_11^5 - 1415928353571/439134485506*c_1100_11^4 + 1194984751303/219567242753*c_1100_11^3 + 870658975815/439134485506*c_1100_11^2 - 367992800186/219567242753*c_1100_11 - 377046455309/439134485506, c_0011_12 + 1700832800/219567242753*c_1100_11^11 - 2821468522/219567242753*c_1100_11^10 - 4705937683/219567242753*c_1100_11^9 + 49031967988/219567242753*c_1100_11^8 - 64020340550/219567242753*c_1100_11^7 - 86047752872/219567242753*c_1100_11^6 + 180988067031/219567242753*c_1100_11^5 - 113743790718/219567242753*c_1100_11^4 - 21898962432/219567242753*c_1100_11^3 + 357031631884/219567242753*c_1100_11^2 - 81043155434/219567242753*c_1100_11 - 178676079626/219567242753, c_0011_13 + 25875120/275492149*c_1100_11^11 - 104957594/275492149*c_1100_11^10 + 148920727/275492149*c_1100_11^9 + 314105903/275492149*c_1100_11^8 - 1147363883/275492149*c_1100_11^7 - 99609139/275492149*c_1100_11^6 + 2437914523/275492149*c_1100_11^5 - 356220334/275492149*c_1100_11^4 - 2212806696/275492149*c_1100_11^3 + 165742896/275492149*c_1100_11^2 + 757256942/275492149*c_1100_11 + 96916858/275492149, c_0011_3 - 9343359135/219567242753*c_1100_11^11 + 49842824069/439134485506*c_1100_11^10 + 11072009481/439134485506*c_1100_11^9 - 222998352143/219567242753*c_1100_11^8 + 341991617621/219567242753*c_1100_11^7 + 1175962630177/439134485506*c_1100_11^6 - 2200143997161/439134485506*c_1100_11^5 - 1415928353571/439134485506*c_1100_11^4 + 1194984751303/219567242753*c_1100_11^3 + 870658975815/439134485506*c_1100_11^2 - 367992800186/219567242753*c_1100_11 - 377046455309/439134485506, c_0101_0 - 13076945967/219567242753*c_1100_11^11 + 110946487333/439134485506*c_1100_11^10 - 163062004163/439134485506*c_1100_11^9 - 157210201018/219567242753*c_1100_11^8 + 601774230433/219567242753*c_1100_11^7 + 173465421759/439134485506*c_1100_11^6 - 3104520973791/439134485506*c_1100_11^5 + 542274061029/439134485506*c_1100_11^4 + 2084954886135/219567242753*c_1100_11^3 - 1004882782001/439134485506*c_1100_11^2 - 1222883026369/219567242753*c_1100_11 + 227136611881/439134485506, c_0101_13 + 1, c_0101_14 + 536157489/219567242753*c_1100_11^11 + 41334257161/439134485506*c_1100_11^10 - 178133753637/439134485506*c_1100_11^9 + 164956944520/219567242753*c_1100_11^8 + 146684197622/219567242753*c_1100_11^7 - 1649686663575/439134485506*c_1100_11^6 + 324612020445/439134485506*c_1100_11^5 + 2474647605937/439134485506*c_1100_11^4 - 368380033024/219567242753*c_1100_11^3 - 1388338487827/439134485506*c_1100_11^2 - 13284627170/219567242753*c_1100_11 + 106766509565/439134485506, c_0101_6 + 5185056149/219567242753*c_1100_11^11 - 23121358619/439134485506*c_1100_11^10 - 4318956917/439134485506*c_1100_11^9 + 110430652714/219567242753*c_1100_11^8 - 142239561371/219567242753*c_1100_11^7 - 565432733093/439134485506*c_1100_11^6 + 817687462503/439134485506*c_1100_11^5 + 281053781913/439134485506*c_1100_11^4 - 243679996167/219567242753*c_1100_11^3 + 276705345151/439134485506*c_1100_11^2 - 83657486007/219567242753*c_1100_11 - 241995303835/439134485506, c_0101_9 - 3520141118/219567242753*c_1100_11^11 + 1983961631/219567242753*c_1100_11^10 + 7473421416/219567242753*c_1100_11^9 - 37915891630/219567242753*c_1100_11^8 - 83053452313/219567242753*c_1100_11^7 + 266244270041/219567242753*c_1100_11^6 + 471553061835/219567242753*c_1100_11^5 - 694923429337/219567242753*c_1100_11^4 - 1009859625549/219567242753*c_1100_11^3 + 531709601944/219567242753*c_1100_11^2 + 791487839470/219567242753*c_1100_11 + 82218363020/219567242753, c_0110_4 - 12119690589/219567242753*c_1100_11^11 + 87017917867/439134485506*c_1100_11^10 - 122134853023/439134485506*c_1100_11^9 - 128540861246/219567242753*c_1100_11^8 + 403274253063/219567242753*c_1100_11^7 + 268329323941/439134485506*c_1100_11^6 - 1256081835877/439134485506*c_1100_11^5 - 297854232713/439134485506*c_1100_11^4 + 388805023208/219567242753*c_1100_11^3 + 34760389913/439134485506*c_1100_11^2 - 87452629531/219567242753*c_1100_11 + 269679476243/439134485506, c_1001_12 + 5504253204/219567242753*c_1100_11^11 - 13518680328/219567242753*c_1100_11^10 - 24564700599/219567242753*c_1100_11^9 + 203761933769/219567242753*c_1100_11^8 - 278714090185/219567242753*c_1100_11^7 - 595517315395/219567242753*c_1100_11^6 + 1362089156200/219567242753*c_1100_11^5 + 550603886009/219567242753*c_1100_11^4 - 1959547688030/219567242753*c_1100_11^3 - 276068077105/219567242753*c_1100_11^2 + 890674518553/219567242753*c_1100_11 + 75850783907/219567242753, c_1001_2 - 12119690589/219567242753*c_1100_11^11 + 87017917867/439134485506*c_1100_11^10 - 122134853023/439134485506*c_1100_11^9 - 128540861246/219567242753*c_1100_11^8 + 403274253063/219567242753*c_1100_11^7 + 268329323941/439134485506*c_1100_11^6 - 1256081835877/439134485506*c_1100_11^5 - 297854232713/439134485506*c_1100_11^4 + 388805023208/219567242753*c_1100_11^3 + 34760389913/439134485506*c_1100_11^2 - 87452629531/219567242753*c_1100_11 + 269679476243/439134485506, c_1100_11^12 - 9/2*c_1100_11^11 + 7*c_1100_11^10 + 23/2*c_1100_11^9 - 52*c_1100_11^8 + 17/2*c_1100_11^7 + 115*c_1100_11^6 - 45*c_1100_11^5 - 235/2*c_1100_11^4 + 67/2*c_1100_11^3 + 107/2*c_1100_11^2 - 3/2*c_1100_11 + 7/2 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_3, c_0101_0, c_0101_13, c_0101_14, c_0101_6, c_0101_9, c_0110_4, c_1001_12, c_1001_2, c_1100_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 47703547696/1663698399*c_1100_11^13 + 96461458880/1663698399*c_1100_11^12 + 215464936028/1663698399*c_1100_11^11 - 606860009416/1663698399*c_1100_11^10 - 39983199170/554566133*c_1100_11^9 + 387479100287/554566133*c_1100_11^8 - 475877916667/1663698399*c_1100_11^7 - 748443380990/1663698399*c_1100_11^6 + 215960036365/554566133*c_1100_11^5 - 40784550494/1663698399*c_1100_11^4 - 84652544237/554566133*c_1100_11^3 + 50306421901/554566133*c_1100_11^2 - 31370797588/1663698399*c_1100_11 + 310465879/1663698399, c_0011_0 - 1, c_0011_10 + 20014488/2191961*c_1100_11^13 - 21843076/2191961*c_1100_11^12 - 109166496/2191961*c_1100_11^11 + 112721364/2191961*c_1100_11^10 + 266362799/2191961*c_1100_11^9 - 216790899/2191961*c_1100_11^8 - 363425053/2191961*c_1100_11^7 + 190028601/2191961*c_1100_11^6 + 278111095/2191961*c_1100_11^5 - 66369492/2191961*c_1100_11^4 - 81247684/2191961*c_1100_11^3 + 31506846/2191961*c_1100_11^2 + 15967050/2191961*c_1100_11 - 7092348/2191961, c_0011_11 + 3657176/2191961*c_1100_11^13 - 3654964/2191961*c_1100_11^12 - 14377416/2191961*c_1100_11^11 + 5303636/2191961*c_1100_11^10 + 34462871/2191961*c_1100_11^9 + 19704251/2191961*c_1100_11^8 - 62989663/2191961*c_1100_11^7 - 50965403/2191961*c_1100_11^6 + 65600161/2191961*c_1100_11^5 + 41086034/2191961*c_1100_11^4 - 24174448/2191961*c_1100_11^3 - 5430876/2191961*c_1100_11^2 + 10137258/2191961*c_1100_11 + 2295196/2191961, c_0011_12 + 9240200/2191961*c_1100_11^13 - 21457812/2191961*c_1100_11^12 - 34086980/2191961*c_1100_11^11 + 105674940/2191961*c_1100_11^10 + 42283209/2191961*c_1100_11^9 - 206733622/2191961*c_1100_11^8 - 20467430/2191961*c_1100_11^7 + 202751584/2191961*c_1100_11^6 + 10473847/2191961*c_1100_11^5 - 100569380/2191961*c_1100_11^4 - 6098708/2191961*c_1100_11^3 + 23232366/2191961*c_1100_11^2 - 892936/2191961*c_1100_11 - 4013368/2191961, c_0011_13 - 20014488/2191961*c_1100_11^13 + 21843076/2191961*c_1100_11^12 + 109166496/2191961*c_1100_11^11 - 112721364/2191961*c_1100_11^10 - 266362799/2191961*c_1100_11^9 + 216790899/2191961*c_1100_11^8 + 363425053/2191961*c_1100_11^7 - 190028601/2191961*c_1100_11^6 - 278111095/2191961*c_1100_11^5 + 66369492/2191961*c_1100_11^4 + 81247684/2191961*c_1100_11^3 - 31506846/2191961*c_1100_11^2 - 15967050/2191961*c_1100_11 + 7092348/2191961, c_0011_3 + 10331128/2191961*c_1100_11^13 - 16067524/2191961*c_1100_11^12 - 44329640/2191961*c_1100_11^11 + 73993716/2191961*c_1100_11^10 + 76012135/2191961*c_1100_11^9 - 118495777/2191961*c_1100_11^8 - 65744037/2191961*c_1100_11^7 + 66575020/2191961*c_1100_11^6 + 28688963/2191961*c_1100_11^5 + 9345113/2191961*c_1100_11^4 + 8555868/2191961*c_1100_11^3 - 4674379/2191961*c_1100_11^2 + 97391/2191961*c_1100_11 + 1859402/2191961, c_0101_0 - 8283800/2191961*c_1100_11^13 + 11783572/2191961*c_1100_11^12 + 41411936/2191961*c_1100_11^11 - 61886328/2191961*c_1100_11^10 - 86896839/2191961*c_1100_11^9 + 121986617/2191961*c_1100_11^8 + 98164602/2191961*c_1100_11^7 - 110619550/2191961*c_1100_11^6 - 60452568/2191961*c_1100_11^5 + 38327481/2191961*c_1100_11^4 + 7487632/2191961*c_1100_11^3 - 4126617/2191961*c_1100_11^2 + 504178/2191961*c_1100_11 - 1326769/2191961, c_0101_13 + 1, c_0101_14 + 16357312/2191961*c_1100_11^13 - 18188112/2191961*c_1100_11^12 - 94789080/2191961*c_1100_11^11 + 107417728/2191961*c_1100_11^10 + 231899928/2191961*c_1100_11^9 - 236495150/2191961*c_1100_11^8 - 300435390/2191961*c_1100_11^7 + 240994004/2191961*c_1100_11^6 + 212510934/2191961*c_1100_11^5 - 107455526/2191961*c_1100_11^4 - 57073236/2191961*c_1100_11^3 + 36937722/2191961*c_1100_11^2 + 5829792/2191961*c_1100_11 - 7195583/2191961, c_0101_6 - 9240200/2191961*c_1100_11^13 + 21457812/2191961*c_1100_11^12 + 34086980/2191961*c_1100_11^11 - 105674940/2191961*c_1100_11^10 - 42283209/2191961*c_1100_11^9 + 206733622/2191961*c_1100_11^8 + 20467430/2191961*c_1100_11^7 - 202751584/2191961*c_1100_11^6 - 10473847/2191961*c_1100_11^5 + 100569380/2191961*c_1100_11^4 + 6098708/2191961*c_1100_11^3 - 23232366/2191961*c_1100_11^2 + 892936/2191961*c_1100_11 + 4013368/2191961, c_0101_9 - 13980904/2191961*c_1100_11^13 + 18521860/2191961*c_1100_11^12 + 74016700/2191961*c_1100_11^11 - 99525024/2191961*c_1100_11^10 - 170572449/2191961*c_1100_11^9 + 204791534/2191961*c_1100_11^8 + 218442531/2191961*c_1100_11^7 - 203245890/2191961*c_1100_11^6 - 161385790/2191961*c_1100_11^5 + 97932052/2191961*c_1100_11^4 + 46999763/2191961*c_1100_11^3 - 40014881/2191961*c_1100_11^2 - 9126550/2191961*c_1100_11 + 7160385/2191961, c_0110_4 + 8178656/2191961*c_1100_11^13 - 9094056/2191961*c_1100_11^12 - 47394540/2191961*c_1100_11^11 + 53708864/2191961*c_1100_11^10 + 115949964/2191961*c_1100_11^9 - 118247575/2191961*c_1100_11^8 - 150217695/2191961*c_1100_11^7 + 120497002/2191961*c_1100_11^6 + 106255467/2191961*c_1100_11^5 - 53727763/2191961*c_1100_11^4 - 28536618/2191961*c_1100_11^3 + 20660822/2191961*c_1100_11^2 + 2914896/2191961*c_1100_11 - 4693772/2191961, c_1001_12 - 3933896/2191961*c_1100_11^13 + 2295660/2191961*c_1100_11^12 + 29941152/2191961*c_1100_11^11 - 21605764/2191961*c_1100_11^10 - 89816157/2191961*c_1100_11^9 + 64890057/2191961*c_1100_11^8 + 138344869/2191961*c_1100_11^7 - 89666991/2191961*c_1100_11^6 - 117859890/2191961*c_1100_11^5 + 63549465/2191961*c_1100_11^4 + 49560166/2191961*c_1100_11^3 - 29402807/2191961*c_1100_11^2 - 9903215/2191961*c_1100_11 + 6567797/2191961, c_1001_2 - 29175928/2191961*c_1100_11^13 + 42749900/2191961*c_1100_11^12 + 137523380/2191961*c_1100_11^11 - 211312856/2191961*c_1100_11^10 - 276803043/2191961*c_1100_11^9 + 390241574/2191961*c_1100_11^8 + 309778899/2191961*c_1100_11^7 - 327831346/2191961*c_1100_11^6 - 203131100/2191961*c_1100_11^5 + 111145186/2191961*c_1100_11^4 + 38023295/2191961*c_1100_11^3 - 39490703/2191961*c_1100_11^2 - 7913086/2191961*c_1100_11 + 4850335/2191961, c_1100_11^14 - 3/2*c_1100_11^13 - 5*c_1100_11^12 + 8*c_1100_11^11 + 85/8*c_1100_11^10 - 133/8*c_1100_11^9 - 49/4*c_1100_11^8 + 17*c_1100_11^7 + 63/8*c_1100_11^6 - 69/8*c_1100_11^5 - 11/8*c_1100_11^4 + 3*c_1100_11^3 - 1/8*c_1100_11^2 - 1/2*c_1100_11 + 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 12.160 Total time: 12.369 seconds, Total memory usage: 151.19MB