login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit
IssueTracker
#324 Bug in width$OutputForm  ← ↑ →  #326 Meaning of F0 and F1 ?

#325 Severe bug in 'normalize$EFSTRUC'
  
last edited 16 years ago by gdr

Edit detail for #325 Severe bug in 'normalize$EFSTRUC' revision 9 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/18 23:58:51 GMT-8
Note: reverted by kratt6 
removed:
-
-From kratt6 Tue Dec 18 23:52:22 -0800 2007
-From: kratt6
-Date: Tue, 18 Dec 2007 23:52:22 -0800
-Subject: 
-Message-ID: <20071218235222-0800@axiom-wiki.newsynthesis.org>
-
-Status: open => fix proposed 
-
-
-From kratt6 Tue Dec 18 23:58:15 -0800 2007
-From: kratt6
-Date: Tue, 18 Dec 2007 23:58:15 -0800
-Subject: 
-Message-ID: <20071218235815-0800@axiom-wiki.newsynthesis.org>
-
-Category: Axiom Library => Aldor Library Compiler 
-

Submitted by : (unknown) at: 2007-11-17T22:26:44-08:00 (17 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

Unfortunately there is a severe bug in normalize$EFSTRUC, which affects summation (innersum$SUMFS), maybe also integration.

axiom
T := t^(n^2)*(sqrt(1+t))^n
LatexWiki Image(1)
Type: Expression Integer
axiom
S := T/eval(T, n=n-1)
LatexWiki Image(2)
Type: Expression Integer
axiom
normalize S
LatexWiki Image(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))