Z3
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.
Microsoft.Z3.Z3_context
System.IntPtr Z3_context
Definition: Context.cs:29
Microsoft.Z3.Z3_ast_vector
System.IntPtr Z3_ast_vector
Definition: NativeContext.cs:29
Microsoft.Z3.Z3_ast
System.IntPtr Z3_ast
Definition: NativeContext.cs:28
Generated on Thu Oct 10 2024 23:21:49 for Z3 by doxygen 1.9.1