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 17 years ago by gdr

Edit detail for #325 Severe bug in 'normalize$EFSTRUC' revision 8 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:15 GMT-8
Note: 
added:

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 (18 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))

... --kratt6, Tue, 18 Dec 2007 23:52:22 -0800 reply
Status: open => fix proposed

... --kratt6, Tue, 18 Dec 2007 23:58:15 -0800 reply
Category: Axiom Library => Aldor Library Compiler