Révision 150
| pobysoC-4.0/src/pobyso.c (revision 150) | ||
|---|---|---|
| 741 | 741 |
return NULL; |
| 742 | 742 |
} /* pobyso_parse_string */ |
| 743 | 743 |
|
| 744 |
pobyso_constant_t |
|
| 745 |
pobyso_quiet() |
|
| 746 |
{
|
|
| 747 |
pobyso_constant_t verbositySo = NULL; |
|
| 748 |
pobyso_constant_t zeroSo = NULL; |
|
| 749 |
|
|
| 750 |
verbositySo = sollya_lib_get_verbosity(); |
|
| 751 |
zeroSo = sollya_lib_constant_from_int64(0); |
|
| 752 |
if (zeroSo != NULL) |
|
| 753 |
{
|
|
| 754 |
sollya_lib_set_verbosity(zeroSo); |
|
| 755 |
sollya_lib_clear_obj(zeroSo); |
|
| 756 |
return verbositySo; |
|
| 757 |
} |
|
| 758 |
else |
|
| 759 |
{
|
|
| 760 |
sollya_lib_clear_obj(verbositySo); |
|
| 761 |
return NULL; |
|
| 762 |
} |
|
| 763 |
|
|
| 764 |
} /* End pobyso_quiet. */ |
|
| 765 |
|
|
| 744 | 766 |
/** @see pobyso.h#pobyso_range_from_bounds */ |
| 745 | 767 |
pobyso_range_t |
| 746 | 768 |
pobyso_range_from_bounds(mpfr_t lowerBound, mpfr_t upperBound) |
| pobysoC-4.0/src/pobyso.h (revision 150) | ||
|---|---|---|
| 21 | 21 |
|
| 22 | 22 |
/* Typedefs to make code more readable. */ |
| 23 | 23 |
|
| 24 |
typedef sollya_obj_t pobyso_constant_t; |
|
| 24 | 25 |
typedef sollya_obj_t pobyso_error_t; |
| 25 | 26 |
typedef sollya_obj_t pobyso_func_exp_t; |
| 26 | 27 |
typedef sollya_obj_t pobyso_on_off_t; |
| ... | ... | |
| 109 | 110 |
*@param functionSo : the function to evaluate; |
| 110 | 111 |
*@param argumentMp : the argument used for the evaluation; |
| 111 | 112 |
*@param evalutionMp: the result of the evaluation. |
| 112 |
*@retun 0 if 0K, 1 in case of a "generic" error, POBYSO_UNFAITHFULL if the |
|
| 113 |
*@return 0 if 0K, 1 in case of a "generic" error, POBYSO_UNFAITHFULL if the
|
|
| 113 | 114 |
* result is the mean of the two bound of the range encompassing it |
| 114 | 115 |
* and POBYSO_NAN if the result of the evaluation is not a number. |
| 115 | 116 |
*/ |
| ... | ... | |
| 122 | 123 |
* @return 1 if true and zero otherwise |
| 123 | 124 |
*/ |
| 124 | 125 |
int |
| 125 |
pobyso_is_constant_expression(sollya_obj_t obj_to_text);
|
|
| 126 |
pobyso_is_constant_expression(sollya_obj_t objToTestSo);
|
|
| 126 | 127 |
|
| 127 | 128 |
/** |
| 128 | 129 |
* Check if an expression is a monomial (the free variable to an integer |
| ... | ... | |
| 182 | 183 |
pobyso_func_exp_t |
| 183 | 184 |
pobyso_parse_string(const char* expression); |
| 184 | 185 |
|
| 186 |
/** Disable the console output from Sollya. |
|
| 187 |
* @return a Sollya constant holding the current verbosity level |
|
| 188 |
* when Sollya was silenced or NULL, if something goes wrong.*/ |
|
| 189 |
pobyso_constant_t |
|
| 190 |
pobyso_quiet(); |
|
| 191 |
|
|
| 185 | 192 |
/** Create a Sollya range from two MPFR bounds. |
| 186 | 193 |
* A wrapper around sollya_lib_range_from_bounds. |
| 187 | 194 |
*/ |
Formats disponibles : Unified diff