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 
33 
34 
39 
51 
52 
55 
56 #ifdef __cplusplus
57 };
58 #endif // __cplusplus
59 
60 #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.