Révision 138 pobysoC-4.0/src/pobyso.h
pobyso.h (revision 138) | ||
---|---|---|
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 |
|
|
86 | 83 |
/** |
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.
|
|
84 |
* Check if an expression is a monomial (the free variable to an integer
|
|
85 |
* positive or null power. |
|
89 | 86 |
* @param exprSo: a Sollya functional expression object; |
90 | 87 |
* @return 1 if exprSo is a monomial (as defined above), 0 otherwise. |
91 | 88 |
*/ |
92 | 89 |
int pobyso_is_monomial(pobyso_func_exp_t exprSo); |
93 | 90 |
|
94 | 91 |
/** |
92 |
* Check if an expression is a polynomial term (monome) |
|
93 |
* (a constant * the free variable to an integer positive or null power or |
|
94 |
* the free variable to an integer positive or null power * a constant). |
|
95 |
* @param exprSo: a Sollya functional expression object; |
|
96 |
* @return 1 if exprSo is a polynomial term (as defined above), 0 otherwise. |
|
97 |
*/ |
|
98 |
int pobyso_is_polynomial_term(pobyso_func_exp_t exprSo); |
|
99 |
|
|
100 |
/** |
|
95 | 101 |
* Check if an expression is an integer. |
96 | 102 |
*/ |
97 | 103 |
int |
Formats disponibles : Unified diff