Z3
z3_polynomial.h
Go to the documentation of this file.
1/*++
2Copyright (c) 2012 Microsoft Corporation
3
4Module Name:
5
6 z3_polynomial.h
7
8Abstract:
9
10 Additional APIs for polynomials.
11
12Author:
13
14 Leonardo de Moura (leonardo) 2012-12-09
15
16Notes:
17
18--*/
19
20#ifndef Z3_POLYNOMIAL_H_
21#define Z3_POLYNOMIAL_H_
22
23#ifdef __cplusplus
24extern "C" {
25#endif // __cplusplus
26
29
30
33
43 Z3_ast_vector Z3_API Z3_polynomial_subresultants(Z3_context c, Z3_ast p, Z3_ast q, Z3_ast x);
44
45
48
49#ifdef __cplusplus
50}
51#endif // __cplusplus
52
53#endif
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.