Magma V2.19-8 Tue Aug 20 2013 18:05:47 on localhost [Seed = 4256974827] Type ? for help. Type -D to quit. Loading file "11_202__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_202 geometric_solution 12.76807477 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 14 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 -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.465985853135 0.412596569183 0 2 6 5 0132 0321 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.969349172856 0.433863029746 7 0 8 1 0132 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 0 1 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.375867753366 1.378127276935 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 0 0 0 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.242041776587 1.035987206867 10 11 0 12 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 -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.241927151408 0.803444081202 6 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 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.786154541434 0.915301327090 10 7 5 1 3120 0321 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.606538469357 0.797269560377 2 8 10 6 0132 0213 1023 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.824205316757 0.346957676105 10 12 7 2 1023 1023 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.015843088615 0.590886740212 13 13 12 3 0132 1230 0132 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 0 0 0 0 0 0 6 -7 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.242041776587 1.035987206867 4 8 7 6 0132 1023 1023 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.971035162126 0.558551913886 12 4 13 13 1023 0132 0213 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 1 0 -1 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.242041776587 1.035987206867 8 11 4 9 1023 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.045343940494 1.691155925370 9 11 9 11 0132 0213 3012 1023 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 1 0 -1 -6 -1 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.786154541434 0.915301327090 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_13'], 'c_1001_10' : d['c_0011_0'], 'c_1001_13' : d['c_0011_13'], 'c_1001_12' : d['c_0011_13'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0101_9'], 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_13'], 'c_1001_2' : d['c_0101_9'], 'c_1001_9' : d['c_0110_11'], 'c_1001_8' : d['c_0101_10'], 'c_1010_13' : d['c_0110_11'], 'c_1010_12' : d['c_0110_11'], 'c_1010_11' : d['c_0101_9'], 'c_1010_10' : negation(d['c_0011_6']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_0_13' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_13'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_10'], 'c_1100_8' : d['c_1001_1'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : d['c_0101_0'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0011_3'], 'c_1100_6' : d['c_0101_0'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1001_1'], 's_0_10' : negation(d['1']), 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : d['c_0110_11'], 'c_1100_10' : negation(d['c_0011_3']), 'c_1100_13' : negation(d['c_0110_11']), 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0101_13'], 'c_1010_4' : d['c_0011_13'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_0101_9'], 'c_1010_9' : d['c_0101_13'], 'c_1010_8' : d['c_0101_9'], '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' : negation(d['1']), 'c_1100_12' : d['c_1100_0'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_13']), 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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_0110_11'], 'c_0110_10' : d['c_0101_1'], 'c_0110_13' : d['c_0101_9'], 'c_0110_12' : d['c_0101_9'], 'c_0101_12' : d['c_0101_10'], 's_3_12' : d['1'], 'c_0101_7' : d['c_0011_0'], 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_13'], 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0011_0'], 'c_0011_10' : d['c_0011_10'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0101_13'], 'c_0110_8' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0101_1'], 'c_0101_13' : d['c_0101_13']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_13, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_13, c_0101_9, c_0110_11, c_1001_0, c_1001_1, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t + 1025229/98336*c_1100_0^5 - 3421077/98336*c_1100_0^4 + 574043/49168*c_1100_0^3 + 2693443/98336*c_1100_0^2 + 11853383/49168*c_1100_0 - 1749843/3512, c_0011_0 - 1, c_0011_10 + 37/1756*c_1100_0^5 + 113/1756*c_1100_0^4 - 90/439*c_1100_0^3 - 265/1756*c_1100_0^2 + 165/439*c_1100_0 + 534/439, c_0011_13 + 1, c_0011_3 + 1, c_0011_6 + 14/439*c_1100_0^5 - 45/878*c_1100_0^4 - 47/878*c_1100_0^3 - 124/439*c_1100_0^2 + 891/878*c_1100_0 + 37/439, c_0101_0 - 14/439*c_1100_0^5 + 45/878*c_1100_0^4 + 47/878*c_1100_0^3 + 124/439*c_1100_0^2 - 891/878*c_1100_0 - 37/439, c_0101_1 - 35/878*c_1100_0^5 + 83/439*c_1100_0^4 - 51/878*c_1100_0^3 - 129/878*c_1100_0^2 - 565/878*c_1100_0 + 283/439, c_0101_10 - 51/1756*c_1100_0^5 + 129/1756*c_1100_0^4 + 41/439*c_1100_0^3 - 489/1756*c_1100_0^2 - 441/439*c_1100_0 + 225/439, c_0101_13 + 37/1756*c_1100_0^5 + 113/1756*c_1100_0^4 - 90/439*c_1100_0^3 - 265/1756*c_1100_0^2 + 165/439*c_1100_0 + 534/439, c_0101_9 + 117/1756*c_1100_0^5 - 141/1756*c_1100_0^4 - 59/878*c_1100_0^3 - 221/1756*c_1100_0^2 + 913/878*c_1100_0 - 103/439, c_0110_11 + 14/439*c_1100_0^5 - 45/878*c_1100_0^4 - 47/878*c_1100_0^3 - 124/439*c_1100_0^2 + 891/878*c_1100_0 + 37/439, c_1001_0 - 117/1756*c_1100_0^5 + 141/1756*c_1100_0^4 + 59/878*c_1100_0^3 + 221/1756*c_1100_0^2 - 913/878*c_1100_0 + 103/439, c_1001_1 - 107/1756*c_1100_0^5 + 219/1756*c_1100_0^4 + 129/878*c_1100_0^3 + 7/1756*c_1100_0^2 - 895/878*c_1100_0 + 188/439, c_1100_0^6 - 3*c_1100_0^5 + 3*c_1100_0^3 + 24*c_1100_0^2 - 40*c_1100_0 - 16 ], Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_13, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_13, c_0101_9, c_0110_11, c_1001_0, c_1001_1, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t + 13/6*c_1001_1*c_1100_0^2 - 1/3*c_1001_1*c_1100_0 - 25/6*c_1001_1 + 29/6*c_1100_0^2 - 35/6*c_1100_0 - 11/6, c_0011_0 - 1, c_0011_10 + c_1100_0, c_0011_13 + 1/3*c_1001_1*c_1100_0^2 + 1/3*c_1001_1*c_1100_0 + 2/3*c_1001_1 + 1/3*c_1100_0^2 + 1/3*c_1100_0 - 1/3, c_0011_3 - 1/3*c_1001_1*c_1100_0^2 - 1/3*c_1001_1*c_1100_0 - 2/3*c_1001_1 - 1/3*c_1100_0^2 - 1/3*c_1100_0 - 2/3, c_0011_6 + c_1100_0^2 - c_1100_0, c_0101_0 - 2/3*c_1001_1*c_1100_0^2 + 1/3*c_1001_1*c_1100_0 - 1/3*c_1001_1 + 1/3*c_1100_0^2 + 1/3*c_1100_0 - 1/3, c_0101_1 - 1/3*c_1001_1*c_1100_0^2 - 1/3*c_1001_1*c_1100_0 - 2/3*c_1001_1 - 1/3*c_1100_0^2 - 1/3*c_1100_0 + 1/3, c_0101_10 + 2/3*c_1001_1*c_1100_0^2 - 1/3*c_1001_1*c_1100_0 + 1/3*c_1001_1 + 2/3*c_1100_0^2 + 2/3*c_1100_0 + 1/3, c_0101_13 + c_1100_0, c_0101_9 - 1/3*c_1001_1*c_1100_0^2 + 2/3*c_1001_1*c_1100_0 + 1/3*c_1001_1 - 1/3*c_1100_0^2 - 1/3*c_1100_0 - 2/3, c_0110_11 - 2/3*c_1001_1*c_1100_0^2 + 1/3*c_1001_1*c_1100_0 - 1/3*c_1001_1 - 2/3*c_1100_0^2 - 2/3*c_1100_0 - 1/3, c_1001_0 - 1/3*c_1001_1*c_1100_0^2 + 2/3*c_1001_1*c_1100_0 + 1/3*c_1001_1 + 2/3*c_1100_0^2 + 2/3*c_1100_0 + 1/3, c_1001_1^2 + c_1001_1*c_1100_0 + 2*c_1100_0^2 - 2*c_1100_0, c_1100_0^3 - c_1100_0^2 - 1 ], Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_13, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_13, c_0101_9, c_0110_11, c_1001_0, c_1001_1, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 125451512934995/5855372147204096*c_1100_0^9 + 67276689547237/731921518400512*c_1100_0^8 + 406497744929561/5855372147204096*c_1100_0^7 - 572444315388655/2927686073602048*c_1100_0^6 - 1017490160306705/5855372147204096*c_1100_0^5 + 63580145018133/172216827858944*c_1100_0^4 + 11450420142289/43054206964736*c_1100_0^3 - 2550379569659723/5855372147204096*c_1100_0^2 + 7736437597881/91490189800064*c_1100_0 + 1477469145377121/5855372147204096, c_0011_0 - 1, c_0011_10 + 40742/344009*c_1100_0^9 + 187645/344009*c_1100_0^8 + 234099/344009*c_1100_0^7 - 164966/344009*c_1100_0^6 - 383096/344009*c_1100_0^5 + 200950/344009*c_1100_0^4 + 373552/344009*c_1100_0^3 - 321182/344009*c_1100_0^2 + 333846/344009*c_1100_0 + 245202/344009, c_0011_13 - 80187/344009*c_1100_0^9 - 339215/344009*c_1100_0^8 - 288454/344009*c_1100_0^7 + 536564/344009*c_1100_0^6 + 472014/344009*c_1100_0^5 - 863143/344009*c_1100_0^4 - 304403/344009*c_1100_0^3 + 933086/344009*c_1100_0^2 - 1266219/344009*c_1100_0 - 355522/344009, c_0011_3 + 1, c_0011_6 + 11031/344009*c_1100_0^9 + 65455/344009*c_1100_0^8 + 111047/344009*c_1100_0^7 - 25498/344009*c_1100_0^6 - 196570/344009*c_1100_0^5 - 84405/344009*c_1100_0^4 - 16800/344009*c_1100_0^3 - 12387/344009*c_1100_0^2 + 293779/344009*c_1100_0 + 89153/344009, c_0101_0 - 11031/344009*c_1100_0^9 - 65455/344009*c_1100_0^8 - 111047/344009*c_1100_0^7 + 25498/344009*c_1100_0^6 + 196570/344009*c_1100_0^5 + 84405/344009*c_1100_0^4 + 16800/344009*c_1100_0^3 + 12387/344009*c_1100_0^2 - 293779/344009*c_1100_0 - 89153/344009, c_0101_1 + 43429/344009*c_1100_0^9 + 249120/344009*c_1100_0^8 + 434073/344009*c_1100_0^7 - 54106/344009*c_1100_0^6 - 635275/344009*c_1100_0^5 + 261504/344009*c_1100_0^4 + 1029972/344009*c_1100_0^3 - 157855/344009*c_1100_0^2 - 107504/344009*c_1100_0 + 364436/344009, c_0101_10 - 45100/344009*c_1100_0^9 - 168285/344009*c_1100_0^8 - 42612/344009*c_1100_0^7 + 493944/344009*c_1100_0^6 + 198951/344009*c_1100_0^5 - 890519/344009*c_1100_0^4 - 266996/344009*c_1100_0^3 + 901264/344009*c_1100_0^2 - 1008787/344009*c_1100_0 - 101106/344009, c_0101_13 + 40742/344009*c_1100_0^9 + 187645/344009*c_1100_0^8 + 234099/344009*c_1100_0^7 - 164966/344009*c_1100_0^6 - 383096/344009*c_1100_0^5 + 200950/344009*c_1100_0^4 + 373552/344009*c_1100_0^3 - 321182/344009*c_1100_0^2 + 333846/344009*c_1100_0 + 245202/344009, c_0101_9 + 21332/344009*c_1100_0^9 + 40849/344009*c_1100_0^8 - 97891/344009*c_1100_0^7 - 225913/344009*c_1100_0^6 + 186200/344009*c_1100_0^5 + 282294/344009*c_1100_0^4 - 573996/344009*c_1100_0^3 - 467695/344009*c_1100_0^2 + 866345/344009*c_1100_0 - 630188/344009, c_0110_11 + 72893/344009*c_1100_0^9 + 248002/344009*c_1100_0^8 + 41229/344009*c_1100_0^7 - 596296/344009*c_1100_0^6 + 38678/344009*c_1100_0^5 + 976585/344009*c_1100_0^4 - 464660/344009*c_1100_0^3 - 1039222/344009*c_1100_0^2 + 1850140/344009*c_1100_0 - 925532/344009, c_1001_0 - 48733/344009*c_1100_0^9 - 217348/344009*c_1100_0^8 - 214281/344009*c_1100_0^7 + 277992/344009*c_1100_0^6 + 282963/344009*c_1100_0^5 - 430581/344009*c_1100_0^4 - 99703/344009*c_1100_0^3 + 500429/344009*c_1100_0^2 - 756574/344009*c_1100_0 - 2295/344009, c_1001_1 + 2687/344009*c_1100_0^9 + 61475/344009*c_1100_0^8 + 199974/344009*c_1100_0^7 + 110860/344009*c_1100_0^6 - 252179/344009*c_1100_0^5 + 60554/344009*c_1100_0^4 + 656420/344009*c_1100_0^3 + 163327/344009*c_1100_0^2 - 441350/344009*c_1100_0 + 463243/344009, c_1100_0^10 + 4*c_1100_0^9 + 3*c_1100_0^8 - 6*c_1100_0^7 - 3*c_1100_0^6 + 10*c_1100_0^5 - 9*c_1100_0^3 + 20*c_1100_0^2 - 5*c_1100_0 + 4 ], Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_13, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_13, c_0101_9, c_0110_11, c_1001_0, c_1001_1, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 13222057339/137735699456*c_1100_0^9 + 1778533757/17216962432*c_1100_0^8 - 6761408873/5988508672*c_1100_0^7 - 177833580599/68867849728*c_1100_0^6 + 116505361207/137735699456*c_1100_0^5 + 19987779245/4051049984*c_1100_0^4 - 436100215/1012762496*c_1100_0^3 - 748497687731/137735699456*c_1100_0^2 + 3116501745/2152120304*c_1100_0 - 205018031719/137735699456, c_0011_0 - 1, c_0011_10 + 40742/344009*c_1100_0^9 + 187645/344009*c_1100_0^8 + 234099/344009*c_1100_0^7 - 164966/344009*c_1100_0^6 - 383096/344009*c_1100_0^5 + 200950/344009*c_1100_0^4 + 373552/344009*c_1100_0^3 - 321182/344009*c_1100_0^2 + 333846/344009*c_1100_0 + 245202/344009, c_0011_13 + 1, c_0011_3 - 80187/344009*c_1100_0^9 - 339215/344009*c_1100_0^8 - 288454/344009*c_1100_0^7 + 536564/344009*c_1100_0^6 + 472014/344009*c_1100_0^5 - 863143/344009*c_1100_0^4 - 304403/344009*c_1100_0^3 + 933086/344009*c_1100_0^2 - 1266219/344009*c_1100_0 - 355522/344009, c_0011_6 + 11031/344009*c_1100_0^9 + 65455/344009*c_1100_0^8 + 111047/344009*c_1100_0^7 - 25498/344009*c_1100_0^6 - 196570/344009*c_1100_0^5 - 84405/344009*c_1100_0^4 - 16800/344009*c_1100_0^3 - 12387/344009*c_1100_0^2 + 293779/344009*c_1100_0 + 89153/344009, c_0101_0 - 72893/344009*c_1100_0^9 - 248002/344009*c_1100_0^8 - 41229/344009*c_1100_0^7 + 596296/344009*c_1100_0^6 - 38678/344009*c_1100_0^5 - 976585/344009*c_1100_0^4 + 464660/344009*c_1100_0^3 + 1039222/344009*c_1100_0^2 - 1850140/344009*c_1100_0 + 925532/344009, c_0101_1 - 80187/344009*c_1100_0^9 - 339215/344009*c_1100_0^8 - 288454/344009*c_1100_0^7 + 536564/344009*c_1100_0^6 + 472014/344009*c_1100_0^5 - 863143/344009*c_1100_0^4 - 304403/344009*c_1100_0^3 + 933086/344009*c_1100_0^2 - 1266219/344009*c_1100_0 - 11513/344009, c_0101_10 - 4608/344009*c_1100_0^9 + 7367/344009*c_1100_0^8 + 91328/344009*c_1100_0^7 + 113564/344009*c_1100_0^6 - 122402/344009*c_1100_0^5 - 125098/344009*c_1100_0^4 + 204236/344009*c_1100_0^3 - 89973/344009*c_1100_0^2 - 235457/344009*c_1100_0 + 456271/344009, c_0101_13 + 40742/344009*c_1100_0^9 + 187645/344009*c_1100_0^8 + 234099/344009*c_1100_0^7 - 164966/344009*c_1100_0^6 - 383096/344009*c_1100_0^5 + 200950/344009*c_1100_0^4 + 373552/344009*c_1100_0^3 - 321182/344009*c_1100_0^2 + 333846/344009*c_1100_0 + 245202/344009, c_0101_9 + 48733/344009*c_1100_0^9 + 217348/344009*c_1100_0^8 + 214281/344009*c_1100_0^7 - 277992/344009*c_1100_0^6 - 282963/344009*c_1100_0^5 + 430581/344009*c_1100_0^4 + 99703/344009*c_1100_0^3 - 500429/344009*c_1100_0^2 + 756574/344009*c_1100_0 + 2295/344009, c_0110_11 + 11031/344009*c_1100_0^9 + 65455/344009*c_1100_0^8 + 111047/344009*c_1100_0^7 - 25498/344009*c_1100_0^6 - 196570/344009*c_1100_0^5 - 84405/344009*c_1100_0^4 - 16800/344009*c_1100_0^3 - 12387/344009*c_1100_0^2 + 293779/344009*c_1100_0 + 89153/344009, c_1001_0 - 21332/344009*c_1100_0^9 - 40849/344009*c_1100_0^8 + 97891/344009*c_1100_0^7 + 225913/344009*c_1100_0^6 - 186200/344009*c_1100_0^5 - 282294/344009*c_1100_0^4 + 573996/344009*c_1100_0^3 + 467695/344009*c_1100_0^2 - 866345/344009*c_1100_0 + 630188/344009, c_1001_1 - 56131/344009*c_1100_0^9 - 233740/344009*c_1100_0^8 - 153659/344009*c_1100_0^7 + 519442/344009*c_1100_0^6 + 395521/344009*c_1100_0^5 - 806114/344009*c_1100_0^4 - 250196/344009*c_1100_0^3 + 913651/344009*c_1100_0^2 - 958557/344009*c_1100_0 - 190259/344009, c_1100_0^10 + 4*c_1100_0^9 + 3*c_1100_0^8 - 6*c_1100_0^7 - 3*c_1100_0^6 + 10*c_1100_0^5 - 9*c_1100_0^3 + 20*c_1100_0^2 - 5*c_1100_0 + 4 ], Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_13, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_13, c_0101_9, c_0110_11, c_1001_0, c_1001_1, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 47418892932/18373241*c_1100_0^9 - 309624259557/18373241*c_1100_0^8 + 961839437248/18373241*c_1100_0^7 - 1785313746457/18373241*c_1100_0^6 + 2735372177315/18373241*c_1100_0^5 - 4094500863/23053*c_1100_0^4 + 4260770596202/18373241*c_1100_0^3 - 4020015139267/18373241*c_1100_0^2 + 3117143767415/18373241*c_1100_0 - 587013693114/18373241, c_0011_0 - 1, c_0011_10 - 316067/18373241*c_1100_0^9 + 2099919/18373241*c_1100_0^8 - 6215014/18373241*c_1100_0^7 + 9265428/18373241*c_1100_0^6 - 10317365/18373241*c_1100_0^5 + 14720/23053*c_1100_0^4 - 19537176/18373241*c_1100_0^3 + 11831281/18373241*c_1100_0^2 - 14068102/18373241*c_1100_0 - 8907915/18373241, c_0011_13 - 106461/36746482*c_1100_0^9 + 348165/18373241*c_1100_0^8 - 4301855/36746482*c_1100_0^7 + 7401717/18373241*c_1100_0^6 - 28911167/36746482*c_1100_0^5 + 18756/23053*c_1100_0^4 - 23605460/18373241*c_1100_0^3 + 39188593/36746482*c_1100_0^2 - 24454585/18373241*c_1100_0 - 19197919/36746482, c_0011_3 - 106461/36746482*c_1100_0^9 + 348165/18373241*c_1100_0^8 - 4301855/36746482*c_1100_0^7 + 7401717/18373241*c_1100_0^6 - 28911167/36746482*c_1100_0^5 + 18756/23053*c_1100_0^4 - 23605460/18373241*c_1100_0^3 + 39188593/36746482*c_1100_0^2 - 24454585/18373241*c_1100_0 - 19197919/36746482, c_0011_6 + 2769976/18373241*c_1100_0^9 - 17488535/18373241*c_1100_0^8 + 51047272/18373241*c_1100_0^7 - 86410168/18373241*c_1100_0^6 + 126205643/18373241*c_1100_0^5 - 184445/23053*c_1100_0^4 + 189584936/18373241*c_1100_0^3 - 163007764/18373241*c_1100_0^2 + 96528363/18373241*c_1100_0 + 10521564/18373241, c_0101_0 - 282317/36746482*c_1100_0^9 + 457305/18373241*c_1100_0^8 - 1006989/36746482*c_1100_0^7 + 660001/18373241*c_1100_0^6 - 10219817/36746482*c_1100_0^5 + 4425/23053*c_1100_0^4 - 109159/18373241*c_1100_0^3 - 14170587/36746482*c_1100_0^2 - 9905661/18373241*c_1100_0 + 4764171/36746482, c_0101_1 - 106461/36746482*c_1100_0^9 + 348165/18373241*c_1100_0^8 - 4301855/36746482*c_1100_0^7 + 7401717/18373241*c_1100_0^6 - 28911167/36746482*c_1100_0^5 + 18756/23053*c_1100_0^4 - 23605460/18373241*c_1100_0^3 + 39188593/36746482*c_1100_0^2 - 24454585/18373241*c_1100_0 + 17548563/36746482, c_0101_10 - 2851249/36746482*c_1100_0^9 + 7959294/18373241*c_1100_0^8 - 42316529/36746482*c_1100_0^7 + 33152375/18373241*c_1100_0^6 - 101374547/36746482*c_1100_0^5 + 62262/23053*c_1100_0^4 - 75053315/18373241*c_1100_0^3 + 110617517/36746482*c_1100_0^2 - 38466532/18373241*c_1100_0 - 22318385/36746482, c_0101_13 - 316067/18373241*c_1100_0^9 + 2099919/18373241*c_1100_0^8 - 6215014/18373241*c_1100_0^7 + 9265428/18373241*c_1100_0^6 - 10317365/18373241*c_1100_0^5 + 14720/23053*c_1100_0^4 - 19537176/18373241*c_1100_0^3 + 11831281/18373241*c_1100_0^2 - 14068102/18373241*c_1100_0 - 8907915/18373241, c_0101_9 - 817287/36746482*c_1100_0^9 + 2085693/18373241*c_1100_0^8 - 7752569/36746482*c_1100_0^7 + 1320182/18373241*c_1100_0^6 + 3291845/36746482*c_1100_0^5 - 6702/23053*c_1100_0^4 + 3390374/18373241*c_1100_0^3 - 11431633/36746482*c_1100_0^2 + 19988063/18373241*c_1100_0 - 8555697/36746482, c_0110_11 + 282317/36746482*c_1100_0^9 - 457305/18373241*c_1100_0^8 + 1006989/36746482*c_1100_0^7 - 660001/18373241*c_1100_0^6 + 10219817/36746482*c_1100_0^5 - 4425/23053*c_1100_0^4 + 109159/18373241*c_1100_0^3 + 14170587/36746482*c_1100_0^2 + 9905661/18373241*c_1100_0 - 4764171/36746482, c_1001_0 + 817287/36746482*c_1100_0^9 - 2085693/18373241*c_1100_0^8 + 7752569/36746482*c_1100_0^7 - 1320182/18373241*c_1100_0^6 - 3291845/36746482*c_1100_0^5 + 6702/23053*c_1100_0^4 - 3390374/18373241*c_1100_0^3 + 11431633/36746482*c_1100_0^2 - 19988063/18373241*c_1100_0 + 8555697/36746482, c_1001_1 - 1783383/36746482*c_1100_0^9 + 4704641/18373241*c_1100_0^8 - 26505109/36746482*c_1100_0^7 + 24682207/18373241*c_1100_0^6 - 88515151/36746482*c_1100_0^5 + 58071/23053*c_1100_0^4 - 76218875/18373241*c_1100_0^3 + 99795381/36746482*c_1100_0^2 - 63122083/18373241*c_1100_0 - 8819913/36746482, c_1100_0^10 - 6*c_1100_0^9 + 17*c_1100_0^8 - 28*c_1100_0^7 + 41*c_1100_0^6 - 44*c_1100_0^5 + 62*c_1100_0^4 - 47*c_1100_0^3 + 34*c_1100_0^2 + 11*c_1100_0 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.230 Total time: 5.440 seconds, Total memory usage: 64.12MB