MathAction #63 bugs Problems raising a UTS to a negative integer power

Topics

FrontPage
- IssueTracker
  - #63 bugs Problems raising a UTS to a negative integer power <-- You are here.

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:

fricas

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

$\label{eq1}{\frac{1}{2}}+ n$

(1)

Type: UnivariateTaylorSeries?(Fraction(Integer),n,0)

fricas

(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

fricas

)version

"FriCAS 1.3.10 compiled at Wed 10 Jan 02:19:45 CET 2024"

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

	( 15 subscribers )