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