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

Submitted by : (unknown) at: 2007-11-17T22:59:57-08:00 (9 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

It relates to:

  bugs #10312, project Axiom Computer Algebra System

LATEST MODIFICATIONS of bugs #10312:

  Posted by: Bill Page <billpage1>
  Posted on: 2005-01-22 05:51 (Canada/Eastern)

  Status:                    None -> transferred            

OVERVIEW of bugs #10312:

  URL:

  http://savannah.nongnu.org/bugs/?func=detailitem&item_id=10312

Summary
Problems raising a UTS to a negative integer power
Project
Axiom Computer Algebra System
Submitted by
kratt6
Submitted on
Tue 09/07/2004 at 14:28
Category
algebra
Severity
5 - Average
Item Group
code bug
Status
transferred
Privacy
Public
Assigned to
billpage1
Originator Name

Originator Email --

Open/Closed
Open

Release --

Reproducibility
None

Fixed Release --

Error message
>> Error detected within library code:

** rational power of coefficient undefined protected-symbol-warn called with (NIL)

Example of code trigerring the bug:

axiom
p:=(1/2+n)::UTS(FRAC INT, 'n, 0)

\label{eq1}{1 \over 2}+ n(1)
Type: UnivariateTaylorSeries?(Fraction(Integer),n,0)

axiom
(p**(-1))$UTS(FRAC INT, 'n, 0)
The function ** is not implemented in UnivariateTaylorSeries( Fraction(Integer),n,0) .

Internal cause:

The code raises an unnecessary error. The problem is in sttaylor.spad/powern, where no distinction between rational and integer powers are made.

The fix is easy. In fact, I just realize that the problem does not exist in SUPS, so we can just take the definition there. I'll submit a patch tomorrow.

Follow-up Comments:

  Date: Wed 09/08/2004 at 09:09
  By: Martin Rubey <kratt6>
  resolved in patch #3349

property change --billpage, Mon, 24 Jan 2005 22:22:18 -0600 reply
Category: => Axiom Library Status: => open

property change --kratt6, Sun, 20 Mar 2005 11:58:11 -0600 reply
Severity: normal => serious

apparently resolved in this version --billpage, Wed, 30 Mar 2005 01:08:10 -0600 reply
axiom
)version
Value = "FriCAS 2010-12-08 compiled at Tuesday April 5, 2011 at 13:07:45 "

please confirm --billpage, Wed, 30 Mar 2005 01:09:00 -0600 reply
Status: open => testing

resolved in patch-45 --billpage, Sat, 05 Nov 2005 22:27:50 -0600 reply
Status: testing => closed




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