help links subscribe changes refresh edit

	IssueTracker
#62 make GCL= does not override properly ←	↑	→ #64 clef does not understand end, delete, etc

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

Edit detail for #63 bugs Problems raising a UTS to a negative integer power revision 1 of 1

	1
Editor: Time: 2007/11/17 22:59:57 GMT-8
Note: resolved in patch-45

changed:
-
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:

  \begin{axiom}
  p:=(1/2+n)::UTS(FRAC INT, 'n, 0)
  \end{axiom}
  \begin{axiom}
  (p**(-1))$UTS(FRAC INT, 'n, 0)
  \end{axiom}

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


From billpage Mon Jan 24 22:22:18 -0600 2005
From: billpage
Date: Mon, 24 Jan 2005 22:22:18 -0600
Subject: property change
Message-ID: <20050124222218-0600@page.axiom-developer.org>

Category:  => Axiom Library 
Status:  => open 

From kratt6 Sun Mar 20 11:58:11 -0600 2005
From: kratt6
Date: Sun, 20 Mar 2005 11:58:11 -0600
Subject: property change
Message-ID: <20050320115811-0600@page.axiom-developer.org>

Severity: normal => serious 


From billpage Wed Mar 30 01:08:10 -0600 2005
From: billpage
Date: Wed, 30 Mar 2005 01:08:10 -0600
Subject: apparently resolved in this version
Message-ID: <20050330010810-0600@page.axiom-developer.org>

\begin{axiom}
)version
\end{axiom}

From billpage Wed Mar 30 01:09:00 -0600 2005
From: billpage
Date: Wed, 30 Mar 2005 01:09:00 -0600
Subject: please confirm
Message-ID: <20050330010900-0600@page.axiom-developer.org>

Status: open => testing 


From billpage Sat Nov 5 22:27:50 -0600 2005
From: billpage
Date: Sat, 05 Nov 2005 22:27:50 -0600
Subject: resolved in patch-45
Message-ID: <20051105222750-0600@wiki.axiom-developer.org>

Status: testing => closed

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