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#pragma once
21
22#ifdef __cplusplus
23 extern "C" {
24#endif // __cplusplus
25
28
29
32
42 Z3_ast_vector Z3_API Z3_polynomial_subresultants(Z3_context c, Z3_ast p, Z3_ast q, Z3_ast x);
43
44
47
48#ifdef __cplusplus
49}
50#endif // __cplusplus
51
Z3_polynomial_subresultants
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.