Edit detail for #325 Severe bug in 'normalize$EFSTRUC' revision 20 of 21

added:

From daly Thu Dec 20 06:14:42 -0800 2007
From: daly
Date: Thu, 20 Dec 2007 06:14:42 -0800
Subject: Where is the diff-Naur patch?
Message-ID: <20071220061442-0800@axiom-wiki.newsynthesis.org>


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.

Submitted by : (unknown) at: 2007-11-17T22:26:44-08:00 (16 years ago) Name : Axiom Version : default friCAS-20090114 Axiom-20050901 OpenAxiom-20091012 OpenAxiom-20110220 OpenAxiom-Release-141 Category : general Severity : critical serious normal minor wishlist Status : open pending closed 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

(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))

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