Magma V2.19-8 Tue Aug 20 2013 18:18:19 on localhost [Seed = 3381162165] Type ? for help. Type -D to quit. Loading file "10_75__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_75 geometric_solution 13.43074878 oriented_manifold CS_known -0.0000000000000009 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 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.199033137285 1.500305637592 0 5 6 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.005577419888 0.953471321252 7 0 3 1 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0.400483431358 0.750152818796 8 8 2 0 0132 1230 1023 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 0.723085021083 0.518694497041 8 9 0 6 1230 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 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.086893877559 0.655003363525 7 1 10 11 1023 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 -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.620326220979 0.499612675569 9 12 4 1 0213 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 1 0 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.523658188596 0.496523743563 2 5 13 12 0132 1023 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.327071784109 0.969428716075 3 4 3 9 0132 3012 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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.086893877559 0.655003363525 6 4 12 8 0213 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.650129566522 0.813482983487 14 13 14 5 0132 1023 2310 0132 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 -1 1 -1 0 1 0 4 -5 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.620611677481 0.423416629196 12 13 5 14 0321 1230 0132 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 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 1.151576472733 0.522492640386 11 6 7 9 0321 0132 1230 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 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 1.423810887290 1.151611544133 10 14 11 7 1023 1230 3012 0132 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 1 -1 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.453309135471 0.899458087764 10 10 13 11 0132 3201 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 1 0 -1 1 0 -1 0 -1 1 0 0 -4 -1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.173787755119 1.310006727050 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_0' : d['1'], 'c_0110_6' : d['c_0101_1'], 'c_1001_14' : negation(d['c_0011_10']), 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_0101_13'], 'c_1001_13' : negation(d['c_0011_11']), 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : d['c_0101_7'], 'c_1001_4' : d['c_0101_3'], 'c_1001_7' : d['c_0101_14'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_3'], 'c_1001_9' : d['c_1001_6'], 'c_1001_8' : negation(d['c_0011_3']), 'c_1010_13' : d['c_0101_14'], 'c_1010_12' : d['c_1001_6'], 'c_1010_11' : d['c_0101_13'], 'c_1010_10' : d['c_0101_7'], 'c_1010_14' : negation(d['c_0101_13']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_3_13' : d['1'], 's_3_12' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 'c_0101_13' : d['c_0101_13'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], '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' : 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' : d['1'], 's_0_3' : negation(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_10'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_1001_1']), 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_1100_0']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0011_10']), 'c_1100_13' : negation(d['c_1001_1']), 's_3_10' : d['1'], 's_0_12' : d['1'], 'c_1010_7' : d['c_0101_11'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 's_0_13' : d['1'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_7'], 'c_1100_14' : d['c_0011_11'], 'c_1010_9' : d['c_0101_3'], 'c_1010_8' : negation(d['c_0101_1']), 's_3_1' : d['1'], 's_2_8' : 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_0101_2'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_3'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_11']), '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' : negation(d['c_0011_11']), 'c_0110_10' : d['c_0101_14'], 'c_0110_13' : d['c_0101_7'], 'c_0110_12' : negation(d['c_0011_11']), 'c_0110_14' : d['c_0011_10'], 'c_1010_4' : d['c_1001_6'], 'c_0101_12' : negation(d['c_0101_11']), 'c_0110_0' : d['c_0101_1'], 'c_1010_0' : d['c_0101_3'], 's_0_8' : negation(d['1']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_14'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : d['c_0101_0'], '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' : negation(d['c_0101_1']), 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0101_2'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0101_2'], 'c_1100_8' : negation(d['c_0101_2'])})} 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_3, c_0101_0, c_0101_1, c_0101_11, c_0101_13, c_0101_14, c_0101_2, c_0101_3, c_0101_7, c_1001_1, c_1001_6, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t + 746315/6596*c_1100_0^5 - 779821/13192*c_1100_0^4 + 548967/6596*c_1100_0^3 - 74459/13192*c_1100_0^2 - 203721/13192*c_1100_0 + 28787/1649, c_0011_0 - 1, c_0011_10 - 35/34*c_1100_0^5 + 11/17*c_1100_0^4 - 29/17*c_1100_0^3 - 21/34*c_1100_0^2 + 23/34*c_1100_0 - 5/34, c_0011_11 - 40/17*c_1100_0^5 + 13/17*c_1100_0^4 + 9/17*c_1100_0^3 + 10/17*c_1100_0^2 + 2/17*c_1100_0 + 4/17, c_0011_3 + 35/34*c_1100_0^5 - 11/17*c_1100_0^4 + 29/17*c_1100_0^3 + 21/34*c_1100_0^2 - 23/34*c_1100_0 + 5/34, c_0101_0 + 35/34*c_1100_0^5 - 11/17*c_1100_0^4 + 29/17*c_1100_0^3 + 21/34*c_1100_0^2 - 23/34*c_1100_0 + 5/34, c_0101_1 - c_1100_0, c_0101_11 + 10/17*c_1100_0^5 + 18/17*c_1100_0^4 + 36/17*c_1100_0^3 - 11/17*c_1100_0^2 + 8/17*c_1100_0 - 1/17, c_0101_13 + c_1100_0, c_0101_14 - c_1100_0, c_0101_2 - 15/34*c_1100_0^5 - 56/17*c_1100_0^4 + 24/17*c_1100_0^3 - 43/34*c_1100_0^2 - 63/34*c_1100_0 + 27/34, c_0101_3 - 15/34*c_1100_0^5 - 56/17*c_1100_0^4 + 24/17*c_1100_0^3 - 43/34*c_1100_0^2 - 29/34*c_1100_0 + 27/34, c_0101_7 - 40/17*c_1100_0^5 + 13/17*c_1100_0^4 + 9/17*c_1100_0^3 + 10/17*c_1100_0^2 + 2/17*c_1100_0 + 4/17, c_1001_1 - 55/34*c_1100_0^5 - 7/17*c_1100_0^4 + 20/17*c_1100_0^3 - 33/34*c_1100_0^2 + 7/34*c_1100_0 - 3/34, c_1001_6 + 1, c_1100_0^6 - 1/5*c_1100_0^5 + 1/5*c_1100_0^3 - 2/5*c_1100_0^2 + 1/5 ], 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_3, c_0101_0, c_0101_1, c_0101_11, c_0101_13, c_0101_14, c_0101_2, c_0101_3, c_0101_7, c_1001_1, c_1001_6, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t + 5/4*c_1100_0^5 - 25/12*c_1100_0^4 - 5/4*c_1100_0^3 + 5*c_1100_0^2 + 15/2*c_1100_0 + 11/12, c_0011_0 - 1, c_0011_10 - 1, c_0011_11 - 1/3*c_1100_0^5 + 1/2*c_1100_0^4 + 1/3*c_1100_0^3 - 7/6*c_1100_0^2 - 11/6*c_1100_0 - 1/6, c_0011_3 + 1/4*c_1100_0^5 - 7/12*c_1100_0^4 + 1/12*c_1100_0^3 + 1/2*c_1100_0^2 + 4/3*c_1100_0 - 11/12, c_0101_0 - 1/4*c_1100_0^5 + 7/12*c_1100_0^4 - 1/12*c_1100_0^3 - 1/2*c_1100_0^2 - 4/3*c_1100_0 - 1/12, c_0101_1 + 1/4*c_1100_0^5 - 1/4*c_1100_0^4 - 1/4*c_1100_0^3 + 1/2*c_1100_0^2 + 2*c_1100_0 + 3/4, c_0101_11 - 1/3*c_1100_0^5 + 1/2*c_1100_0^4 + 1/3*c_1100_0^3 - 7/6*c_1100_0^2 - 11/6*c_1100_0 - 1/6, c_0101_13 - 5/12*c_1100_0^5 + 3/4*c_1100_0^4 + 5/12*c_1100_0^3 - 11/6*c_1100_0^2 - 8/3*c_1100_0 + 5/12, c_0101_14 + 5/12*c_1100_0^5 - 3/4*c_1100_0^4 - 5/12*c_1100_0^3 + 11/6*c_1100_0^2 + 8/3*c_1100_0 - 5/12, c_0101_2 + 5/12*c_1100_0^5 - 3/4*c_1100_0^4 - 5/12*c_1100_0^3 + 11/6*c_1100_0^2 + 8/3*c_1100_0 - 5/12, c_0101_3 + 1/3*c_1100_0^5 - 1/2*c_1100_0^4 - 1/3*c_1100_0^3 + 7/6*c_1100_0^2 + 11/6*c_1100_0 + 1/6, c_0101_7 - 1/3*c_1100_0^5 + 1/2*c_1100_0^4 + 1/3*c_1100_0^3 - 7/6*c_1100_0^2 - 11/6*c_1100_0 - 1/6, c_1001_1 + 5/12*c_1100_0^5 - 3/4*c_1100_0^4 - 5/12*c_1100_0^3 + 11/6*c_1100_0^2 + 8/3*c_1100_0 + 7/12, c_1001_6 + 1, c_1100_0^6 - 2*c_1100_0^5 + 3*c_1100_0^3 + 6*c_1100_0^2 - c_1100_0 + 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_3, c_0101_0, c_0101_1, c_0101_11, c_0101_13, c_0101_14, c_0101_2, c_0101_3, c_0101_7, c_1001_1, c_1001_6, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 1125087364043212527664/14664441159560531*c_1100_0^9 + 3533136276429572975455/29328882319121062*c_1100_0^8 + 4765690671560616010061/29328882319121062*c_1100_0^7 - 7094921765080311166609/14664441159560531*c_1100_0^6 - 16580845336420042807959/29328882319121062*c_1100_0^5 + 1220371284224957462816/14664441159560531*c_1100_0^4 + 5771074106340685103757/14664441159560531*c_1100_0^3 + 1483522193531542938836/14664441159560531*c_1100_0^2 - 1217255561814810743102/14664441159560531*c_1100_0 - 1028694365929245482351/29328882319121062, c_0011_0 - 1, c_0011_10 + 732368915712/90196645157*c_1100_0^9 + 1794765598504/90196645157*c_1100_0^8 + 3613521283145/90196645157*c_1100_0^7 - 116187418200/90196645157*c_1100_0^6 - 2831143190326/90196645157*c_1100_0^5 - 1198578864816/90196645157*c_1100_0^4 + 606427483516/90196645157*c_1100_0^3 + 380034050936/90196645157*c_1100_0^2 - 28859496734/90196645157*c_1100_0 + 7932936189/90196645157, c_0011_11 - 144126117248/90196645157*c_1100_0^9 - 205218930716/90196645157*c_1100_0^8 - 350776574052/90196645157*c_1100_0^7 + 753583356392/90196645157*c_1100_0^6 + 545707974932/90196645157*c_1100_0^5 - 244643933900/90196645157*c_1100_0^4 - 267647522848/90196645157*c_1100_0^3 + 167307127865/90196645157*c_1100_0^2 + 34830735060/90196645157*c_1100_0 - 9365829293/90196645157, c_0011_3 + 523679954944/90196645157*c_1100_0^9 + 1059941348864/90196645157*c_1100_0^8 + 2095575176162/90196645157*c_1100_0^7 - 1146214840964/90196645157*c_1100_0^6 - 1933261226016/90196645157*c_1100_0^5 - 475408242788/90196645157*c_1100_0^4 + 651833864818/90196645157*c_1100_0^3 + 252270092520/90196645157*c_1100_0^2 - 41878206390/90196645157*c_1100_0 + 7870138569/90196645157, c_0101_0 + 523679954944/90196645157*c_1100_0^9 + 1059941348864/90196645157*c_1100_0^8 + 2095575176162/90196645157*c_1100_0^7 - 1146214840964/90196645157*c_1100_0^6 - 1933261226016/90196645157*c_1100_0^5 - 475408242788/90196645157*c_1100_0^4 + 651833864818/90196645157*c_1100_0^3 + 252270092520/90196645157*c_1100_0^2 - 41878206390/90196645157*c_1100_0 + 7870138569/90196645157, c_0101_1 - c_1100_0, c_0101_11 - 88052706560/90196645157*c_1100_0^9 - 251803169160/90196645157*c_1100_0^8 - 540571449952/90196645157*c_1100_0^7 - 238944153440/90196645157*c_1100_0^6 + 232320612571/90196645157*c_1100_0^5 + 196382852952/90196645157*c_1100_0^4 + 245226908270/90196645157*c_1100_0^3 - 19285833720/90196645157*c_1100_0^2 + 21557689763/90196645157*c_1100_0 - 4680296208/90196645157, c_0101_13 + 436012189312/90196645157*c_1100_0^9 + 923561495620/90196645157*c_1100_0^8 + 1988018982896/90196645157*c_1100_0^7 - 405119593877/90196645157*c_1100_0^6 - 872902505452/90196645157*c_1100_0^5 - 522585878039/90196645157*c_1100_0^4 + 128562239908/90196645157*c_1100_0^3 - 23973762650/90196645157*c_1100_0^2 + 29581657400/90196645157*c_1100_0 + 48690559417/90196645157, c_0101_14 - 436012189312/90196645157*c_1100_0^9 - 923561495620/90196645157*c_1100_0^8 - 1988018982896/90196645157*c_1100_0^7 + 405119593877/90196645157*c_1100_0^6 + 872902505452/90196645157*c_1100_0^5 + 522585878039/90196645157*c_1100_0^4 - 128562239908/90196645157*c_1100_0^3 + 23973762650/90196645157*c_1100_0^2 - 29581657400/90196645157*c_1100_0 - 48690559417/90196645157, c_0101_2 + 551550971584/90196645157*c_1100_0^9 + 797251196078/90196645157*c_1100_0^8 + 1733898128408/90196645157*c_1100_0^7 - 1980980617940/90196645157*c_1100_0^6 - 237461817532/90196645157*c_1100_0^5 + 1186271611298/90196645157*c_1100_0^4 + 678899473300/90196645157*c_1100_0^3 - 505818158978/90196645157*c_1100_0^2 - 299828190693/90196645157*c_1100_0 + 59472973588/90196645157, c_0101_3 + 551550971584/90196645157*c_1100_0^9 + 797251196078/90196645157*c_1100_0^8 + 1733898128408/90196645157*c_1100_0^7 - 1980980617940/90196645157*c_1100_0^6 - 237461817532/90196645157*c_1100_0^5 + 1186271611298/90196645157*c_1100_0^4 + 678899473300/90196645157*c_1100_0^3 - 505818158978/90196645157*c_1100_0^2 - 209631545536/90196645157*c_1100_0 + 59472973588/90196645157, c_0101_7 - 144126117248/90196645157*c_1100_0^9 - 205218930716/90196645157*c_1100_0^8 - 350776574052/90196645157*c_1100_0^7 + 753583356392/90196645157*c_1100_0^6 + 545707974932/90196645157*c_1100_0^5 - 244643933900/90196645157*c_1100_0^4 - 267647522848/90196645157*c_1100_0^3 + 167307127865/90196645157*c_1100_0^2 + 34830735060/90196645157*c_1100_0 - 9365829293/90196645157, c_1001_1 - 288232159552/90196645157*c_1100_0^9 - 1139527150098/90196645157*c_1100_0^8 - 2317431245308/90196645157*c_1100_0^7 - 1776202689752/90196645157*c_1100_0^6 + 1848911006892/90196645157*c_1100_0^5 + 1789504466734/90196645157*c_1100_0^4 + 122518010123/90196645157*c_1100_0^3 - 549937430122/90196645157*c_1100_0^2 - 57094855600/90196645157*c_1100_0 + 22239035240/90196645157, c_1001_6 + 1, c_1100_0^10 + 85/32*c_1100_0^9 + 87/16*c_1100_0^8 + 27/32*c_1100_0^7 - 31/8*c_1100_0^6 - 75/32*c_1100_0^5 + 13/16*c_1100_0^4 + 3/4*c_1100_0^3 - 1/16*c_1100_0^2 - 1/32*c_1100_0 + 1/32 ], 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_3, c_0101_0, c_0101_1, c_0101_11, c_0101_13, c_0101_14, c_0101_2, c_0101_3, c_0101_7, c_1001_1, c_1001_6, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 53666586443/4629845888*c_1100_0^9 + 79488094311/4629845888*c_1100_0^8 - 70875324657/2314922944*c_1100_0^7 - 234250463779/2314922944*c_1100_0^6 - 365699300135/2314922944*c_1100_0^5 + 2810877174727/4629845888*c_1100_0^4 - 1101353782857/2314922944*c_1100_0^3 - 191438551451/2314922944*c_1100_0^2 + 803668604785/4629845888*c_1100_0 - 438182462303/4629845888, c_0011_0 - 1, c_0011_10 + 5152678/36170671*c_1100_0^9 - 9287763/36170671*c_1100_0^8 + 17366904/36170671*c_1100_0^7 + 39910781/36170671*c_1100_0^6 + 58715527/36170671*c_1100_0^5 - 278710262/36170671*c_1100_0^4 + 329346499/36170671*c_1100_0^3 - 59766678/36170671*c_1100_0^2 - 76614487/36170671*c_1100_0 + 78741009/36170671, c_0011_11 - 289945/36170671*c_1100_0^9 - 2186592/36170671*c_1100_0^8 + 2354508/36170671*c_1100_0^7 - 9079236/36170671*c_1100_0^6 - 27866271/36170671*c_1100_0^5 - 30886163/36170671*c_1100_0^4 + 108286027/36170671*c_1100_0^3 - 87501000/36170671*c_1100_0^2 - 36046627/36170671*c_1100_0 - 3160438/36170671, c_0011_3 - 5152678/36170671*c_1100_0^9 + 9287763/36170671*c_1100_0^8 - 17366904/36170671*c_1100_0^7 - 39910781/36170671*c_1100_0^6 - 58715527/36170671*c_1100_0^5 + 278710262/36170671*c_1100_0^4 - 329346499/36170671*c_1100_0^3 + 59766678/36170671*c_1100_0^2 + 76614487/36170671*c_1100_0 - 78741009/36170671, c_0101_0 + 5152678/36170671*c_1100_0^9 - 9287763/36170671*c_1100_0^8 + 17366904/36170671*c_1100_0^7 + 39910781/36170671*c_1100_0^6 + 58715527/36170671*c_1100_0^5 - 278710262/36170671*c_1100_0^4 + 329346499/36170671*c_1100_0^3 - 59766678/36170671*c_1100_0^2 - 76614487/36170671*c_1100_0 + 42570338/36170671, c_0101_1 + 2047318/36170671*c_1100_0^9 - 1610073/36170671*c_1100_0^8 + 5300641/36170671*c_1100_0^7 + 19211682/36170671*c_1100_0^6 + 45756175/36170671*c_1100_0^5 - 70038783/36170671*c_1100_0^4 + 47699848/36170671*c_1100_0^3 - 18014919/36170671*c_1100_0^2 + 45591913/36170671*c_1100_0 + 22608071/36170671, c_0101_11 + 10689543/36170671*c_1100_0^9 - 21982963/36170671*c_1100_0^8 + 34743486/36170671*c_1100_0^7 + 80162524/36170671*c_1100_0^6 + 87453573/36170671*c_1100_0^5 - 667516668/36170671*c_1100_0^4 + 719112385/36170671*c_1100_0^3 - 35135864/36170671*c_1100_0^2 - 224024604/36170671*c_1100_0 + 85415452/36170671, c_0101_13 - 2047318/36170671*c_1100_0^9 + 1610073/36170671*c_1100_0^8 - 5300641/36170671*c_1100_0^7 - 19211682/36170671*c_1100_0^6 - 45756175/36170671*c_1100_0^5 + 70038783/36170671*c_1100_0^4 - 47699848/36170671*c_1100_0^3 + 18014919/36170671*c_1100_0^2 - 45591913/36170671*c_1100_0 - 22608071/36170671, c_0101_14 + 2047318/36170671*c_1100_0^9 - 1610073/36170671*c_1100_0^8 + 5300641/36170671*c_1100_0^7 + 19211682/36170671*c_1100_0^6 + 45756175/36170671*c_1100_0^5 - 70038783/36170671*c_1100_0^4 + 47699848/36170671*c_1100_0^3 - 18014919/36170671*c_1100_0^2 + 45591913/36170671*c_1100_0 + 22608071/36170671, c_0101_2 + 24912706/36170671*c_1100_0^9 - 35360707/36170671*c_1100_0^8 + 65233759/36170671*c_1100_0^7 + 217840770/36170671*c_1100_0^6 + 359353125/36170671*c_1100_0^5 - 1272144839/36170671*c_1100_0^4 + 954925030/36170671*c_1100_0^3 + 134364225/36170671*c_1100_0^2 - 225225328/36170671*c_1100_0 + 126609179/36170671, c_0101_3 + 13480012/36170671*c_1100_0^9 - 18485390/36170671*c_1100_0^8 + 35267200/36170671*c_1100_0^7 + 118526226/36170671*c_1100_0^6 + 202554650/36170671*c_1100_0^5 - 671091811/36170671*c_1100_0^4 + 501312439/36170671*c_1100_0^3 + 58174653/36170671*c_1100_0^2 - 107902043/36170671*c_1100_0 + 74608625/36170671, c_0101_7 - 289945/36170671*c_1100_0^9 - 2186592/36170671*c_1100_0^8 + 2354508/36170671*c_1100_0^7 - 9079236/36170671*c_1100_0^6 - 27866271/36170671*c_1100_0^5 - 30886163/36170671*c_1100_0^4 + 108286027/36170671*c_1100_0^3 - 87501000/36170671*c_1100_0^2 - 36046627/36170671*c_1100_0 - 3160438/36170671, c_1001_1 + 6043129/36170671*c_1100_0^9 - 5160704/36170671*c_1100_0^8 + 13682987/36170671*c_1100_0^7 + 58888016/36170671*c_1100_0^6 + 122284685/36170671*c_1100_0^5 - 232284661/36170671*c_1100_0^4 + 100887545/36170671*c_1100_0^3 + 32170169/36170671*c_1100_0^2 + 14600958/36170671*c_1100_0 + 33976401/36170671, c_1001_6 + 1, c_1100_0^10 - c_1100_0^9 + 2*c_1100_0^8 + 10*c_1100_0^7 + 18*c_1100_0^6 - 45*c_1100_0^5 + 18*c_1100_0^4 + 26*c_1100_0^3 - 11*c_1100_0^2 + c_1100_0 + 4 ], 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_3, c_0101_0, c_0101_1, c_0101_11, c_0101_13, c_0101_14, c_0101_2, c_0101_3, c_0101_7, c_1001_1, c_1001_6, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 405615/46976*c_1100_0^9 + 1199547/46976*c_1100_0^8 + 1827/46976*c_1100_0^7 - 2268183/23488*c_1100_0^6 - 3689659/46976*c_1100_0^5 + 5581201/46976*c_1100_0^4 + 8512351/46976*c_1100_0^3 - 177245/23488*c_1100_0^2 - 1289051/11744*c_1100_0 - 2479765/46976, c_0011_0 - 1, c_0011_10 - 148/367*c_1100_0^9 - 335/367*c_1100_0^8 + 235/367*c_1100_0^7 + 1446/367*c_1100_0^6 + 238/367*c_1100_0^5 - 2044/367*c_1100_0^4 - 962/367*c_1100_0^3 + 895/367*c_1100_0^2 + 207/367*c_1100_0 + 157/367, c_0011_11 + 54/367*c_1100_0^9 + 28/367*c_1100_0^8 - 299/367*c_1100_0^7 - 478/367*c_1100_0^6 + 667/367*c_1100_0^5 + 964/367*c_1100_0^4 - 383/367*c_1100_0^3 - 1006/367*c_1100_0^2 + 227/367*c_1100_0 - 92/367, c_0011_3 - 148/367*c_1100_0^9 - 335/367*c_1100_0^8 + 235/367*c_1100_0^7 + 1446/367*c_1100_0^6 + 238/367*c_1100_0^5 - 2044/367*c_1100_0^4 - 962/367*c_1100_0^3 + 895/367*c_1100_0^2 + 207/367*c_1100_0 - 210/367, c_0101_0 + 148/367*c_1100_0^9 + 335/367*c_1100_0^8 - 235/367*c_1100_0^7 - 1446/367*c_1100_0^6 - 238/367*c_1100_0^5 + 2044/367*c_1100_0^4 + 962/367*c_1100_0^3 - 895/367*c_1100_0^2 - 207/367*c_1100_0 - 157/367, c_0101_1 + 56/367*c_1100_0^9 + 97/367*c_1100_0^8 - 79/367*c_1100_0^7 - 319/367*c_1100_0^6 + 148/367*c_1100_0^5 + 89/367*c_1100_0^4 - 370/367*c_1100_0^3 - 51/367*c_1100_0^2 + 616/367*c_1100_0 - 109/367, c_0101_11 - 260/367*c_1100_0^9 - 529/367*c_1100_0^8 + 393/367*c_1100_0^7 + 2084/367*c_1100_0^6 - 58/367*c_1100_0^5 - 2589/367*c_1100_0^4 - 956/367*c_1100_0^3 + 630/367*c_1100_0^2 + 76/367*c_1100_0 + 375/367, c_0101_13 + c_1100_0, c_0101_14 - c_1100_0, c_0101_2 - 74/367*c_1100_0^9 - 351/367*c_1100_0^8 - 433/367*c_1100_0^7 + 723/367*c_1100_0^6 + 1954/367*c_1100_0^5 + 79/367*c_1100_0^4 - 3050/367*c_1100_0^3 - 1571/367*c_1100_0^2 + 1021/367*c_1100_0 + 629/367, c_0101_3 - 9/367*c_1100_0^9 - 127/367*c_1100_0^8 - 256/367*c_1100_0^7 + 202/367*c_1100_0^6 + 1051/367*c_1100_0^5 + 84/367*c_1100_0^4 - 1710/367*c_1100_0^3 - 811/367*c_1100_0^2 + 635/367*c_1100_0 + 260/367, c_0101_7 + 54/367*c_1100_0^9 + 28/367*c_1100_0^8 - 299/367*c_1100_0^7 - 478/367*c_1100_0^6 + 667/367*c_1100_0^5 + 964/367*c_1100_0^4 - 383/367*c_1100_0^3 - 1006/367*c_1100_0^2 + 227/367*c_1100_0 - 92/367, c_1001_1 + 86/367*c_1100_0^9 + 31/367*c_1100_0^8 - 449/367*c_1100_0^7 - 503/367*c_1100_0^6 + 1171/367*c_1100_0^5 + 910/367*c_1100_0^4 - 1276/367*c_1100_0^3 - 773/367*c_1100_0^2 + 579/367*c_1100_0 + 3/367, c_1001_6 + 1, c_1100_0^10 + 2*c_1100_0^9 - 2*c_1100_0^8 - 9*c_1100_0^7 + c_1100_0^6 + 14*c_1100_0^5 + 4*c_1100_0^4 - 9*c_1100_0^3 - 2*c_1100_0^2 + c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.260 Total time: 5.469 seconds, Total memory usage: 84.12MB