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