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.

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

Subject: (replying) Be Bold !!

	( 15 subscribers )