Révision 134 pobysoC-4.0/src/pobyso.h
| pobyso.h (revision 134) | ||
|---|---|---|
| 53 | 53 |
|
| 54 | 54 |
/** |
| 55 | 55 |
* Print object(s) to stdout. |
| 56 |
* A very thin wrapper around the lib_sollya_v_autoprint() function. |
|
| 57 |
* Should be called with NULL as the final argument. |
|
| 56 |
* A very thin wrapper around the lib_sollya_autoprint() function. |
|
| 58 | 57 |
*/ |
| 59 | 58 |
void |
| 60 |
pobyso_autoprint(sollya_obj_t soObj, ...);
|
|
| 59 |
pobyso_autoprint(sollya_obj_t soObj); |
|
| 61 | 60 |
|
| 62 | 61 |
/** |
| 63 | 62 |
* Print object(s) to stdout: the va_list companion function. |
| ... | ... | |
| 69 | 68 |
pobyso_autoprint_v(sollya_obj_t soObj, va_list va); |
| 70 | 69 |
|
| 71 | 70 |
/** |
| 71 |
* Get the current verbosity level. |
|
| 72 |
* @return an integer at the current verbosity level. |
|
| 73 |
*/ |
|
| 74 |
int |
|
| 75 |
pobyso_get_verbosity(); |
|
| 76 |
|
|
| 77 |
/** |
|
| 72 | 78 |
* Check if a sollya object is a constant expression. |
| 73 | 79 |
* @return 1 if true and zero otherwise |
| 74 | 80 |
*/ |
| ... | ... | |
| 77 | 83 |
|
| 78 | 84 |
/** |
| 79 | 85 |
* Create a Sollya monomial from a Sollya constant, |
| 80 |
* the coefficient, and an integer, the exponent |
|
| 86 |
* the coefficient, and an integer, the exponent. |
|
| 87 |
* @param coefficient must be a non NULL constant expression; |
|
| 88 |
* @param degree must be a non negative integer; |
|
| 81 | 89 |
* @return a Sollya functional expression if successes, or a Sollya error |
| 82 | 90 |
* if fails. |
| 83 | 91 |
*/ |
| 84 |
sollya_obj_t
|
|
| 92 |
pobyso_func_exp_t
|
|
| 85 | 93 |
pobyso_new_monomial(pobyso_func_exp_t coefficient, long degree); |
| 86 | 94 |
|
| 87 | 95 |
/** |
| ... | ... | |
| 95 | 103 |
* @return a Sollya functional expression if successes, or a Sollya error |
| 96 | 104 |
* if fails. |
| 97 | 105 |
*/ |
| 98 |
pobyso_error_t
|
|
| 106 |
pobyso_func_exp_t
|
|
| 99 | 107 |
pobyso_parse_string(const char* expression); |
| 100 | 108 |
|
| 101 | 109 |
/** |
| ... | ... | |
| 138 | 146 |
* Set the verbosity mode off (level 0). |
| 139 | 147 |
* The current level of verbosity is returned. |
| 140 | 148 |
*/ |
| 141 |
pobyso_sollya_verbosity_t
|
|
| 149 |
int
|
|
| 142 | 150 |
pobyso_set_verbosity_off(void); |
| 143 | 151 |
|
| 144 | 152 |
/** |
| ... | ... | |
| 146 | 154 |
* @param newVerbosityLevel must be a Sollya object corresponding to an |
| 147 | 155 |
* integer constant. |
| 148 | 156 |
*/ |
| 149 |
pobyso_sollya_verbosity_t
|
|
| 150 |
pobyso_set_verbosity_to(pobyso_sollya_verbosity_t newVerbosityLevel);
|
|
| 157 |
int
|
|
| 158 |
pobyso_set_verbosity_to(int newVerbosityLevel);
|
|
| 151 | 159 |
|
| 152 | 160 |
/** |
| 153 |
* Set the verbosity level to intVerbosityLevel. |
|
| 154 |
* @param newVerbosityLevel is an positive or null int. |
|
| 155 |
*/ |
|
| 156 |
pobyso_sollya_verbosity_t |
|
| 157 |
pobyso_set_verbosity_to_int(int intVerbosityLevel); |
|
| 161 |
* Wrapper around the sollya_lib_subpoly Sollya function. |
|
| 162 |
*/ |
|
| 158 | 163 |
|
| 164 |
pobyso_func_exp_t |
|
| 165 |
pobyso_subpoly(pobyso_func_exp_t polynomial, long expsNum,...); |
|
| 166 |
|
|
| 159 | 167 |
#if 0 |
| 160 | 168 |
/** |
| 161 | 169 |
* Create the canonical (non sparse) base of monomials for a given degree. |
Formats disponibles : Unified diff