Z3
doc
tmp
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
50
Z3_ast_vector
Z3_API
Z3_polynomial_subresultants
(__in
Z3_context
c, __in
Z3_ast
p, __in
Z3_ast
q, __in
Z3_ast
x);
51
52
55
56
#ifdef __cplusplus
57
};
58
#endif // __cplusplus
59
60
#endif
Z3_polynomial_subresultants
Z3_ast_vector Z3_API Z3_polynomial_subresultants(__in Z3_context c, __in Z3_ast p, __in Z3_ast q, __in Z3_ast x)
Return the nonzero subresultants of p and q with respect to the "variable" x.
Z3_ast
Z3_ast_vector
Z3_context
Generated on Tue Jun 2 2015 17:55:39 for Z3 by
1.8.9.1