Magma V2.22-2 Sun Aug 9 2020 22:19:29 on zickert [Seed = 207697905] Type ? for help. Type -D to quit. Loading file "ptolemy_data_ht/12_tetrahedra/L14n38402__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n38402 degenerate_solution 7.72362893 oriented_manifold CS_unknown 2 0 torus 0.000000000000 -0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 0132 0132 0213 1 1 1 1 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 -1 1 0 0 1 -1 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.800000002096 0.400000000788 0 4 6 5 0132 0132 0132 0132 0 1 1 1 0 1 0 -1 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 2 0 -2 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.750000001971 0.250000000160 3 0 3 0 1230 0132 3120 0213 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 1 -1 0 0 -1 1 -2 1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.799999998944 0.399999999331 6 2 2 0 0321 3012 3120 0132 1 1 1 1 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 -1 0 1 0 0 1 -1 0 0 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.000000003587 0.500000001196 6 1 7 8 2031 0132 0132 0132 0 0 1 1 0 -1 0 1 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 -2 0 2 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.999999999841 0.000000001027 6 7 1 8 1302 0132 0132 2310 0 1 0 1 0 -1 1 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 -1 2 -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.000000003007 0.000000004111 3 5 4 1 0321 2031 1302 0132 0 1 1 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.200000001758 0.400000000284 8 5 9 4 1230 0132 0132 0132 0 0 1 0 0 1 -1 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 -1 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 1.000000005618 0.577350269117 5 7 4 10 3201 3012 0132 0132 0 0 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 0 0 -2 2 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.999999997637 0.577350269373 10 11 10 7 1302 0132 1230 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.750000002411 0.433012696833 11 9 8 9 2310 2031 0132 3012 0 0 0 0 0 1 -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 0 0 0 0 1 -2 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.749999998738 0.433012709107 11 9 10 11 3012 0132 3201 1230 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 1 -1 1 0 0 -1 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.499999999426 0.288675136539 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d: { 'c_1010_0' : - d['c_0011_0'], 'c_1001_2' : - d['c_0011_0'], 'c_1100_2' : - 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_4' : d['c_0011_0'], 'c_1001_3' : d['c_0011_0'], 'c_0101_3' : d['c_0011_0'], 'c_0101_6' : - d['c_0011_0'], 'c_0101_0' : - d['c_0011_6'], 'c_0110_1' : - d['c_0011_6'], 'c_0110_3' : - d['c_0011_6'], 'c_0101_5' : - d['c_0011_6'], 'c_0011_6' : d['c_0011_6'], 'c_0110_0' : - d['c_0011_3'], 'c_0101_1' : - d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_6' : - d['c_0011_3'], 'c_0011_3' : d['c_0011_3'], 'c_0101_2' : d['c_0101_2'], 'c_1100_0' : - d['c_0101_2'], 'c_1100_3' : - d['c_0101_2'], 'c_1001_0' : - d['c_0101_2'], 'c_1010_2' : - d['c_0101_2'], 'c_1010_3' : - d['c_0101_2'], 'c_0011_5' : d['c_0011_5'], 'c_1001_1' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_6' : d['c_0011_5'], 'c_1001_8' : d['c_0011_5'], 'c_0011_7' : - d['c_0011_5'], 'c_1010_1' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_5' : d['c_1001_4'], 'c_1010_7' : d['c_1001_4'], 'c_0101_4' : d['c_0011_8'], 'c_1100_1' : d['c_0011_8'], 'c_1100_6' : d['c_0011_8'], 'c_1100_5' : d['c_0011_8'], 'c_0110_7' : d['c_0011_8'], 'c_0011_8' : d['c_0011_8'], 'c_0110_5' : - d['c_0101_8'], 'c_0110_4' : d['c_0101_8'], 'c_1001_6' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 'c_1001_9' : d['c_0101_11'], 'c_1010_11' : d['c_0101_11'], 'c_1100_4' : - d['c_0101_11'], 'c_1100_7' : - d['c_0101_11'], 'c_1100_8' : - d['c_0101_11'], 'c_1100_9' : - d['c_0101_11'], 'c_1100_10' : - d['c_0101_11'], 'c_0110_10' : - d['c_0101_11'], 'c_0101_11' : d['c_0101_11'], 'c_1010_5' : - d['c_0101_10'], 'c_1001_7' : - d['c_0101_10'], 'c_0110_8' : d['c_0101_10'], 'c_1010_9' : - d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 'c_1001_11' : - d['c_0101_10'], 'c_0101_7' : d['c_0101_7'], 'c_1010_8' : - d['c_0101_7'], 'c_0110_9' : d['c_0101_7'], 'c_1001_10' : - d['c_0101_7'], 'c_0101_9' : - d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_9' : d['c_0011_10'], 'c_1010_10' : d['c_0011_10'], 'c_0011_11' : - d['c_0011_10'], 'c_1100_11' : - d['c_0011_10'], 'c_0110_11' : - d['c_0011_10'], 's_0_11' : d['1'], 's_0_10' : d['1'], 's_2_9' : d['1'], 's_1_9' : d['1'], 's_0_9' : d['1'], 's_3_8' : d['1'], 's_2_7' : d['1'], 's_0_7' : d['1'], 's_3_5' : d['1'], 's_1_5' : d['1'], 's_0_5' : d['1'], 's_3_4' : d['1'], 's_2_4' : d['1'], 's_0_4' : d['1'], 's_0_3' : d['1'], 's_2_2' : d['1'], 's_0_2' : d['1'], 's_3_1' : d['1'], 's_2_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_3_3' : d['1'], 's_3_2' : - d['1'], 's_1_4' : d['1'], 's_3_6' : d['1'], 's_2_5' : d['1'], 's_1_3' : d['1'], 's_2_3' : d['1'], 's_0_6' : d['1'], 's_2_6' : d['1'], 's_3_7' : d['1'], 's_2_8' : d['1'], 's_1_6' : d['1'], 's_1_7' : d['1'], 's_0_8' : d['1'], 's_1_8' : d['1'], 's_3_9' : d['1'], 's_2_10' : d['1'], 's_1_10' : d['1'], 's_1_11' : d['1'], 's_3_10' : d['1'], 's_2_11' : d['1'], 's_3_11' : d['1']})} PY=EVAL=SECTION=ENDS=HERE Status: Computing Groebner basis... Time: 0.070 Status: Saturating ideal ( 1 / 12 )... Time: 0.040 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 2 / 12 )... Time: 0.080 Status: Recomputing Groebner basis... Time: 0.070 Status: Saturating ideal ( 3 / 12 )... Time: 0.070 Status: Recomputing Groebner basis... Time: 0.030 Status: Saturating ideal ( 4 / 12 )... Time: 0.030 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 5 / 12 )... Time: 0.050 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 6 / 12 )... Time: 0.030 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 7 / 12 )... Time: 0.030 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 8 / 12 )... Time: 0.050 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 9 / 12 )... Time: 0.030 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 10 / 12 )... Time: 0.040 Status: Recomputing Groebner basis... Time: 0.040 Status: Saturating ideal ( 11 / 12 )... Time: 0.030 Status: Recomputing Groebner basis... Time: 0.030 Status: Saturating ideal ( 12 / 12 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Dimension of ideal: 1 [ 10 ] Status: Computing RadicalDecomposition Time: 0.100 Status: Number of components: 1 DECOMPOSITION=TYPE: RadicalDecomposition IDEAL=DECOMPOSITION=TIME: 1.060 IDEAL=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Graded Reverse Lexicographical Variables: c_0011_0, c_0011_10, c_0011_3, c_0011_5, c_0011_6, c_0011_8, c_0101_10, c_0101_11, c_0101_2, c_0101_7, c_0101_8, c_1001_4 Inhomogeneous, Dimension 1, Radical, Prime Groebner basis: [ c_0101_10^3 - 2*c_0101_10^2*c_0101_7 + 2*c_0011_10*c_0101_11*c_0101_7 - 6*c_0101_11^2*c_0101_7 + 4*c_0011_10*c_0101_7^2 + c_0101_11*c_0101_7^2 - 2*c_0101_7^3, c_0011_10*c_0101_11^2 - 3*c_0101_10^2*c_0101_7 - 6*c_0101_11^2*c_0101_7 + 4*c_0011_10*c_0101_7^2 - c_0101_10*c_0101_7^2 + 2*c_0101_11*c_0101_7^2 - 2*c_0101_7^3, c_0101_11^3 + 5*c_0101_10^2*c_0101_7 - 3*c_0011_10*c_0101_11*c_0101_7 + 7*c_0101_11^2*c_0101_7 - 5*c_0011_10*c_0101_7^2 + 2*c_0101_10*c_0101_7^2 - c_0101_11*c_0101_7^2 + 3*c_0101_7^3, c_0011_8*c_0101_7^2 - c_0101_10^2*c_1001_4 + c_0101_11^2*c_1001_4 - 3*c_0101_10*c_0101_7*c_1001_4 - 3*c_0101_7^2*c_1001_4 + c_0101_10^2 - 2*c_0011_10*c_0101_11 - 2*c_0101_11^2 + 2*c_0011_10*c_0101_7 + 2*c_0101_10*c_0101_7 + 4*c_0101_11*c_0101_7, c_0101_2*c_0101_7^2 + c_0101_10^2 + c_0011_10*c_0101_11 - c_0011_10*c_0101_7 + c_0101_11*c_0101_7, c_0101_10^2*c_0101_8 - c_0101_11^2*c_1001_4 + c_0011_10*c_0101_7*c_1001_4 + c_0101_10*c_0101_7*c_1001_4 - 3*c_0101_10^2 - 3*c_0101_10*c_0101_7 - c_0101_7^2, c_0101_11^2*c_0101_8 - c_0101_10^2*c_1001_4 + 2*c_0011_10*c_0101_11*c_1001_4 + c_0101_11^2*c_1001_4 - 3*c_0011_10*c_0101_7*c_1001_4 - 2*c_0101_10*c_0101_7*c_1001_4 - 3*c_0101_11*c_0101_7*c_1001_4 - c_0011_10*c_0101_11 - 4*c_0101_11^2 + 5*c_0011_10*c_0101_7 + 2*c_0101_10*c_0101_7 + 4*c_0101_11*c_0101_7 - c_0101_7^2, c_0011_8*c_0101_7*c_0101_8 - c_0101_10^2 + 2*c_0011_10*c_0101_11 + 2*c_0101_11^2 - 2*c_0011_10*c_0101_7 - 4*c_0011_8*c_0101_7 - 2*c_0101_10*c_0101_7 - 4*c_0101_11*c_0101_7 - c_0101_2*c_0101_7 - c_0011_6*c_0101_8 - c_0011_8*c_0101_8 + 3*c_0101_11*c_0101_8 + c_0101_2*c_0101_8 + c_0101_7*c_0101_8 - 3*c_0011_10*c_1001_4 + c_0101_10*c_1001_4 - 4*c_0101_11*c_1001_4 + 6*c_0101_7*c_1001_4 + 5*c_0011_10 + 2*c_0011_8 + 5*c_0101_10 - 2*c_0101_11 - c_0101_2 - c_1001_4, c_0101_10*c_0101_7*c_0101_8 + c_0101_11*c_0101_7*c_1001_4 + c_0101_10^2 - c_0101_11^2, c_0101_11*c_0101_7*c_0101_8 + 3*c_0011_10*c_0101_11*c_1001_4 + 2*c_0101_11^2*c_1001_4 - 4*c_0011_10*c_0101_7*c_1001_4 - c_0101_10*c_0101_7*c_1001_4 - 4*c_0101_11*c_0101_7*c_1001_4 + c_0101_7^2*c_1001_4 + c_0101_10^2 - 2*c_0011_10*c_0101_11 - 2*c_0101_11^2 + 4*c_0011_10*c_0101_7 + 3*c_0101_10*c_0101_7 + 3*c_0101_11*c_0101_7, c_0101_2*c_0101_7*c_0101_8 - c_0011_8*c_0101_7 - c_0101_2*c_0101_7 + c_0101_11*c_0101_8 + c_0101_10*c_1001_4 + 2*c_0101_7*c_1001_4 - 3*c_0101_11, c_0101_7^2*c_0101_8 - c_0101_10^2*c_1001_4 + 2*c_0011_10*c_0101_11*c_1001_4 + 2*c_0101_11^2*c_1001_4 - 2*c_0011_10*c_0101_7*c_1001_4 - 2*c_0101_10*c_0101_7*c_1001_4 - 4*c_0101_11*c_0101_7*c_1001_4 - 3*c_0011_10*c_0101_11 - 2*c_0101_11^2 + 4*c_0011_10*c_0101_7 + 2*c_0101_10*c_0101_7 + 4*c_0101_11*c_0101_7 - c_0101_7^2, c_0011_3*c_0101_8^2 - 4*c_0101_2*c_0101_7 - c_0011_3*c_0101_8 - c_0011_6*c_0101_8 - 5*c_0011_8*c_0101_8 - c_0101_10*c_0101_8 + c_0101_2*c_0101_8 + 2*c_0101_8^2 + c_0011_6*c_1001_4 - c_0101_11*c_1001_4 - c_0101_2*c_1001_4 - c_1001_4^2 - c_0011_10 - 2*c_0011_3 + 13*c_0011_8 + 6*c_0101_10 - c_0101_2 + 4*c_0101_7 - 9*c_0101_8 - 5*c_1001_4 + 8, c_0011_6*c_0101_8^2 - 4*c_0101_2*c_0101_7 - 2*c_0011_6*c_0101_8 - 5*c_0011_8*c_0101_8 + c_0101_2*c_0101_8 + 2*c_0101_8^2 + 2*c_0011_6*c_1001_4 - 3*c_0101_2*c_1001_4 - c_1001_4^2 - 2*c_0011_10 - c_0011_6 + 14*c_0011_8 + 4*c_0101_10 - c_0101_11 - 3*c_0101_2 + 3*c_0101_7 - 9*c_0101_8 - 7*c_1001_4 + 5, c_0011_8*c_0101_8^2 + c_0011_8*c_0101_7 + 3*c_0101_2*c_0101_7 + 2*c_0011_3*c_0101_8 + 2*c_0011_6*c_0101_8 + 2*c_0011_8*c_0101_8 - 2*c_0101_11*c_0101_8 - 4*c_0101_2*c_0101_8 - c_0101_7*c_0101_8 + 3*c_0011_10*c_1001_4 - 2*c_0011_6*c_1001_4 + 4*c_0101_11*c_1001_4 + 7/2*c_0101_2*c_1001_4 - 3*c_0101_7*c_1001_4 + 1/2*c_1001_4^2 - 3*c_0011_10 - 3*c_0011_3 + 2*c_0011_6 - 10*c_0011_8 - 13/2*c_0101_10 + 6*c_0101_2 - c_0101_7 + c_0101_8 + 7*c_1001_4 + 3/2, c_0101_10*c_0101_8^2 + c_0101_11^2 - c_0011_6*c_0101_8 - c_0011_8*c_0101_8 - 4*c_0101_10*c_0101_8 + c_0101_2*c_0101_8 - 2*c_0011_10*c_1001_4 - c_0101_10*c_1001_4 - 3*c_0101_11*c_1001_4 + 3*c_0011_10 + 2*c_0011_8 + 6*c_0101_10 + 4*c_0101_11 - c_0101_2 + c_0101_7 - c_1001_4, c_0101_11*c_0101_8^2 - c_0101_10^2 + 2*c_0011_10*c_0101_11 + c_0101_11^2 - 3*c_0011_10*c_0101_7 - 2*c_0101_10*c_0101_7 - 3*c_0101_11*c_0101_7 + c_0101_10*c_0101_8 - c_0101_11*c_0101_8 + 2*c_0101_7*c_0101_8 + 2*c_0011_10*c_1001_4 + 2*c_0101_10 - c_0101_11, c_0101_2*c_0101_8^2 - 2*c_0101_2*c_0101_7 + 2*c_0011_3*c_0101_8 - c_0011_6*c_0101_8 - 2*c_0011_8*c_0101_8 - 3*c_0101_2*c_0101_8 + 2*c_0101_8^2 + 1/2*c_0101_2*c_1001_4 - 1/2*c_1001_4^2 - 3*c_0011_3 + c_0011_6 + 5*c_0011_8 + 5/2*c_0101_10 - c_0101_11 + 2*c_0101_2 + 2*c_0101_7 - 8*c_0101_8 - c_1001_4 + 13/2, c_0101_7*c_0101_8^2 + 3*c_0011_10*c_0101_11 + 2*c_0101_11^2 - 4*c_0011_10*c_0101_7 - c_0101_10*c_0101_7 - 4*c_0101_11*c_0101_7 + c_0101_7^2 + c_0101_10*c_0101_8 + 2*c_0101_11*c_0101_8 - c_0101_7*c_0101_8 - c_0101_11*c_1001_4 + c_0101_7*c_1001_4 + 2*c_0011_10 + c_0101_10 - c_0101_11, c_0101_8^3 + 2*c_0101_2*c_0101_7 + 4*c_0011_3*c_0101_8 + c_0011_6*c_0101_8 + 5*c_0011_8*c_0101_8 + c_0101_10*c_0101_8 - 2*c_0101_11*c_0101_8 - 6*c_0101_2*c_0101_8 - c_0101_7*c_0101_8 - 3*c_0101_8^2 + 2*c_0011_10*c_1001_4 - 3*c_0011_6*c_1001_4 + c_0101_10*c_1001_4 + 4*c_0101_11*c_1001_4 + 4*c_0101_2*c_1001_4 - c_0101_7*c_1001_4 - c_0011_10 - 5*c_0011_3 + 4*c_0011_6 - 12*c_0011_8 - 8*c_0101_10 - 2*c_0101_11 + 9*c_0101_2 - 2*c_0101_7 + 2*c_0101_8 + 9*c_1001_4 + 3, c_0101_2*c_0101_7*c_1001_4 + c_0101_2*c_0101_7 - c_0101_11*c_0101_8 + c_0101_7*c_0101_8 + c_0011_10*c_1001_4 - c_0101_10*c_1001_4 + c_0101_11*c_1001_4 - c_0101_7*c_1001_4 - c_0011_10 - c_0101_10 + 2*c_0101_11 - c_0101_7, c_0011_10*c_1001_4^2 - c_0011_10*c_0101_11 + c_0011_8*c_0101_7 + c_0101_11*c_0101_7 - c_0101_11*c_0101_8 + c_0101_10*c_1001_4 - c_0101_7*c_1001_4 - c_0011_10 - c_0101_10 + c_0101_11, c_0011_6*c_1001_4^2 + 2*c_0011_3*c_0101_8 - c_0011_6*c_0101_8 - c_0101_2*c_0101_8 - 2*c_0011_6*c_1001_4 + 3/2*c_0101_2*c_1001_4 - 1/2*c_1001_4^2 - 2*c_0011_3 + c_0011_6 - 3*c_0011_8 - 1/2*c_0101_10 - c_0101_11 + 3*c_0101_2 + 5*c_1001_4 + 1/2, c_0101_10*c_1001_4^2 + c_0101_10^2 - 4*c_0011_8*c_0101_7 + c_0101_2*c_0101_7 - 2*c_0011_6*c_0101_8 - 2*c_0011_8*c_0101_8 + c_0101_11*c_0101_8 + 2*c_0101_2*c_0101_8 + c_0101_7*c_0101_8 - 3*c_0011_10*c_1001_4 + c_0101_10*c_1001_4 - 4*c_0101_11*c_1001_4 + 9*c_0101_7*c_1001_4 + 3*c_0011_10 + 4*c_0011_8 + 2*c_0101_10 - 2*c_0101_2 - c_0101_7 - 2*c_1001_4, c_0101_11*c_1001_4^2 - c_0101_11^2 + c_0011_10*c_0101_7 + c_0011_8*c_0101_7 + c_0101_10*c_0101_7 + c_0011_6*c_0101_8 + c_0011_8*c_0101_8 - c_0101_2*c_0101_8 - 3*c_0101_10*c_1001_4 - 4*c_0101_7*c_1001_4 - 2*c_0011_8 + c_0101_11 + c_0101_2 + c_1001_4, c_0101_2*c_1001_4^2 - c_0101_2*c_0101_7 - c_0011_6 - c_0011_8 - c_0101_11 + c_0101_2 + 3*c_1001_4, c_0101_7*c_1001_4^2 + 4*c_0011_8*c_0101_7 + c_0101_10*c_0101_7 + c_0101_2*c_0101_7 + 2*c_0011_6*c_0101_8 + 2*c_0011_8*c_0101_8 - 3*c_0101_11*c_0101_8 - 2*c_0101_2*c_0101_8 + c_0101_7*c_0101_8 + 5*c_0011_10*c_1001_4 - 3*c_0101_10*c_1001_4 + 3*c_0101_11*c_1001_4 - 11*c_0101_7*c_1001_4 - 5*c_0011_10 - 4*c_0011_8 - 3*c_0101_10 + 4*c_0101_11 + 2*c_0101_2 + 2*c_1001_4, c_1001_4^3 - 3*c_0101_2*c_0101_7 - 4*c_0011_8*c_0101_8 - 4*c_0101_10*c_0101_8 - 4*c_0101_2*c_0101_8 + 2*c_0101_8^2 - 2*c_0011_6*c_1001_4 + c_0101_10*c_1001_4 - 4*c_0101_11*c_1001_4 - 4*c_0101_2*c_1001_4 - 4*c_1001_4^2 - 6*c_0011_3 + 5*c_0011_6 + 13*c_0011_8 + 10*c_0101_10 + c_0101_11 + 5*c_0101_2 + 6*c_0101_7 - 12*c_0101_8 - 6*c_1001_4 + 16, c_0011_10^2 - c_0011_10*c_0101_11 - c_0101_11^2 + c_0101_11*c_0101_7, c_0011_10*c_0011_3 - c_0101_2*c_0101_7 - c_0011_6*c_0101_8 - c_0011_8*c_0101_8 + c_0101_2*c_0101_8 - c_0011_10 + 2*c_0011_8 + c_0101_10 - c_0101_2 - c_1001_4, c_0011_3^2 + c_0011_6*c_1001_4 - 3*c_0011_3 - c_0101_8 + 3, c_0011_10*c_0011_6 - c_0011_6*c_0101_8 - c_0011_8*c_0101_8 + c_0101_2*c_0101_8 - c_0011_10 + 2*c_0011_8 - c_0101_2 - c_1001_4, c_0011_3*c_0011_6 - 2*c_0011_3*c_0101_8 + c_0011_6*c_0101_8 + 2*c_0101_2*c_0101_8 + 2*c_0011_6*c_1001_4 - 3/2*c_0101_2*c_1001_4 + 1/2*c_1001_4^2 + 2*c_0011_3 - 4*c_0011_6 + c_0011_8 + 1/2*c_0101_10 - 4*c_0101_2 - 3*c_1001_4 - 1/2, c_0011_6^2 + c_0101_2*c_0101_7 - 2*c_0011_3*c_0101_8 + c_0011_6*c_0101_8 + c_0011_8*c_0101_8 + 3*c_0101_2*c_0101_8 - c_0101_8^2 + c_0011_6*c_1001_4 - c_0101_2*c_1001_4 + c_1001_4^2 + c_0011_10 + 4*c_0011_3 - 4*c_0011_6 - 2*c_0011_8 + c_0101_11 - 6*c_0101_2 - c_0101_7 + 4*c_0101_8 - 2*c_1001_4 - 6, c_0011_10*c_0011_8 - c_0101_11*c_0101_8 + c_0101_11*c_1001_4 - c_0101_7*c_1001_4 - c_0011_10 - c_0101_10 + c_0101_11, c_0011_3*c_0011_8 - c_0101_2*c_0101_8 - 2*c_0011_8 + c_0101_2 + c_1001_4, c_0011_6*c_0011_8 - c_0011_3*c_0101_8 + 1, c_0011_8^2 + c_0011_3*c_0101_8 + c_0101_10*c_0101_8 + c_0101_11*c_1001_4 - 4*c_0101_2*c_1001_4 - c_1001_4^2 + 3*c_0011_3 - 4*c_0101_10 - 3*c_0101_7 + c_0101_8 - 5, c_0011_10*c_0101_10 + c_0011_10*c_0101_11 - c_0101_11*c_0101_7, c_0011_3*c_0101_10 + c_0101_7, c_0011_6*c_0101_10 + c_0101_11, c_0011_8*c_0101_10 + c_0101_7*c_1001_4 - c_0101_11, c_0011_3*c_0101_11 - c_0011_6*c_0101_8 - c_0011_8*c_0101_8 + c_0101_2*c_0101_8 + 2*c_0011_8 - c_0101_2 - c_1001_4, c_0011_6*c_0101_11 - c_0101_2*c_0101_7 - c_0011_6*c_0101_8 - c_0011_8*c_0101_8 + c_0101_2*c_0101_8 - c_0011_10 + 2*c_0011_8 + c_0101_10 - c_0101_11 - c_0101_2 + c_0101_7 - c_1001_4, c_0011_8*c_0101_11 - c_0101_7*c_0101_8 - c_0101_10, c_0101_10*c_0101_11 + c_0101_11^2 - c_0011_10*c_0101_7 - c_0101_10*c_0101_7, c_0011_10*c_0101_2 - c_0101_2*c_0101_7 - c_0011_6*c_0101_8 - c_0011_8*c_0101_8 - c_0101_10*c_0101_8 + c_0101_2*c_0101_8 - c_0101_11*c_1001_4 + c_0011_10 + 2*c_0011_8 + 3*c_0101_10 + c_0101_11 - c_0101_2 + c_0101_7 - c_1001_4, c_0011_3*c_0101_2 + c_0011_6 - c_0101_2, c_0011_6*c_0101_2 + c_0011_6*c_1001_4 - c_0011_3 - c_0101_8 + 2, c_0011_8*c_0101_2 - c_0101_2*c_1001_4 + c_0011_3 + c_0101_8 - 2, c_0101_10*c_0101_2 + c_0101_2*c_0101_7 + c_0101_11, c_0101_11*c_0101_2 + c_0101_10*c_0101_8 + c_0101_11*c_1001_4 - 2*c_0101_10 - c_0101_7, c_0101_2^2 + c_0011_3 - 1, c_0011_3*c_0101_7 + c_0101_10*c_0101_8 + c_0101_11*c_1001_4 - 3*c_0101_10 - 3*c_0101_7, c_0011_6*c_0101_7 - c_0011_6*c_0101_8 - c_0011_8*c_0101_8 + c_0101_2*c_0101_8 + 2*c_0011_8 - c_0101_2 - c_1001_4, c_0011_10*c_0101_8 - c_0101_7*c_0101_8 - c_0011_10*c_1001_4 - c_0101_10 + c_0101_11, c_0011_3*c_1001_4 - c_0011_6 - c_0011_8, c_0011_8*c_1001_4 - 2*c_0101_2*c_1001_4 - c_1001_4^2 + c_0011_3 - c_0101_10 - c_0101_7 - 1, c_0101_8*c_1001_4 - c_0011_8 - c_0101_11, c_0011_0 - 1, c_0011_5 - 1 ] ] IDEAL=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ "c_0101_7" ] ] 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 / 12 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 2 / 12 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 3 / 12 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 4 / 12 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 5 / 12 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 6 / 12 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 7 / 12 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 8 / 12 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 9 / 12 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 10 / 12 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 11 / 12 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 12 / 12 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Dimension of ideal: 0 [] Status: Testing witness [ 1 ] ... 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.190 ==WITNESSES=FOR=COMPONENTS=BEGINS== ==WITNESSES=BEGINS== ==WITNESS=BEGINS== Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: c_0011_0, c_0011_10, c_0011_3, c_0011_5, c_0011_6, c_0011_8, c_0101_10, c_0101_11, c_0101_2, c_0101_7, c_0101_8, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Groebner basis: [ c_0011_0 - 1, c_0011_10 + 105950724653/490128039986*c_1001_4^13 - 592420157817/490128039986*c_1001_4^12 + 883030365369/245064019993*c_1001_4^11 - 8153759296363/490128039986*c_1001_4^10 + 29975124312231/490128039986*c_1001_4^9 - 30682723355530/245064019993*c_1001_4^8 + 95686681717183/490128039986*c_1001_4^7 - 136315996574815/490128039986*c_1001_4^6 + 124173896784521/490128039986*c_1001_4^5 - 2414295579601/21309914782*c_1001_4^4 + 18550645552539/490128039986*c_1001_4^3 - 5063425872151/490128039986*c_1001_4^2 + 1753349585729/490128039986*c_1001_4 - 162732938423/245064019993, c_0011_3 - 3492112788/18851078461*c_1001_4^13 + 20934696139/18851078461*c_1001_4^12 - 66755244724/18851078461*c_1001_4^11 + 295900461923/18851078461*c_1001_4^10 - 1106747603272/18851078461*c_1001_4^9 + 4939818554359/37702156922*c_1001_4^8 - 4149762418051/18851078461*c_1001_4^7 + 6109102288162/18851078461*c_1001_4^6 - 6396182245678/18851078461*c_1001_4^5 + 362968499675/1639224214*c_1001_4^4 - 1876044599664/18851078461*c_1001_4^3 + 476368565413/18851078461*c_1001_4^2 - 257230407313/37702156922*c_1001_4 - 4494075057/37702156922, c_0011_5 - 1, c_0011_6 + 1181507890/10654957391*c_1001_4^13 - 6765009476/10654957391*c_1001_4^12 + 20434056475/10654957391*c_1001_4^11 - 185404164805/21309914782*c_1001_4^10 + 344014617730/10654957391*c_1001_4^9 - 717978215939/10654957391*c_1001_4^8 + 1115793370286/10654957391*c_1001_4^7 - 3157924342523/21309914782*c_1001_4^6 + 1468253769000/10654957391*c_1001_4^5 - 620549230228/10654957391*c_1001_4^4 + 275574951887/21309914782*c_1001_4^3 - 92350557095/21309914782*c_1001_4^2 - 17879288003/10654957391*c_1001_4 + 454564907/10654957391, c_0011_8 - 27408429127/245064019993*c_1001_4^13 + 150328895172/245064019993*c_1001_4^12 - 436664458422/245064019993*c_1001_4^11 + 4089261839163/490128039986*c_1001_4^10 - 14981894085537/490128039986*c_1001_4^9 + 14819071178778/245064019993*c_1001_4^8 - 22331071195416/245064019993*c_1001_4^7 + 63225164829665/490128039986*c_1001_4^6 - 53802001488647/490128039986*c_1001_4^5 + 385225799548/10654957391*c_1001_4^4 - 5211212821175/490128039986*c_1001_4^3 + 1024342543842/245064019993*c_1001_4^2 + 219254677469/490128039986*c_1001_4 + 34942473383/245064019993, c_0101_10 - 3591451584/18851078461*c_1001_4^13 + 21838989168/18851078461*c_1001_4^12 - 139481181711/37702156922*c_1001_4^11 + 611579455477/37702156922*c_1001_4^10 - 1151214004600/18851078461*c_1001_4^9 + 5156798079911/37702156922*c_1001_4^8 - 8525239087623/37702156922*c_1001_4^7 + 12379431478531/37702156922*c_1001_4^6 - 6422169088552/18851078461*c_1001_4^5 + 168132527971/819612107*c_1001_4^4 - 1411001588714/18851078461*c_1001_4^3 + 675627747403/37702156922*c_1001_4^2 - 210438027673/37702156922*c_1001_4 + 52157722375/37702156922, c_0101_11 - 2087135262/245064019993*c_1001_4^13 + 35440247773/490128039986*c_1001_4^12 - 130233124699/490128039986*c_1001_4^11 + 241310758989/245064019993*c_1001_4^10 - 996323317643/245064019993*c_1001_4^9 + 5299700212047/490128039986*c_1001_4^8 - 8755104025129/490128039986*c_1001_4^7 + 6080716502459/245064019993*c_1001_4^6 - 14289197435419/490128039986*c_1001_4^5 + 168871109830/10654957391*c_1001_4^4 + 424640597315/490128039986*c_1001_4^3 + 51804532587/245064019993*c_1001_4^2 - 397436707468/245064019993*c_1001_4 - 38982328623/245064019993, c_0101_2 - 6491295035/21309914782*c_1001_4^13 + 19194966078/10654957391*c_1001_4^12 - 120189393247/21309914782*c_1001_4^11 + 535752799141/21309914782*c_1001_4^10 - 1000332279390/10654957391*c_1001_4^9 + 2184289159941/10654957391*c_1001_4^8 - 3566051948867/10654957391*c_1001_4^7 + 10320419080089/21309914782*c_1001_4^6 - 10372923476011/21309914782*c_1001_4^5 + 2966360841713/10654957391*c_1001_4^4 - 1077478883998/10654957391*c_1001_4^3 + 219419818034/10654957391*c_1001_4^2 - 97051586497/21309914782*c_1001_4 + 20093049817/21309914782, c_0101_7 - 1, c_0101_8 + 175645880/10654957391*c_1001_4^13 - 2336291123/10654957391*c_1001_4^12 + 21287501619/21309914782*c_1001_4^11 - 73141640081/21309914782*c_1001_4^10 + 23802649359/1639224214*c_1001_4^9 - 983225158081/21309914782*c_1001_4^8 + 1923373449221/21309914782*c_1001_4^7 - 2911253964367/21309914782*c_1001_4^6 + 3884710328001/21309914782*c_1001_4^5 - 1663617753591/10654957391*c_1001_4^4 + 48270529786/819612107*c_1001_4^3 - 125836007030/10654957391*c_1001_4^2 + 53112255003/10654957391*c_1001_4 - 27134652189/21309914782, c_1001_4^14 - 6*c_1001_4^13 + 19*c_1001_4^12 - 84*c_1001_4^11 + 315*c_1001_4^10 - 698*c_1001_4^9 + 1151*c_1001_4^8 - 1676*c_1001_4^7 + 1728*c_1001_4^6 - 1044*c_1001_4^5 + 418*c_1001_4^4 - 124*c_1001_4^3 + 36*c_1001_4^2 - 6*c_1001_4 + 1 ] ==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: 3.830 seconds, Total memory usage: 32.09MB