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