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 15 of 21
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
Editor: page
Time: 2007/12/19 13:01:59 GMT-8
Note: 
added:

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

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

... --kratt6, Wed, 19 Dec 2007 00:00:08 -0800 reply
Status: open => fix proposed

... --page, Wed, 19 Dec 2007 12:55:13 -0800 reply
Status: open => fix proposed

test --page, Wed, 19 Dec 2007 12:55:52 -0800 reply
Severity: critical => serious

... --page, Wed, 19 Dec 2007 13:01:59 -0800 reply
Axiom Version: => /usr/local/lib/axiom/target/x86_64-unknown-linux