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
29
30
33
44
Z3_ast_vector Z3_API
Z3_polynomial_subresultants
(Z3_context c, Z3_ast p, Z3_ast q, Z3_ast x);
45
46
49
50
#ifdef __cplusplus
51
}
52
#endif // __cplusplus
53
54
#endif
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 Sat Nov 12 2016 22:01:02 for Z3 by
1.8.12