Révision 137 pobysoC-4.0/src/pobyso.h
| pobyso.h (revision 137) | ||
|---|---|---|
| 2 | 2 |
* Integration of Sollya to C programs |
| 3 | 3 |
* @author S.T. |
| 4 | 4 |
* @date 2011-10-11 |
| 5 |
* Note: pobyso stands for POwered BY SOllya.
|
|
| 6 |
* -- -- -- |
|
| 5 |
* @note pobyso stands for POwered BY SOllya.
|
|
| 6 |
* @todo -- -- --
|
|
| 7 | 7 |
*/ |
| 8 | 8 |
/******************************************************************************/ |
| 9 | 9 |
|
| ... | ... | |
| 55 | 55 |
* A very thin wrapper around the lib_sollya_autoprint() function. |
| 56 | 56 |
*/ |
| 57 | 57 |
void |
| 58 |
pobyso_autoprint(sollya_obj_t soObj);
|
|
| 58 |
pobyso_autoprint(sollya_obj_t objSo);
|
|
| 59 | 59 |
|
| 60 | 60 |
/** |
| 61 | 61 |
* Print object(s) to stdout: the va_list companion function. |
| ... | ... | |
| 64 | 64 |
*/ |
| 65 | 65 |
|
| 66 | 66 |
void |
| 67 |
pobyso_autoprint_v(sollya_obj_t soObj, va_list va);
|
|
| 67 |
pobyso_autoprint_v(va_list va); |
|
| 68 | 68 |
|
| 69 | 69 |
/** |
| 70 | 70 |
* Get the current verbosity level. |
| ... | ... | |
| 80 | 80 |
int |
| 81 | 81 |
pobyso_is_constant_expression(sollya_obj_t obj_to_text); |
| 82 | 82 |
|
| 83 |
int |
|
| 84 |
pobyso_is_free_var_posze_int_power(sollya_obj_t objToTestSo); |
|
| 85 |
|
|
| 83 | 86 |
/** |
| 87 |
* Check if an expression is a monomial (made of a constant expression |
|
| 88 |
* and the free variable to an integer positive or null power. |
|
| 89 |
* @param exprSo: a Sollya functional expression object; |
|
| 90 |
* @return 1 if exprSo is a monomial (as defined above), 0 otherwise. |
|
| 91 |
*/ |
|
| 92 |
int pobyso_is_monomial(pobyso_func_exp_t exprSo); |
|
| 93 |
|
|
| 94 |
/** |
|
| 95 |
* Check if an expression is an integer. |
|
| 96 |
*/ |
|
| 97 |
int |
|
| 98 |
pobyso_is_int(pobyso_func_exp_t exprSo); |
|
| 99 |
|
|
| 100 |
/** |
|
| 84 | 101 |
* Create a Sollya monomial from a Sollya constant, |
| 85 | 102 |
* the coefficient, and an integer, the exponent. |
| 86 | 103 |
* @param coefficient must be a non NULL constant expression; |
Formats disponibles : Unified diff