MathAction #325 Severe bug in 'normalize$EFSTRUC'

Topics

FrontPage
- IssueTracker
  - #325 Severe bug in 'normalize$EFSTRUC' <-- You are here.

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

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

(1)

Type: Expression(Integer)

axiom

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

$\label{eq2}{{t^{n^2}}\ {{\sqrt{t + 1}}^n}}\over{{t^{\left({n^2}-{2 \ n}+ 1 \right)}}\ {{\sqrt{t + 1}}^{\left(n - 1 \right)}}}$

(2)

Type: Expression(Integer)

axiom

normalize S

$\label{eq3}{{\sqrt{t + 1}}\ {e^{\left({n^2}\ {\log \left({t}\right)}\right)}}}\over{e^{\left({\left({n^2}-{2 \ n}+ 1 \right)}\ {\log \left({t}\right)}\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

Subject: Be Bold !!

	( 14 subscribers )