Z3
Loading...
Searching...
No Matches
doc
temp
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
.
Generated by
1.12.0