z3_polynomial.h File Reference

Go to the source code of this file.

Functions
Polynomials
Z3_ast_vector Z3_API	Z3_polynomial_subresultants (Z3_context c, Z3_ast p, Z3_ast q, Z3_ast x)
	Return the nonzero subresultants of p and q with respect to the "variable" x. More...