|
|
|
last edited 16 years ago by gdr |
Edit detail for #325 Severe bug in 'normalize$EFSTRUC' revision 5 of 21
| 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 | ||
|
Editor: kratt6
Time: 2007/12/17 00:15:40 GMT-8 |
||
| Note: | ||
added:
From kratt6 Mon Dec 17 00:15:40 -0800 2007
From: kratt6
Date: Mon, 17 Dec 2007 00:15:40 -0800
Subject:
Message-ID: <20071217001540-0800@axiom-wiki.newsynthesis.org>
Status: open => fix proposed
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
... --kratt6, Sun, 16 Dec 2007 13:32:15 -0800 reply
Status: open => fix proposed
fixed in FriCAS? (the original, wrong result of normalize was sqrt(t+1))
Status: open => fix proposed