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 21 of 21

	1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
Editor: gdr Time: 2008/05/18 08:35:38 GMT-7
Note:

added:

From gdr Sun May 18 08:35:38 -0700 2008
From: gdr
Date: Sun, 18 May 2008 08:35:38 -0700
Subject: 
Message-ID: <20080518083538-0700@axiom-wiki.newsynthesis.org>

Status: fix proposed => fixed somewhere 

no patch available

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

fricas

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

$\label{eq1}{{t}^{{n}^{2}}}\ {{\sqrt{t + 1}}^{n}}$

(1)

Type: Expression(Integer)

fricas

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

$\label{eq2}\frac{{{t}^{{n}^{2}}}\ {{\sqrt{t + 1}}^{n}}}{{{t}^{{{n}^{2}}-{2 \ n}+ 1}}\ {{\sqrt{t + 1}}^{n - 1}}}$

(2)

Type: Expression(Integer)

fricas

normalize S

$\label{eq3}\frac{{\sqrt{t + 1}}\ {{e}^{{{n}^{2}}\ {\log \left({t}\right)}}}}{{e}^{{\left({{n}^{2}}-{2 \ n}+ 1 \right)}\ {\log \left({t}\right)}}}$

(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

Where is the diff-Naur patch? --daly, Thu, 20 Dec 2007 06:14:42 -0800 reply

I don't know where the bug occurs and I don't know where the proposed fix is. Please post a diff-Naur patch to the Axiom mailing list if you know how to fix this bug.

... --gdr, Sun, 18 May 2008 08:35:38 -0700 reply

Status: fix proposed => fixed somewhere

no patch available