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