Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020 #ifndef _Z3_POLYNOMIAL_H_
00021 #define _Z3_POLYNOMIAL_H_
00022
00023 #ifdef __cplusplus
00024 extern "C" {
00025 #endif // __cplusplus
00026
00033
00034
00039
00050 Z3_ast_vector Z3_API Z3_polynomial_subresultants(__in Z3_context c, __in Z3_ast p, __in Z3_ast q, __in Z3_ast x);
00051
00052
00055
00056 #ifdef __cplusplus
00057 };
00058 #endif // __cplusplus
00059
00060 #endif