Magma V2.19-8 Tue Aug 20 2013 18:07:35 on localhost [Seed = 3465507898] Type ? for help. Type -D to quit. Loading file "10_103__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_103 geometric_solution 13.87478957 oriented_manifold CS_known 0.0000000000000013 1 0 torus 0.000000000000 0.000000000000 15 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.251114749696 0.560858918423 0 4 6 5 0132 2103 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.855485751907 0.640694703690 7 0 5 8 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.945480016815 0.715508530707 9 10 11 0 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 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.532524068305 0.780317607340 11 1 0 6 1023 2103 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.097379305226 1.072965206171 7 2 1 8 1023 1230 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 -1 1 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.945480016815 0.715508530707 11 12 4 1 2031 0132 2031 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.877350234593 0.346037581049 2 5 9 13 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.778395426719 0.880601427264 14 10 2 5 0132 0213 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 1 0 0 -1 -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.778395426719 0.880601427264 3 14 7 10 0132 1302 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 -1 0 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.569745626406 0.527733611983 9 3 8 12 3120 0132 0213 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.798062262767 0.473733208429 12 4 6 3 2103 1023 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.173951866027 0.560617519788 13 6 11 10 1302 0132 2103 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.564973857221 0.943062559131 14 12 7 14 2103 2031 0132 3201 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 -1 0 1 0 0 0 0 6 -1 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.160399470969 0.674031089631 8 13 13 9 0132 2310 2103 2031 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 5 -6 1 -1 0 0 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.160399470969 0.674031089631 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_14' : negation(d['c_0011_12']), 'c_1001_11' : d['c_0101_1'], 'c_1001_10' : d['c_1001_0'], 'c_1001_13' : negation(d['c_0110_12']), 'c_1001_12' : d['c_0011_11'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0110_4']), 'c_1001_1' : d['c_0011_11'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0110_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0101_7'], 'c_1001_8' : d['c_1001_0'], 'c_1010_13' : d['c_0011_12'], 'c_1010_12' : negation(d['c_0110_4']), 'c_1010_11' : d['c_0110_4'], 'c_1010_10' : d['c_0110_4'], 'c_1010_14' : d['c_0011_10'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_3_13' : d['1'], 's_0_13' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0011_12'], 'c_0101_11' : d['c_0011_12'], 'c_0101_10' : negation(d['c_0011_14']), 'c_0101_14' : d['c_0101_13'], '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' : negation(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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_14' : d['c_0011_14'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_1001_5']), 'c_0011_13' : negation(d['c_0011_12']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_5'], 'c_1100_4' : d['c_0101_6'], 'c_1100_7' : negation(d['c_0011_14']), 'c_1100_6' : d['c_1001_5'], 'c_1100_1' : d['c_1001_5'], 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_1001_5']), 'c_1100_14' : d['c_0011_10'], 's_0_10' : d['1'], 'c_1100_9' : d['c_0011_14'], 'c_1100_11' : d['c_0101_6'], 'c_1100_10' : negation(d['c_0110_12']), 'c_1100_13' : negation(d['c_0011_14']), 's_0_11' : d['1'], 's_0_12' : d['1'], 'c_1010_7' : negation(d['c_0110_12']), 'c_1010_6' : d['c_0011_11'], 'c_1010_5' : d['c_0101_13'], 's_3_12' : d['1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : negation(d['c_0110_12']), 's_3_1' : negation(d['1']), 's_3_0' : 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' : negation(d['c_0101_3']), 's_1_7' : negation(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' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_14']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_3'], 'c_0110_10' : d['c_0101_3'], 'c_0110_13' : negation(d['c_0011_10']), 'c_0110_12' : d['c_0110_12'], 'c_0110_14' : d['c_0101_7'], 'c_1010_4' : negation(d['c_1001_5']), 's_0_8' : d['1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_13'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_13'], '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_0101_7'], 'c_0110_5' : negation(d['c_0110_12']), 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_13'], 'c_0110_6' : d['c_0101_1'], 's_2_9' : d['1'], 'c_0101_13' : d['c_0101_13']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_14, c_0101_0, c_0101_1, c_0101_13, c_0101_3, c_0101_6, c_0101_7, c_0110_12, c_0110_4, c_1001_0, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t - 323/31*c_1001_5^3 + 614/217*c_1001_5^2 - 3909/217*c_1001_5 + 109/217, c_0011_0 - 1, c_0011_10 - c_1001_5, c_0011_11 - 1, c_0011_12 + c_1001_5^3 + c_1001_5^2 + 2*c_1001_5 + 2, c_0011_14 - c_1001_5^2 - c_1001_5 - 1, c_0101_0 + c_1001_5^3, c_0101_1 - c_1001_5^2 + 1, c_0101_13 - c_1001_5^2 - 1, c_0101_3 + c_1001_5^3 + 1, c_0101_6 + 2*c_1001_5^3 - c_1001_5, c_0101_7 - c_1001_5^3, c_0110_12 - c_1001_5^3 - c_1001_5^2 - 2*c_1001_5 - 2, c_0110_4 + c_1001_5^3, c_1001_0 + c_1001_5, c_1001_5^4 + c_1001_5^3 + 2*c_1001_5^2 + 2*c_1001_5 + 1 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_14, c_0101_0, c_0101_1, c_0101_13, c_0101_3, c_0101_6, c_0101_7, c_0110_12, c_0110_4, c_1001_0, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t - 383209100971/1073918937*c_1001_5^7 - 874652588101/1073918937*c_1001_5^6 - 119861155569/8324953*c_1001_5^5 - 104250493697387/2147837874*c_1001_5^4 - 58580144183170/1073918937*c_1001_5^3 - 20591675202619/1073918937*c_1001_5^2 - 497445122399/715945958*c_1001_5 - 784276405487/2147837874, c_0011_0 - 1, c_0011_10 - 345/559*c_1001_5^7 - 822/559*c_1001_5^6 - 13987/559*c_1001_5^5 - 48327/559*c_1001_5^4 - 56950/559*c_1001_5^3 - 23476/559*c_1001_5^2 - 2696/559*c_1001_5 - 385/559, c_0011_11 - 249/559*c_1001_5^7 - 550/559*c_1001_5^6 - 10034/559*c_1001_5^5 - 33145/559*c_1001_5^4 - 36704/559*c_1001_5^3 - 12521/559*c_1001_5^2 + 147/559*c_1001_5 - 11/559, c_0011_12 + 190/559*c_1001_5^7 + 538/559*c_1001_5^6 + 7824/559*c_1001_5^5 + 29962/559*c_1001_5^4 + 40085/559*c_1001_5^3 + 18836/559*c_1001_5^2 + 1784/559*c_1001_5 + 111/559, c_0011_14 - 4/43*c_1001_5^7 - 4/43*c_1001_5^6 - 151/43*c_1001_5^5 - 338/43*c_1001_5^4 + 35/43*c_1001_5^3 + 467/43*c_1001_5^2 + 207/43*c_1001_5 - 19/43, c_0101_0 + 153/559*c_1001_5^7 + 352/559*c_1001_5^6 + 6212/559*c_1001_5^5 + 20919/559*c_1001_5^4 + 25053/559*c_1001_5^3 + 10112/559*c_1001_5^2 + 495/559*c_1001_5 + 270/559, c_0101_1 + 6/43*c_1001_5^7 + 189/559*c_1001_5^6 + 3141/559*c_1001_5^5 + 11025/559*c_1001_5^4 + 12210/559*c_1001_5^3 + 3433/559*c_1001_5^2 + 73/559*c_1001_5 + 761/559, c_0101_13 + 21/559*c_1001_5^7 + 107/559*c_1001_5^6 + 954/559*c_1001_5^5 + 5193/559*c_1001_5^4 + 10147/559*c_1001_5^3 + 6976/559*c_1001_5^2 + 1375/559*c_1001_5 + 304/559, c_0101_3 - 72/559*c_1001_5^7 - 139/559*c_1001_5^6 - 2929/559*c_1001_5^5 - 206/13*c_1001_5^4 - 10732/559*c_1001_5^3 - 7225/559*c_1001_5^2 - 2376/559*c_1001_5 + 64/559, c_0101_6 - 141/559*c_1001_5^7 - 216/559*c_1001_5^6 - 5407/559*c_1001_5^5 - 14875/559*c_1001_5^4 - 5527/559*c_1001_5^3 + 11964/559*c_1001_5^2 + 8137/559*c_1001_5 + 857/559, c_0101_7 + 19/43*c_1001_5^7 + 42/43*c_1001_5^6 + 760/43*c_1001_5^5 + 2526/43*c_1001_5^4 + 2581/43*c_1001_5^3 + 519/43*c_1001_5^2 - 145/43*c_1001_5 + 38/43, c_0110_12 + 15/43*c_1001_5^7 + 38/43*c_1001_5^6 + 609/43*c_1001_5^5 + 2188/43*c_1001_5^4 + 2616/43*c_1001_5^3 + 986/43*c_1001_5^2 + 19/43*c_1001_5 - 24/43, c_0110_4 - 98/559*c_1001_5^7 - 276/559*c_1001_5^6 - 4107/559*c_1001_5^5 - 15489/559*c_1001_5^4 - 23397/559*c_1001_5^3 - 16729/559*c_1001_5^2 - 5140/559*c_1001_5 - 450/559, c_1001_0 + 315/559*c_1001_5^7 + 675/559*c_1001_5^6 + 12573/559*c_1001_5^5 + 40987/559*c_1001_5^4 + 40727/559*c_1001_5^3 + 5124/559*c_1001_5^2 - 6267/559*c_1001_5 - 283/559, c_1001_5^8 + 3*c_1001_5^7 + 42*c_1001_5^6 + 165*c_1001_5^5 + 251*c_1001_5^4 + 165*c_1001_5^3 + 42*c_1001_5^2 + 3*c_1001_5 + 1 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_14, c_0101_0, c_0101_1, c_0101_13, c_0101_3, c_0101_6, c_0101_7, c_0110_12, c_0110_4, c_1001_0, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 1015052347503/9296644864*c_1001_5^11 - 16390048361/62815168*c_1001_5^10 - 2493599734907/37186579456*c_1001_5^9 - 10902558069375/37186579456*c_1001_5^8 - 72491456816475/37186579456*c_1001_5^7 - 2046103518429/715126528*c_1001_5^6 - 4432563002435/9296644864*c_1001_5^5 + 76083866863057/37186579456*c_1001_5^4 + 33320995051941/37186579456*c_1001_5^3 - 14594018537327/37186579456*c_1001_5^2 + 27340799335/290520152*c_1001_5 + 1683907615301/9296644864, c_0011_0 - 1, c_0011_10 - 1573/592*c_1001_5^11 - 1307/148*c_1001_5^10 - 25193/2368*c_1001_5^9 - 41605/2368*c_1001_5^8 - 145481/2368*c_1001_5^7 - 76047/592*c_1001_5^6 - 83109/592*c_1001_5^5 - 184405/2368*c_1001_5^4 - 54217/2368*c_1001_5^3 - 19541/2368*c_1001_5^2 - 361/37*c_1001_5 - 2825/592, c_0011_11 + 903/148*c_1001_5^11 + 11731/592*c_1001_5^10 + 840/37*c_1001_5^9 + 89559/2368*c_1001_5^8 + 20427/148*c_1001_5^7 + 672427/2368*c_1001_5^6 + 699797/2368*c_1001_5^5 + 350327/2368*c_1001_5^4 + 5795/148*c_1001_5^3 + 51415/2368*c_1001_5^2 + 12301/592*c_1001_5 + 4127/592, c_0011_12 + 2233/592*c_1001_5^11 + 7359/592*c_1001_5^10 + 34913/2368*c_1001_5^9 + 14357/592*c_1001_5^8 + 204025/2368*c_1001_5^7 + 426167/2368*c_1001_5^6 + 457265/2368*c_1001_5^5 + 59803/592*c_1001_5^4 + 61225/2368*c_1001_5^3 + 7101/592*c_1001_5^2 + 8479/592*c_1001_5 + 789/148, c_0011_14 + 9/4*c_1001_5^11 + 115/16*c_1001_5^10 + 65/8*c_1001_5^9 + 895/64*c_1001_5^8 + 203/4*c_1001_5^7 + 6587/64*c_1001_5^6 + 6829/64*c_1001_5^5 + 3575/64*c_1001_5^4 + 19*c_1001_5^3 + 687/64*c_1001_5^2 + 123/16*c_1001_5 + 35/16, c_0101_0 - 1555/296*c_1001_5^11 - 5041/296*c_1001_5^10 - 23547/1184*c_1001_5^9 - 4919/148*c_1001_5^8 - 140971/1184*c_1001_5^7 - 291145/1184*c_1001_5^6 - 307687/1184*c_1001_5^5 - 20105/148*c_1001_5^4 - 46059/1184*c_1001_5^3 - 2881/148*c_1001_5^2 - 5499/296*c_1001_5 - 475/74, c_0101_1 - 3351/592*c_1001_5^11 - 2761/148*c_1001_5^10 - 52483/2368*c_1001_5^9 - 87479/2368*c_1001_5^8 - 308195/2368*c_1001_5^7 - 160085/592*c_1001_5^6 - 173047/592*c_1001_5^5 - 378791/2368*c_1001_5^4 - 114723/2368*c_1001_5^3 - 49383/2368*c_1001_5^2 - 769/37*c_1001_5 - 4579/592, c_0101_13 - 47/148*c_1001_5^11 - 359/592*c_1001_5^10 - 57/148*c_1001_5^9 - 3947/2368*c_1001_5^8 - 779/148*c_1001_5^7 - 18431/2368*c_1001_5^6 - 13713/2368*c_1001_5^5 - 7099/2368*c_1001_5^4 - 225/148*c_1001_5^3 + 2933/2368*c_1001_5^2 + 75/592*c_1001_5 - 75/592, c_0101_3 + 889/296*c_1001_5^11 + 727/74*c_1001_5^10 + 13645/1184*c_1001_5^9 + 22937/1184*c_1001_5^8 + 81357/1184*c_1001_5^7 + 42019/296*c_1001_5^6 + 44969/296*c_1001_5^5 + 97193/1184*c_1001_5^4 + 30253/1184*c_1001_5^3 + 14921/1184*c_1001_5^2 + 408/37*c_1001_5 + 1173/296, c_0101_6 + 747/74*c_1001_5^11 + 20131/592*c_1001_5^10 + 24451/592*c_1001_5^9 + 157555/2368*c_1001_5^8 + 139057/592*c_1001_5^7 + 1174475/2368*c_1001_5^6 + 1283085/2368*c_1001_5^5 + 695163/2368*c_1001_5^4 + 49197/592*c_1001_5^3 + 90499/2368*c_1001_5^2 + 23679/592*c_1001_5 + 9551/592, c_0101_7 - 105/16*c_1001_5^11 - 351/16*c_1001_5^10 - 1681/64*c_1001_5^9 - 681/16*c_1001_5^8 - 9721/64*c_1001_5^7 - 20407/64*c_1001_5^6 - 21985/64*c_1001_5^5 - 2931/16*c_1001_5^4 - 3401/64*c_1001_5^3 - 425/16*c_1001_5^2 - 387/16*c_1001_5 - 35/4, c_0110_12 - 69/16*c_1001_5^11 - 59/4*c_1001_5^10 - 1161/64*c_1001_5^9 - 1829/64*c_1001_5^8 - 6473/64*c_1001_5^7 - 3455/16*c_1001_5^6 - 3789/16*c_1001_5^5 - 8149/64*c_1001_5^4 - 2185/64*c_1001_5^3 - 1013/64*c_1001_5^2 - 35/2*c_1001_5 - 121/16, c_0110_4 + 1799/296*c_1001_5^11 + 12105/592*c_1001_5^10 + 29953/1184*c_1001_5^9 + 97239/2368*c_1001_5^8 + 167925/1184*c_1001_5^7 + 711393/2368*c_1001_5^6 + 790535/2368*c_1001_5^5 + 447183/2368*c_1001_5^4 + 67901/1184*c_1001_5^3 + 57063/2368*c_1001_5^2 + 14197/592*c_1001_5 + 6147/592, c_1001_0 - 2101/296*c_1001_5^11 - 813/37*c_1001_5^10 - 28345/1184*c_1001_5^9 - 50401/1184*c_1001_5^8 - 184357/1184*c_1001_5^7 - 23013/74*c_1001_5^6 - 92753/296*c_1001_5^5 - 181101/1184*c_1001_5^4 - 52397/1184*c_1001_5^3 - 29577/1184*c_1001_5^2 - 7071/296*c_1001_5 - 2291/296, c_1001_5^12 + 4*c_1001_5^11 + 25/4*c_1001_5^10 + 37/4*c_1001_5^9 + 55/2*c_1001_5^8 + 64*c_1001_5^7 + 341/4*c_1001_5^6 + 64*c_1001_5^5 + 55/2*c_1001_5^4 + 37/4*c_1001_5^3 + 25/4*c_1001_5^2 + 4*c_1001_5 + 1 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_14, c_0101_0, c_0101_1, c_0101_13, c_0101_3, c_0101_6, c_0101_7, c_0110_12, c_0110_4, c_1001_0, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 7303095435/228062912*c_1001_0^14 + 746841987/20732992*c_1001_0^13 + 6260088245/57015728*c_1001_0^12 - 64830878797/228062912*c_1001_0^11 - 3535609663/16290208*c_1001_0^10 + 45144158259/57015728*c_1001_0^9 - 1440919555/20732992*c_1001_0^8 - 345964869339/228062912*c_1001_0^7 + 2452285583/2961856*c_1001_0^6 + 295014780435/228062912*c_1001_0^5 - 355395938349/228062912*c_1001_0^4 - 20601679677/114031456*c_1001_0^3 + 28340300381/28507864*c_1001_0^2 - 117343315431/228062912*c_1001_0 + 14008338511/228062912, c_0011_0 - 1, c_0011_10 + 107983/92558*c_1001_0^14 - 35832/46279*c_1001_0^13 - 172418/46279*c_1001_0^12 + 627543/92558*c_1001_0^11 + 1056443/92558*c_1001_0^10 - 1639873/92558*c_1001_0^9 - 486203/46279*c_1001_0^8 + 3580747/92558*c_1001_0^7 + 322923/46279*c_1001_0^6 - 3617857/92558*c_1001_0^5 + 448138/46279*c_1001_0^4 + 1110077/46279*c_1001_0^3 - 443383/46279*c_1001_0^2 - 768665/92558*c_1001_0 + 216233/46279, c_0011_11 - 31917/46279*c_1001_0^14 + 36391/92558*c_1001_0^13 + 94713/46279*c_1001_0^12 - 184382/46279*c_1001_0^11 - 605393/92558*c_1001_0^10 + 894505/92558*c_1001_0^9 + 399387/92558*c_1001_0^8 - 1074571/46279*c_1001_0^7 - 280655/92558*c_1001_0^6 + 954376/46279*c_1001_0^5 - 1013905/92558*c_1001_0^4 - 733699/46279*c_1001_0^3 + 323438/46279*c_1001_0^2 + 153692/46279*c_1001_0 - 420943/92558, c_0011_12 + 107983/92558*c_1001_0^14 - 35832/46279*c_1001_0^13 - 172418/46279*c_1001_0^12 + 627543/92558*c_1001_0^11 + 1056443/92558*c_1001_0^10 - 1639873/92558*c_1001_0^9 - 486203/46279*c_1001_0^8 + 3580747/92558*c_1001_0^7 + 322923/46279*c_1001_0^6 - 3617857/92558*c_1001_0^5 + 448138/46279*c_1001_0^4 + 1110077/46279*c_1001_0^3 - 443383/46279*c_1001_0^2 - 768665/92558*c_1001_0 + 216233/46279, c_0011_14 - 36391/92558*c_1001_0^14 + 38467/92558*c_1001_0^13 + 55676/46279*c_1001_0^12 - 274043/92558*c_1001_0^11 - 143526/46279*c_1001_0^10 + 375227/46279*c_1001_0^9 + 122837/92558*c_1001_0^8 - 1549317/92558*c_1001_0^7 + 236285/92558*c_1001_0^6 + 1582143/92558*c_1001_0^5 - 887021/92558*c_1001_0^4 - 546465/46279*c_1001_0^3 + 283052/46279*c_1001_0^2 + 374047/92558*c_1001_0 - 264551/92558, c_0101_0 - c_1001_0, c_0101_1 + 27443/92558*c_1001_0^14 + 1038/46279*c_1001_0^13 - 39037/46279*c_1001_0^12 + 94721/92558*c_1001_0^11 + 318341/92558*c_1001_0^10 - 144051/92558*c_1001_0^9 - 138275/46279*c_1001_0^8 + 599825/92558*c_1001_0^7 + 258470/46279*c_1001_0^6 - 326609/92558*c_1001_0^5 + 63442/46279*c_1001_0^4 + 187234/46279*c_1001_0^3 + 5893/46279*c_1001_0^2 - 25895/92558*c_1001_0 + 78196/46279, c_0101_13 - 31917/46279*c_1001_0^14 + 36391/92558*c_1001_0^13 + 94713/46279*c_1001_0^12 - 184382/46279*c_1001_0^11 - 605393/92558*c_1001_0^10 + 894505/92558*c_1001_0^9 + 399387/92558*c_1001_0^8 - 1074571/46279*c_1001_0^7 - 280655/92558*c_1001_0^6 + 954376/46279*c_1001_0^5 - 1013905/92558*c_1001_0^4 - 733699/46279*c_1001_0^3 + 323438/46279*c_1001_0^2 + 199971/46279*c_1001_0 - 420943/92558, c_0101_3 + 41973/46279*c_1001_0^14 - 43888/46279*c_1001_0^13 - 128843/46279*c_1001_0^12 + 300964/46279*c_1001_0^11 + 349323/46279*c_1001_0^10 - 842371/46279*c_1001_0^9 - 216190/46279*c_1001_0^8 + 1700216/46279*c_1001_0^7 - 127431/46279*c_1001_0^6 - 1823188/46279*c_1001_0^5 + 790030/46279*c_1001_0^4 + 1138848/46279*c_1001_0^3 - 621625/46279*c_1001_0^2 - 391429/46279*c_1001_0 + 272680/46279, c_0101_6 + 29519/92558*c_1001_0^14 + 4255/92558*c_1001_0^13 - 48690/46279*c_1001_0^12 + 98797/92558*c_1001_0^11 + 188683/46279*c_1001_0^10 - 83389/46279*c_1001_0^9 - 443009/92558*c_1001_0^8 + 654155/92558*c_1001_0^7 + 716225/92558*c_1001_0^6 - 449419/92558*c_1001_0^5 - 201835/92558*c_1001_0^4 + 225437/46279*c_1001_0^3 + 55660/46279*c_1001_0^2 - 128267/92558*c_1001_0 + 27443/92558, c_0101_7 + 27443/92558*c_1001_0^14 + 1038/46279*c_1001_0^13 - 39037/46279*c_1001_0^12 + 94721/92558*c_1001_0^11 + 318341/92558*c_1001_0^10 - 144051/92558*c_1001_0^9 - 138275/46279*c_1001_0^8 + 599825/92558*c_1001_0^7 + 258470/46279*c_1001_0^6 - 326609/92558*c_1001_0^5 + 63442/46279*c_1001_0^4 + 187234/46279*c_1001_0^3 - 40386/46279*c_1001_0^2 - 25895/92558*c_1001_0 + 78196/46279, c_0110_12 - 27443/92558*c_1001_0^14 - 1038/46279*c_1001_0^13 + 39037/46279*c_1001_0^12 - 94721/92558*c_1001_0^11 - 318341/92558*c_1001_0^10 + 144051/92558*c_1001_0^9 + 138275/46279*c_1001_0^8 - 599825/92558*c_1001_0^7 - 258470/46279*c_1001_0^6 + 326609/92558*c_1001_0^5 - 63442/46279*c_1001_0^4 - 187234/46279*c_1001_0^3 + 40386/46279*c_1001_0^2 + 25895/92558*c_1001_0 - 78196/46279, c_0110_4 + 103939/92558*c_1001_0^14 - 56113/92558*c_1001_0^13 - 163512/46279*c_1001_0^12 + 556471/92558*c_1001_0^11 + 537609/46279*c_1001_0^10 - 700160/46279*c_1001_0^9 - 1057971/92558*c_1001_0^8 + 3276957/92558*c_1001_0^7 + 1108321/92558*c_1001_0^6 - 3225611/92558*c_1001_0^5 + 456413/92558*c_1001_0^4 + 1130089/46279*c_1001_0^3 - 217445/46279*c_1001_0^2 - 732427/92558*c_1001_0 + 323589/92558, c_1001_0^15 - c_1001_0^14 - 3*c_1001_0^13 + 7*c_1001_0^12 + 8*c_1001_0^11 - 19*c_1001_0^10 - 4*c_1001_0^9 + 38*c_1001_0^8 - 5*c_1001_0^7 - 38*c_1001_0^6 + 21*c_1001_0^5 + 21*c_1001_0^4 - 16*c_1001_0^3 - 5*c_1001_0^2 + 7*c_1001_0 - 1, c_1001_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 38.970 Total time: 39.170 seconds, Total memory usage: 242.00MB