login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Submitted by : (unknown) at: 2007-11-17T22:26:44-08:00 (10 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

\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

Status: open => fix proposed

fixed in FriCAS (the original, wrong result of normalize was sqrt(t+1))

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.

Status: fix proposed => fixed somewhere

no patch available




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: