|
|
|
last edited 15 years ago by gdr |
Edit detail for #325 Severe bug in 'normalize$EFSTRUC' revision 1 of 21
| 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 | ||
|
Editor:
Time: 2007/11/17 22:26:44 GMT-8 |
||
| Note: escape $ | ||
changed: - Unfortunately there is a severe bug in 'normalize\$EFSTRUC', which affects summation ('innersum\$SUMFS'), maybe also integration. \begin{axiom} T := t^(n^2)*(sqrt(1+t))^n S := T/eval(T, n=n-1) normalize S \end{axiom} The result of 'normalize' should really be equivalent to 'S'. This should be fixed as soon as possible, Martin
Unfortunately there is a severe bug in normalize$EFSTRUC, which affects summation (innersum$SUMFS), maybe also integration.
axiomT := t^(n^2)*(sqrt(1+t))^n
 | (1) |
Type: Expression Integer
axiomS := T/eval(T, n=n-1)
 | (2) |
Type: Expression Integer
axiomnormalize S
 | (3) |
Type: Expression Integer
The result of normalize should really be equivalent to S.
This should be fixed as soon as possible,
Martin