Magma V2.22-2 Sun Aug 9 2020 22:19:14 on zickert [Seed = 1811965922] Type ? for help. Type -D to quit. Loading file "ptolemy_data_ht/11_tetrahedra/L14n38424__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n38424 degenerate_solution 3.66386243 oriented_manifold CS_unknown 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 1 2 1 2 0132 0132 1023 1023 1 1 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 1 -1 0 0 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.999999997891 0.000000000603 0 3 0 4 0132 0132 1023 0132 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 -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.999999997891 0.000000000603 5 0 6 0 0132 0132 0132 1023 1 1 0 0 0 0 0 0 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 0 0 0 0 0 -1 1 3 0 0 -3 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.999999997891 0.000000000603 7 1 6 4 0132 0132 3012 1230 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 -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.999999999322 -0.000000000377 3 6 1 8 3012 3012 0132 0132 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 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 -1.000000011573 2.000000005912 2 7 7 7 0132 3120 0132 0132 0 1 0 0 0 0 0 0 0 0 0 0 -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 1 -1 0 0 0 0 0 3 -2 0 -1 -3 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.000000004218 -0.000000002627 4 3 9 2 1230 1230 0132 0132 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 -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 -1.000000001809 2.000000003578 3 5 5 5 0132 3120 0132 0132 0 1 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 -1 0 1 0 0 0 0 0 2 0 -2 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.999999995782 0.000000002634 10 10 4 9 0132 1230 0132 0132 1 1 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 0 0 0 0 0 0 0 0 0 0 0 3 -4 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.199999999760 0.400000000325 10 10 8 6 3012 0132 0132 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.199999999773 0.400000001535 8 9 8 9 0132 0132 3012 1230 1 1 1 1 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 -1 0 0 -3 -1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.000000002022 1.999999999984 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d: { 'c_1001_5' : - d['c_0011_0'], 'c_1001_7' : d['c_0011_0'], 'c_1010_5' : d['c_0011_0'], 'c_0011_0' : d['c_0011_0'], 'c_0011_1' : - d['c_0011_0'], 'c_0011_2' : - d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_7' : - d['c_0011_0'], 'c_1010_7' : - d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_1001_1' : d['c_0101_0'], 'c_1010_3' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_0110_0' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0110_7' : d['c_0101_3'], 'c_1010_0' : d['c_0101_3'], 'c_1001_2' : d['c_0101_3'], 'c_0110_2' : d['c_0101_3'], 'c_0101_5' : d['c_0101_3'], 'c_1010_6' : d['c_0101_3'], 'c_1100_0' : d['c_1100_0'], 'c_1100_1' : - d['c_1100_0'], 'c_1100_2' : - d['c_1100_0'], 'c_1100_4' : - d['c_1100_0'], 'c_1100_6' : - d['c_1100_0'], 'c_1100_8' : - d['c_1100_0'], 'c_1100_9' : - d['c_1100_0'], 'c_1010_1' : - d['c_0011_6'], 'c_1001_3' : - d['c_0011_6'], 'c_1001_4' : - d['c_0011_6'], 'c_0011_6' : d['c_0011_6'], 'c_0110_3' : d['c_0011_4'], 'c_0101_7' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0101_2' : d['c_0011_4'], 'c_0110_5' : d['c_0011_4'], 'c_0110_6' : d['c_0011_4'], 'c_0011_9' : - d['c_0011_10'], 'c_1100_3' : - d['c_0011_10'], 'c_1001_6' : d['c_0011_10'], 'c_0110_4' : - d['c_0011_10'], 'c_0101_8' : - d['c_0011_10'], 'c_1010_9' : d['c_0011_10'], 'c_0110_10' : - d['c_0011_10'], 'c_0011_8' : - d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_1001_10' : d['c_0011_10'], 'c_1010_4' : - d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_1001_8' : - d['c_0101_6'], 'c_0110_9' : d['c_0101_6'], 'c_1100_10' : d['c_0101_6'], 'c_1100_5' : d['c_1100_5'], 'c_1100_7' : d['c_1100_5'], 'c_1010_8' : d['c_0101_10'], 'c_0110_8' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 'c_0101_9' : d['c_0101_10'], 'c_1001_9' : d['c_0101_10'], 'c_1010_10' : d['c_0101_10'], 's_1_9' : d['1'], 's_0_9' : - d['1'], 's_3_8' : d['1'], 's_1_8' : d['1'], 's_0_8' : - d['1'], 's_2_6' : - d['1'], 's_3_5' : - d['1'], 's_2_5' : d['1'], 's_1_5' : - d['1'], 's_3_4' : - d['1'], 's_1_4' : d['1'], 's_3_3' : d['1'], 's_2_3' : d['1'], 's_0_3' : d['1'], 's_2_2' : - d['1'], 's_0_2' : d['1'], 's_3_1' : - d['1'], 's_1_1' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_1_0' : - d['1'], 's_0_0' : - d['1'], 's_0_1' : - d['1'], 's_1_2' : - d['1'], 's_2_1' : d['1'], 's_3_2' : d['1'], 's_1_3' : d['1'], 's_2_4' : - d['1'], 's_0_5' : d['1'], 's_3_6' : - d['1'], 's_0_7' : d['1'], 's_1_6' : d['1'], 's_0_4' : d['1'], 's_0_6' : d['1'], 's_2_8' : - d['1'], 's_1_7' : - d['1'], 's_3_7' : d['1'], 's_2_7' : - d['1'], 's_3_9' : - d['1'], 's_0_10' : - d['1'], 's_2_10' : d['1'], 's_2_9' : d['1'], 's_3_10' : - d['1'], 's_1_10' : d['1']})} PY=EVAL=SECTION=ENDS=HERE Status: Computing Groebner basis... Time: 0.040 Status: Saturating ideal ( 1 / 11 )... Time: 0.030 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 2 / 11 )... Time: 0.050 Status: Recomputing Groebner basis... Time: 0.050 Status: Saturating ideal ( 3 / 11 )... Time: 0.040 Status: Recomputing Groebner basis... Time: 0.040 Status: Saturating ideal ( 4 / 11 )... Time: 0.040 Status: Recomputing Groebner basis... Time: 0.040 Status: Saturating ideal ( 5 / 11 )... Time: 0.040 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 6 / 11 )... Time: 0.030 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 7 / 11 )... Time: 0.050 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 8 / 11 )... Time: 0.030 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 9 / 11 )... Time: 0.040 Status: Recomputing Groebner basis... Time: 0.030 Status: Saturating ideal ( 10 / 11 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 11 / 11 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Dimension of ideal: 1 [ 10 ] Status: Computing RadicalDecomposition Time: 0.080 Status: Number of components: 1 DECOMPOSITION=TYPE: RadicalDecomposition IDEAL=DECOMPOSITION=TIME: 0.880 IDEAL=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Graded Reverse Lexicographical Variables: c_0011_0, c_0011_10, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_6, c_1100_0, c_1100_5 Inhomogeneous, Dimension 1, Radical, Prime Groebner basis: [ c_0101_1*c_1100_5^3 + 30*c_0101_1*c_1100_5^2 - 20*c_0101_3*c_1100_5^2 - 6*c_1100_5^3 - c_0011_6^2 - 13/2*c_0101_10*c_0101_6 + 20*c_0101_3*c_0101_6 + 13/2*c_0101_6^2 + 9*c_0011_10*c_1100_0 + 2*c_0101_1*c_1100_0 - 7*c_0101_10*c_1100_0 + 26*c_0101_3*c_1100_0 + 11/2*c_0101_6*c_1100_0 - 15/2*c_1100_0^2 - 34*c_0011_10*c_1100_5 + 9*c_0011_6*c_1100_5 + 49*c_0101_1*c_1100_5 - 6*c_0101_10*c_1100_5 - 91*c_0101_3*c_1100_5 - 7*c_0101_6*c_1100_5 + 11*c_1100_0*c_1100_5 - 55*c_1100_5^2 - 13*c_0011_10 + 3*c_0011_6 + 16*c_0101_1 + 6*c_0101_10 - 60*c_0101_3 - 12*c_0101_6 + 3*c_1100_0 - 60*c_1100_5 - 5, c_0101_3*c_1100_5^3 + 125*c_0101_1*c_1100_5^2 - 70*c_0101_3*c_1100_5^2 - 16*c_1100_5^3 - 6*c_0011_6^2 - 35/4*c_0101_10*c_0101_6 + 125*c_0101_3*c_0101_6 + 53/4*c_0101_6^2 + 23/2*c_0011_10*c_1100_0 + 27*c_0101_1*c_1100_0 - 12*c_0101_10*c_1100_0 + 107*c_0101_3*c_1100_0 + 39/4*c_0101_6*c_1100_0 - 55/4*c_1100_0^2 - 161*c_0011_10*c_1100_5 + 53*c_0011_6*c_1100_5 + 234*c_0101_1*c_1100_5 - 19*c_0101_10*c_1100_5 - 406*c_0101_3*c_1100_5 - 12*c_0101_6*c_1100_5 + 48*c_1100_0*c_1100_5 - 239*c_1100_5^2 - 25*c_0011_10 + 17*c_0011_6 + 90*c_0101_1 + 19*c_0101_10 - 285*c_0101_3 - 37*c_0101_6 + 19*c_1100_0 - 291*c_1100_5 - 27, c_1100_5^4 - 366*c_0101_1*c_1100_5^2 + 195*c_0101_3*c_1100_5^2 + 42*c_1100_5^3 + 22*c_0011_6^2 + 11*c_0101_10*c_0101_6 - 370*c_0101_3*c_0101_6 - 34*c_0101_6^2 - 10*c_0011_10*c_1100_0 - 81*c_0101_1*c_1100_0 + 28*c_0101_10*c_1100_0 - 316*c_0101_3*c_1100_0 - 18*c_0101_6*c_1100_0 + 35*c_1100_0^2 + 475*c_0011_10*c_1100_5 - 189*c_0011_6*c_1100_5 - 727*c_0101_1*c_1100_5 + 61*c_0101_10*c_1100_5 + 1222*c_0101_3*c_1100_5 + 29*c_0101_6*c_1100_5 - 150*c_1100_0*c_1100_5 + 713*c_1100_5^2 + 59*c_0011_10 - 59*c_0011_6 - 311*c_0101_1 - 59*c_0101_10 + 878*c_0101_3 + 113*c_0101_6 - 48*c_1100_0 + 913*c_1100_5 + 90, c_0011_6^3 + 14*c_0101_1*c_1100_5^2 - 6*c_0101_3*c_1100_5^2 - c_1100_5^3 - 3*c_0011_6^2 + 18*c_0101_3*c_0101_6 + 6*c_0101_1*c_1100_0 + 11*c_0101_3*c_1100_0 - 21*c_0011_10*c_1100_5 + 13*c_0011_6*c_1100_5 + 36*c_0101_1*c_1100_5 - 55*c_0101_3*c_1100_5 + 6*c_1100_0*c_1100_5 - 30*c_1100_5^2 + 4*c_0011_10 + 5*c_0011_6 + 22*c_0101_1 - 47*c_0101_3 - 3*c_0101_6 + c_1100_0 - 49*c_1100_5 - 7, c_0101_10*c_0101_6^2 - 7/2*c_0101_10*c_0101_6*c_1100_0 + 3/2*c_0101_6^2*c_1100_0 + 6*c_0011_10*c_1100_0^2 - 3*c_0101_10*c_1100_0^2 + 5/2*c_0101_6*c_1100_0^2 - 3/2*c_1100_0^3, c_0101_3*c_0101_6^2 - 1/44*c_0101_10*c_0101_6*c_1100_5 + 19/44*c_0101_6^2*c_1100_5 + 27/22*c_0011_10*c_1100_0*c_1100_5 - 8/11*c_0101_10*c_1100_0*c_1100_5 + 29/44*c_0101_6*c_1100_0*c_1100_5 + 23/44*c_1100_0^2*c_1100_5 + 2/11*c_0101_10*c_0101_6 - 5/11*c_0101_6^2 - 20/11*c_0011_10*c_1100_0 + 20/11*c_0101_10*c_1100_0 - 3/11*c_0101_6*c_1100_0 + 9/11*c_1100_0^2, c_0101_6^3 - 7*c_0101_10*c_0101_6*c_1100_0 - 3*c_0101_6^2*c_1100_0 + 11*c_0011_10*c_1100_0^2 + c_0101_10*c_1100_0^2 + c_0101_6*c_1100_0^2 + 3*c_1100_0^3, c_0101_3*c_0101_6*c_1100_0 + 3/11*c_0101_10*c_0101_6*c_1100_5 - 2/11*c_0101_6^2*c_1100_5 - 19/11*c_0011_10*c_1100_0*c_1100_5 + 8/11*c_0101_10*c_1100_0*c_1100_5 + 1/11*c_0101_6*c_1100_0*c_1100_5 + 8/11*c_1100_0^2*c_1100_5 + 7/22*c_0101_10*c_0101_6 - 1/22*c_0101_6^2 + 9/11*c_0011_10*c_1100_0 - 9/11*c_0101_10*c_1100_0 + 17/22*c_0101_6*c_1100_0 + 15/22*c_1100_0^2, c_0101_1*c_1100_0^2 - 19/44*c_0101_10*c_0101_6*c_1100_5 + 9/44*c_0101_6^2*c_1100_5 + 51/22*c_0011_10*c_1100_0*c_1100_5 - 9/11*c_0101_10*c_1100_0*c_1100_5 + 23/44*c_0101_6*c_1100_0*c_1100_5 - 47/44*c_1100_0^2*c_1100_5 - 1/22*c_0101_10*c_0101_6 - 3/22*c_0101_6^2 - 17/11*c_0011_10*c_1100_0 + 17/11*c_0101_10*c_1100_0 - 15/22*c_0101_6*c_1100_0 + 1/22*c_1100_0^2, c_0101_3*c_1100_0^2 + 21/44*c_0101_10*c_0101_6*c_1100_5 - 3/44*c_0101_6^2*c_1100_5 - 17/22*c_0011_10*c_1100_0*c_1100_5 - 8/11*c_0101_10*c_1100_0*c_1100_5 + 7/44*c_0101_6*c_1100_0*c_1100_5 + 45/44*c_1100_0^2*c_1100_5 + 19/44*c_0101_10*c_0101_6 - 9/44*c_0101_6^2 - 51/22*c_0011_10*c_1100_0 + 9/11*c_0101_10*c_1100_0 - 23/44*c_0101_6*c_1100_0 + 47/44*c_1100_0^2, c_0011_6^2*c_1100_5 - c_0011_6*c_1100_5 - c_1100_0*c_1100_5 - c_0101_3 - c_0101_6 - c_1100_0 + 1, c_0101_3*c_0101_6*c_1100_5 - 3/4*c_0101_10*c_0101_6 - 8*c_0101_3*c_0101_6 + 9/4*c_0101_6^2 + 3/2*c_0011_10*c_1100_0 - 3*c_0101_1*c_1100_0 - 2*c_0101_10*c_1100_0 + 2*c_0101_3*c_1100_0 + 7/4*c_0101_6*c_1100_0 - 7/4*c_1100_0^2 + 4*c_0011_10*c_1100_5 + 2*c_0011_6*c_1100_5 - 3*c_0101_10*c_1100_5 - 2*c_0101_6*c_1100_5 - c_1100_0*c_1100_5 - 5*c_0011_10 + 2*c_0101_1 + 2*c_0101_10 + 2*c_0101_3 - 5*c_0101_6 - 2*c_1100_0, c_0101_1*c_1100_0*c_1100_5 - 3/4*c_0101_10*c_0101_6 - c_0101_3*c_0101_6 + 1/4*c_0101_6^2 + 1/2*c_0011_10*c_1100_0 - c_0101_1*c_1100_0 - 2*c_0101_3*c_1100_0 - 1/4*c_0101_6*c_1100_0 - 3/4*c_1100_0^2 + c_0011_10*c_1100_5 + c_0011_6*c_1100_5 - c_1100_0*c_1100_5 + c_0011_10 + c_0101_1 + c_0101_3 - c_1100_0, c_0101_3*c_1100_0*c_1100_5 - 3/4*c_0101_10*c_0101_6 + 1/4*c_0101_6^2 + 1/2*c_0011_10*c_1100_0 - c_0101_1*c_1100_0 + 3/4*c_0101_6*c_1100_0 + 1/4*c_1100_0^2 + c_0011_10*c_1100_5 + c_1100_0*c_1100_5 - c_1100_0, c_0011_10*c_1100_5^2 - 3*c_0101_10*c_0101_6 - 13*c_0101_3*c_0101_6 + 4*c_0101_6^2 + 4*c_0011_10*c_1100_0 - 6*c_0101_1*c_1100_0 - 4*c_0101_10*c_1100_0 + 2*c_0101_3*c_1100_0 + 3*c_0101_6*c_1100_0 - 4*c_1100_0^2 + 6*c_0011_10*c_1100_5 + 3*c_0011_6*c_1100_5 - 4*c_0101_10*c_1100_5 - 4*c_0101_6*c_1100_5 - c_1100_0*c_1100_5 - 7*c_0011_10 + 3*c_0101_1 + 3*c_0101_10 + 3*c_0101_3 - 7*c_0101_6 - 4*c_1100_0, c_0011_6*c_1100_5^2 - c_0101_3*c_0101_6 - c_0101_3*c_1100_0 + 2*c_0011_10*c_1100_5 + c_0011_6*c_1100_5 + c_0101_1*c_1100_5 + c_0101_3*c_1100_5 - c_1100_0*c_1100_5 + c_0011_10 + c_0101_1 + c_0101_3 - c_1100_0, c_0101_10*c_1100_5^2 - 31/4*c_0101_10*c_0101_6 + 6*c_0101_3*c_0101_6 + 1/4*c_0101_6^2 + 23/2*c_0011_10*c_1100_0 + 5*c_0101_1*c_1100_0 - 2*c_0101_10*c_1100_0 - c_0101_3*c_1100_0 + 15/4*c_0101_6*c_1100_0 - 3/4*c_1100_0^2 + 4*c_0011_10*c_1100_5 - 3*c_0011_6*c_1100_5 + 4*c_0101_6*c_1100_5 - 2*c_1100_0*c_1100_5 - 2*c_0011_10 - 3*c_0101_1 + 4*c_0101_10 - 3*c_0101_3 + c_1100_0, c_0101_6*c_1100_5^2 + 1/4*c_0101_10*c_0101_6 + 20*c_0101_3*c_0101_6 - 23/4*c_0101_6^2 + 1/2*c_0011_10*c_1100_0 + 11*c_0101_1*c_1100_0 + 4*c_0101_10*c_1100_0 - 2*c_0101_3*c_1100_0 - 9/4*c_0101_6*c_1100_0 + 21/4*c_1100_0^2 - 8*c_0011_10*c_1100_5 - 6*c_0011_6*c_1100_5 + 7*c_0101_10*c_1100_5 + 6*c_0101_6*c_1100_5 + 2*c_1100_0*c_1100_5 + 8*c_0011_10 - 6*c_0101_1 - 2*c_0101_10 - 6*c_0101_3 + 10*c_0101_6 + 6*c_1100_0, c_1100_0*c_1100_5^2 + 2*c_0101_10*c_0101_6 - c_0101_3*c_0101_6 - c_0101_6^2 - 3*c_0011_10*c_1100_0 + c_0101_10*c_1100_0 - c_0101_3*c_1100_0 - 2*c_0101_6*c_1100_0 + c_1100_0^2 + 2*c_0011_6*c_1100_5 + c_0101_6*c_1100_5 - 2*c_1100_0*c_1100_5 + 2*c_0011_10 + 2*c_0101_1 + 2*c_0101_3 + c_1100_0, c_0011_10^2 + 1/2*c_0101_10*c_0101_6 - 1/2*c_0101_6^2 - c_0011_10*c_1100_0 + c_0101_10*c_1100_0 - 1/2*c_0101_6*c_1100_0 + 1/2*c_1100_0^2, c_0011_10*c_0011_6 + c_0101_3*c_1100_0 + c_1100_0*c_1100_5 + c_0101_6, c_0011_10*c_0101_1 - c_0101_3*c_1100_0 + c_0011_6*c_1100_5 - c_1100_0*c_1100_5 + c_0011_10 + c_0101_1 + c_0101_3, c_0011_6*c_0101_1 + c_1100_0 - 1, c_0101_1^2 - c_0101_3 - c_1100_0, c_0011_10*c_0101_10 + c_0101_10*c_0101_6 - c_0011_10*c_1100_0, c_0011_6*c_0101_10 - 4*c_0101_3*c_0101_6 - 3*c_0101_1*c_1100_0 + c_0011_10*c_1100_5 + 3*c_0011_6*c_1100_5 - c_0101_6*c_1100_5 + 3*c_0011_10 + 3*c_0101_1 - c_0101_10 + 3*c_0101_3, c_0101_1*c_0101_10 + c_0101_3*c_0101_6 - c_0101_3*c_1100_0 - 2*c_0011_10*c_1100_5 + c_0101_10*c_1100_5 - c_0101_6*c_1100_5 + 3*c_0011_10 - 2*c_0101_10 + 2*c_0101_6 - c_1100_0, c_0101_10^2 + 1/4*c_0101_10*c_0101_6 + 1/4*c_0101_6^2 - 1/2*c_0011_10*c_1100_0 - 1/4*c_0101_6*c_1100_0 + 1/4*c_1100_0^2, c_0011_10*c_0101_3 - c_0101_3*c_0101_6 - c_0101_1*c_1100_0 + c_0011_10*c_1100_5 + c_0011_6*c_1100_5 + c_0011_10 + c_0101_1 + c_0101_3, c_0011_6*c_0101_3 + c_0011_6*c_1100_5 + c_0011_10 + c_0101_3, c_0101_1*c_0101_3 - c_0011_6*c_1100_5 - c_0011_10 - c_0101_1 + c_1100_5, c_0101_10*c_0101_3 - 2*c_0101_3*c_0101_6 - 2*c_0101_1*c_1100_0 + c_0011_6*c_1100_5 + c_0101_10*c_1100_5 - c_0101_6*c_1100_5 + c_1100_0*c_1100_5 + 2*c_0011_10 + c_0101_1 - c_0101_10 + c_0101_3 + c_0101_6 - c_1100_0, c_0101_3^2 + c_0011_6*c_1100_5 + c_0101_1*c_1100_5 + c_0011_10 + c_0101_1 - c_1100_0 - c_1100_5, c_0011_10*c_0101_6 - 1/4*c_0101_10*c_0101_6 + 3/4*c_0101_6^2 + 1/2*c_0011_10*c_1100_0 - c_0101_10*c_1100_0 + 1/4*c_0101_6*c_1100_0 - 1/4*c_1100_0^2, c_0011_6*c_0101_6 - 4*c_0101_3*c_0101_6 - 4*c_0101_1*c_1100_0 - 2*c_0101_3*c_1100_0 + 2*c_0011_6*c_1100_5 + c_0101_10*c_1100_5 - 2*c_0101_6*c_1100_5 + 3*c_0011_10 + 2*c_0101_1 - 2*c_0101_10 + 2*c_0101_3 - 2*c_1100_0, c_0101_1*c_0101_6 + c_0101_3*c_0101_6 + c_0101_1*c_1100_0 + c_0101_3*c_1100_0 - c_0011_10*c_1100_5 - c_0011_6*c_1100_5 - c_0101_1 - c_0101_3 + c_1100_0, c_0011_6*c_1100_0 + c_0101_1*c_1100_0 - c_0011_6*c_1100_5 - c_0011_10 - c_0101_1 - c_0101_3, c_0011_0 - 1, c_0011_4 - c_0101_3 - c_1100_5, c_0101_0 - 1 ] ] IDEAL=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ "c_1100_0" ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE Status: Finding witnesses for non-zero dimensional ideals... Status: Computing Groebner basis... Time: 0.020 Status: Saturating ideal ( 1 / 11 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 2 / 11 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 3 / 11 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 4 / 11 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 5 / 11 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 6 / 11 )... Time: 0.000 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 7 / 11 )... Time: 0.000 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 8 / 11 )... Time: 0.000 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 9 / 11 )... Time: 0.000 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 10 / 11 )... Time: 0.000 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 11 / 11 )... Time: 0.000 Status: Recomputing Groebner basis... Time: 0.000 Status: Dimension of ideal: -1 Status: Testing witness [ 1 ] ... Time: 0.000 Status: Computing Groebner basis... Time: 0.020 Status: Saturating ideal ( 1 / 11 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 2 / 11 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 3 / 11 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 4 / 11 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 5 / 11 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 6 / 11 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 7 / 11 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 8 / 11 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 9 / 11 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 10 / 11 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 11 / 11 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Dimension of ideal: 0 [] Status: Testing witness [ 2 ] ... Time: 0.000 Status: Changing to term order lex ... Time: 0.000 Status: Recomputing Groebner basis... Time: 0.000 Status: Confirming is prime... Time: 0.110 ==WITNESSES=FOR=COMPONENTS=BEGINS== ==WITNESSES=BEGINS== ==WITNESS=BEGINS== Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: c_0011_0, c_0011_10, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_6, c_1100_0, c_1100_5 Inhomogeneous, Dimension 0, Radical, Prime Groebner basis: [ c_0011_0 - 1, c_0011_10 - 51604757061366756008724/1661085445885851065188982393*c_1100_5^1\ 1 - 487423286131513616547648/1661085445885851065188982393*c_1100_5^10 + 2581988950253338847782504/1661085445885851065188982393*c_1100_5^9 + 32328252401284571409544714/1661085445885851065188982393*c_1100_5^8 - 5665573108867902298865088/127775803529680851168383261*c_1100_5^7 - 510045902610948453708805620/1661085445885851065188982393*c_1100_5^6 + 770751544470929021273475200/1661085445885851065188982393*c_1100_5^5 + 1538109415604778017788532828/1661085445885851065188982393*c_1100_5^4 - 1768890092653263150193663140/1661085445885851065188982393*c_1100_5^3 - 2779676371030720486313949652/1661085445885851065188982393*c_1100_5^2 - 1687907497258951075511274214/1661085445885851065188982393*c_1100_5 + 1716536586712863915375134222/1661085445885851065188982393, c_0011_4 + 3656929257103622024212903/18271939904744361717078806323*c_1100_5\ ^11 + 14423467656750349363578296/18271939904744361717078806323*c_1100_5\ ^10 - 297207436678829438328642651/18271939904744361717078806323*c_1100_\ 5^9 - 863396670847337955129078808/18271939904744361717078806323*c_1100_\ 5^8 + 1130805576024985393042475712/1661085445885851065188982393*c_1100_\ 5^7 - 18919335603027033385371857958/18271939904744361717078806323*c_110\ 0_5^6 - 46439651824864510694776679093/18271939904744361717078806323*c_1\ 100_5^5 + 124734520905971160815609249413/18271939904744361717078806323*\ c_1100_5^4 + 4088751372017259256620673055/18271939904744361717078806323\ *c_1100_5^3 - 185844793418100063052889422455/18271939904744361717078806\ 323*c_1100_5^2 + 92608781883347070986511774357/182719399047443617170788\ 06323*c_1100_5 + 5308601153661899618906951815/1827193990474436171707880\ 6323, c_0011_6 - 3865876239976905650643525/18271939904744361717078806323*c_1100_5\ ^11 - 13790753612235843686733231/18271939904744361717078806323*c_1100_5\ ^10 + 321469510972327224719727393/18271939904744361717078806323*c_1100_\ 5^9 + 807716769462598855025470020/18271939904744361717078806323*c_1100_\ 5^8 - 1234292169489090161531850442/1661085445885851065188982393*c_1100_\ 5^7 + 24071251755809535880352174852/18271939904744361717078806323*c_110\ 0_5^6 + 44205330546929937116107570003/18271939904744361717078806323*c_1\ 100_5^5 - 10622763939080139321328637384/1405533838826489362852215871*c_\ 1100_5^4 + 19940378450748789692525744672/18271939904744361717078806323*\ c_1100_5^3 + 167676716900618541430175235120/182719399047443617170788063\ 23*c_1100_5^2 - 8773069035514636770933004062/14055338388264893628522158\ 71*c_1100_5 + 58913081305524236815427915147/182719399047443617170788063\ 23, c_0101_0 - 1, c_0101_1 + 4762028277100366623957808/18271939904744361717078806323*c_1100_5\ ^11 + 17915720588134914418117823/18271939904744361717078806323*c_1100_5\ ^10 - 390102652466389323564640723/18271939904744361717078806323*c_1100_\ 5^9 - 1056494100705878551887709156/18271939904744361717078806323*c_1100\ _5^8 + 1486873131984911596622008284/1661085445885851065188982393*c_1100\ _5^7 - 27372970520523136721633381904/18271939904744361717078806323*c_11\ 00_5^6 - 53669477524125265551965746691/18271939904744361717078806323*c_\ 1100_5^5 + 160254710076514074398654767427/18271939904744361717078806323\ *c_1100_5^4 - 1327222932159459492401763218/1405533838826489362852215871\ *c_1100_5^3 - 199858903929228980495806392848/18271939904744361717078806\ 323*c_1100_5^2 + 123838586599554023092923304885/18271939904744361717078\ 806323*c_1100_5 - 39092011133710909117892907812/18271939904744361717078\ 806323, c_0101_10 + 21898730281117501810754/1661085445885851065188982393*c_1100_5^1\ 1 + 773161066250590601007472/1661085445885851065188982393*c_1100_5^10 + 1909790284762116202690748/1661085445885851065188982393*c_1100_5^9 - 55800779773177171819860182/1661085445885851065188982393*c_1100_5^8 - 12294452584758106507112508/127775803529680851168383261*c_1100_5^7 + 1895495661204731859656490654/1661085445885851065188982393*c_1100_5^6 - 987489853263827837372073946/1661085445885851065188982393*c_1100_5^5 - 9309103604201997156756724472/1661085445885851065188982393*c_1100_5^4 + 11382878360428088719607533552/1661085445885851065188982393*c_1100_5^3 + 11920160278550530272486104592/1661085445885851065188982393*c_1100_5^2 - 17882939796694856705473320904/1661085445885851065188982393*c_1100_5 + 5421859334221351274378350766/1661085445885851065188982393, c_0101_3 + 3656929257103622024212903/18271939904744361717078806323*c_1100_5\ ^11 + 14423467656750349363578296/18271939904744361717078806323*c_1100_5\ ^10 - 297207436678829438328642651/18271939904744361717078806323*c_1100_\ 5^9 - 863396670847337955129078808/18271939904744361717078806323*c_1100_\ 5^8 + 1130805576024985393042475712/1661085445885851065188982393*c_1100_\ 5^7 - 18919335603027033385371857958/18271939904744361717078806323*c_110\ 0_5^6 - 46439651824864510694776679093/18271939904744361717078806323*c_1\ 100_5^5 + 124734520905971160815609249413/18271939904744361717078806323*\ c_1100_5^4 + 4088751372017259256620673055/18271939904744361717078806323\ *c_1100_5^3 - 185844793418100063052889422455/18271939904744361717078806\ 323*c_1100_5^2 + 110880721788091432703590580680/18271939904744361717078\ 806323*c_1100_5 + 5308601153661899618906951815/182719399047443617170788\ 06323, c_0101_6 - 235851047392400398091192/1661085445885851065188982393*c_1100_5^1\ 1 - 865676751462820943940878/1661085445885851065188982393*c_1100_5^10 + 19231560246645695793742928/1661085445885851065188982393*c_1100_5^9 + 49110272408730186479645698/1661085445885851065188982393*c_1100_5^8 - 61947200112304989421961328/127775803529680851168383261*c_1100_5^7 + 1525006235077485520457218956/1661085445885851065188982393*c_1100_5^6 + 2224684199751121525686678746/1661085445885851065188982393*c_1100_5^5 - 9423506456070534010997412610/1661085445885851065188982393*c_1100_5^4 + 4172510944777003396014091686/1661085445885851065188982393*c_1100_5^3 + 12627457694011835302834575166/1661085445885851065188982393*c_1100_5^2 - 12155002168148232428253445308/1661085445885851065188982393*c_1100_5 + 546436584012706711814839152/1661085445885851065188982393, c_1100_0 - 2, c_1100_5^12 + 2*c_1100_5^11 - 88*c_1100_5^10 - 74*c_1100_5^9 + 3788*c_1100_5^8 - 12028*c_1100_5^7 + 283*c_1100_5^6 + 54528*c_1100_5^5 - 71790*c_1100_5^4 - 33545*c_1100_5^3 + 120533*c_1100_5^2 - 66088*c_1100_5 + 14109 ] ==WITNESS=ENDS== ==WITNESSES=ENDS== ==WITNESSES=FOR=COMPONENTS=ENDS== ==GENUSES=FOR=COMPONENTS=BEGINS== ==GENUS=FOR=COMPONENT=BEGINS== 0 ==GENUS=FOR=COMPONENT=ENDS== ==GENUSES=FOR=COMPONENTS=ENDS== Total time: 6.969 seconds, Total memory usage: 32.09MB