answered 6 years ago
I also raised a question on math.stackexchange about the solvability of my polynomial system. . The Groebner basis method is stuck as well because of the high order of one of the variables (ch which is degree 15).