Révision 55 pobysoPythonSage/src/pobyso.py
| pobyso.py (revision 55) | ||
|---|---|---|
| 110 | 110 |
# Compare the local Sage RealNumber with rnArg. |
| 111 | 111 |
return(cmp_rn_value(rnArg, rnLocal)) |
| 112 | 112 |
|
| 113 |
def pobyso_change_var_in_function_so_so(funcSo, chvarExpSo): |
|
| 114 |
return(sollya_lib_evaluate(funcSo,chvarExpSo)) |
|
| 115 |
|
|
| 116 |
|
|
| 117 |
def pobyso_chebyshevform_so_so(functionSo, degreeSo, intervalSo): |
|
| 118 |
resultSo = sollya_lib_chebyshevform(functionSo, degreeSo, intervalSo) |
|
| 119 |
return(resultSo) |
|
| 120 |
|
|
| 121 |
|
|
| 122 |
|
|
| 113 | 123 |
def pobyso_compute_pos_function_abs_val_bounds_sa_sa(funcSa, lowerBoundSa, \ |
| 114 | 124 |
upperBoundSa): |
| 115 | 125 |
""" |
| ... | ... | |
| 155 | 165 |
""" |
| 156 | 166 |
return(sollya_lib_constant(get_rn_value(rnArg))) |
| 157 | 167 |
|
| 168 |
def pobyso_constant_0_sa_so(): |
|
| 169 |
return(pobyso_constant_from_int_sa_so(0)) |
|
| 170 |
|
|
| 158 | 171 |
def pobyso_constant_1(): |
| 159 | 172 |
""" Legacy function. See pobyso_constant_so_so. """ |
| 160 | 173 |
return(pobyso_constant_1_sa_so()) |
| ... | ... | |
| 430 | 443 |
Notice that, in the returned polynomial, the exponents are RealNumbers. |
| 431 | 444 |
""" |
| 432 | 445 |
#pobyso_autoprint(sollyaExp) |
| 433 |
operator = pobyso_get_head_function(sollyaExp) |
|
| 446 |
operator = pobyso_get_head_function_so_sa(sollyaExp)
|
|
| 434 | 447 |
# Constants and the free variable are special cases. |
| 435 | 448 |
# All other operator are dealt with in the same way. |
| 436 | 449 |
if (operator != SOLLYA_BASE_FUNC_CONSTANT) and \ |
| ... | ... | |
| 473 | 486 |
""" |
| 474 | 487 |
Get the subfunctions of an expression. |
| 475 | 488 |
Return the number of subfunctions and the list of subfunctions addresses. |
| 476 |
Could not figure out another way than that ugly list of declarations |
|
| 477 |
to recover the addresses of the subfunctions. |
|
| 478 |
Arity is limited to 9. |
|
| 489 |
S.T.: Could not figure out another way than that ugly list of declarations |
|
| 490 |
to recover the addresses of the subfunctions. |
|
| 479 | 491 |
""" |
| 480 | 492 |
subf0 = c_int(0) |
| 481 | 493 |
subf1 = c_int(0) |
Formats disponibles : Unified diff