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
(
Z3_context
c,
Z3_ast
p,
Z3_ast
q,
Z3_ast
x);
51
52
55
56
#ifdef __cplusplus
57
};
58
#endif // __cplusplus
59
60
#endif
Z3_ast
Z3_ast_vector
Z3_context
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.
Generated on Tue Jul 19 2016 21:26:47 for Z3 by
1.8.11