Révision 146 pobysoC-4.0/src/pobyso.h
pobyso.h (revision 146) | ||
---|---|---|
24 | 24 |
typedef sollya_obj_t pobyso_error_t; |
25 | 25 |
typedef sollya_obj_t pobyso_func_exp_t; |
26 | 26 |
typedef sollya_obj_t pobyso_on_off_t; |
27 |
typedef sollya_obj_t pobyso_precision_t;
|
|
27 |
typedef mpfr_prec_t pobyso_precision_t;
|
|
28 | 28 |
typedef sollya_obj_t pobyso_range_t; |
29 | 29 |
|
30 | 30 |
#define POBYSO_ABSOLUTE (1) |
31 | 31 |
#define POBYSO_RELATIVE (2) |
32 | 32 |
|
33 |
#define POBYSO_UNFAITHFULL (129)
|
|
33 |
#define POBYSO_UNFAITHFUL (129) |
|
34 | 34 |
#define POBYSO_NAN (130) |
35 | 35 |
|
36 | 36 |
#define POBYSO_OFF (0) |
... | ... | |
70 | 70 |
pobyso_autoprint_v(va_list va); |
71 | 71 |
|
72 | 72 |
/** |
73 |
* A wrapper around the Sollya dirtyfindzeros function. |
|
74 |
* Find the numerical values of the zeroes of the funcExpSo expression over |
|
75 |
* the [lowerBoundMp, upperBoundMp] interval. |
|
76 |
* @param funcExpSo: a Sollya functional expression; |
|
77 |
* @param lowerBoundMp: the lower bound as an MPFR number; |
|
78 |
* @param upperBoundMp: the upper bound as an MPFR number; |
|
79 |
* @param zerosCount: a pointer to the int where the number of zeros will be |
|
80 |
* stored; |
|
81 |
* @return a (possibly empty) list of the zeroes of the function or NULL if |
|
82 |
* something goes wrong or there are no zeroes. *zerosCount should |
|
83 |
* always be tested first. |
|
84 |
* If *zeroCounts == 0 the function returns NULL. No deallocation is |
|
85 |
* needed. |
|
86 |
* If *zeroCounts >= 0, the list must be deallocated by the caller |
|
87 |
* after each of the elements has been "mpfr_cleared". |
|
88 |
* if something goes wrong *zeroCounts < 0. |
|
89 |
*/ |
|
90 |
mpfr_t * |
|
91 |
pobyso_dirty_find_zeros_bounds(pobyso_func_exp_t funcExpSo, |
|
92 |
mpfr_t lowerBoundMp, |
|
93 |
mpfr_t upperBoundMp, |
|
94 |
int* zerosCount); |
|
95 |
|
|
96 |
/** |
|
73 | 97 |
* Get the current verbosity level. |
74 | 98 |
* @return an integer at the current verbosity level. |
75 | 99 |
*/ |
Formats disponibles : Unified diff