Go to the source code of this file.
Functions | |
Polynomials API | |
Z3_ast_vector Z3_API | Z3_polynomial_subresultants (__in Z3_context c, __in Z3_ast p, __in Z3_ast q, __in Z3_ast x) |
Return the nonzero subresultants of p and q with respect to the "variable" x . |