Z3
doc/tmp/z3_polynomial.h File Reference

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.
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines