help links subscribe changes refresh edit

	IssueTracker
#324 Bug in width$OutputForm ←	↑	→ #326 Meaning of F0 and F1 ?

#325 Severe bug in 'normalize$EFSTRUC'

Edit detail for #325 Severe bug in 'normalize$EFSTRUC' revision 6 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:16:18 GMT-8
Note: reverted by kratt6

removed:
-
-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.

axiom
T := t^(n^2)*(sqrt(1+t))^n

(1)

Type: Expression Integer

axiom
S := T/eval(T, n=n-1)

(2)

Type: Expression Integer

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