Z3
Loading...
Searching...
No Matches
doc
temp
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
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_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 by
1.12.0