|
|
|
last edited 16 years ago by gdr |
Edit detail for #325 Severe bug in 'normalize$EFSTRUC' revision 19 of 21
| 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 | ||
|
Editor: Bill Page
Time: 2007/12/19 19:24:08 GMT-8 |
||
| Note: | ||
removed:
-
-From page Wed Dec 19 12:55:13 -0800 2007
-From: page
-Date: Wed, 19 Dec 2007 12:55:13 -0800
-Subject:
-Message-ID: <20071219125513-0800@axiom-wiki.newsynthesis.org>
-
-Status: open => fix proposed
-
-
-From page Wed Dec 19 12:55:52 -0800 2007
-From: page
-Date: Wed, 19 Dec 2007 12:55:52 -0800
-Subject: test
-Message-ID: <20071219125552-0800@axiom-wiki.newsynthesis.org>
-
-Severity: critical => serious
-
-
-From page Wed Dec 19 13:01:59 -0800 2007
-From: page
-Date: Wed, 19 Dec 2007 13:01:59 -0800
-Subject:
-Message-ID: <20071219130159-0800@axiom-wiki.newsynthesis.org>
-
-Axiom Version: => /usr/local/lib/axiom/target/x86_64-unknown-linux
-
-
-From page Wed Dec 19 13:11:37 -0800 2007
-From: page
-Date: Wed, 19 Dec 2007 13:11:37 -0800
-Subject:
-Message-ID: <20071219131137-0800@axiom-wiki.newsynthesis.org>
-
-Status: open => fix proposed
-
-
-From page Wed Dec 19 13:12:45 -0800 2007
-From: page
-Date: Wed, 19 Dec 2007 13:12:45 -0800
-Subject:
-Message-ID: <20071219131245-0800@axiom-wiki.newsynthesis.org>
-
-Status: open => fix proposed
-
-
-From BillPage Wed Dec 19 19:21:55 -0800 2007
-From: Bill Page
-Date: Wed, 19 Dec 2007 19:21:55 -0800
-Subject:
-Message-ID: <20071219192155-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