[Axiom-developer] [#10312 bugs ] (new) (new) Problems raising a UTS to a negative integer power

[billpage]

>From BillPage Fri Jan 21 23:52:32 -0600 2005
From: Bill Page
Date: Fri, 21 Jan 2005 23:52:32 -0600
Subject: (new) Problems raising a UTS to a negative integer power
Message-ID: <address@hidden>


This is an automated notification sent by Savannah.
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)
(p**(-1))$UTS(FRAC INT, 'n, 0)

          Internal cause: 

    _______________________________________________________


The code below 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








==============================================================================

This item URL is:
  <http://savannah.nongnu.org/bugs/?func=detailitem&item_id=10312>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.nongnu.org/

--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden