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:

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

(1)

(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

Category: => Axiom Library Status: => open

Severity: normal => serious

)version

Value = "FriCAS 2010-12-08 compiled at Tuesday April 5, 2011 at 13:07:45 "

Status: open => testing

Status: testing => closed