#12116: perfect_power for integers
--------------------------------+-------------------------------------------
   Reporter:  roed              |          Owner:  AlexGhitza                   
            
       Type:  enhancement       |         Status:  needs_info                   
            
   Priority:  major             |      Milestone:  sage-5.0                     
            
  Component:  basic arithmetic  |       Keywords:                               
            
Work_issues:                    |       Upstream:  Reported upstream. Little or 
no feedback.
   Reviewer:  David Loeffler    |         Author:  David Roe                    
            
     Merged:                    |   Dependencies:  #10596, #12363               
            
--------------------------------+-------------------------------------------
Description changed by davidloeffler:

Old description:

> Currently there are two functions for testing whether an integer is a
> perfect power:
> {{{
> sage: 8.is_power()
> True
> sage: 8.is_perfect_power()
> True
> }}}
>
>  * This patch deprecates `is_power`.
>  * It implements a new function, `perfect_power`, wrapping PARI's
> `ispower` function, expressing an integer in the form a^b^ with `b`
> maximal.
>  * It adds cross references between `is_perfect_power`, `is_power_of`,
> `is_prime_power` and `perfect_power`.
>

> This revealed three bugs in PARI's `ispower()` function:
>  1. Two issues reported and fixed at [http://pari.math.u-bordeaux.fr/cgi-
> bin/bugreport.cgi?bug=1259]
>  2. One more issue reported at [http://pari.math.u-bordeaux.fr/cgi-
> bin/bugreport.cgi?bug=1302]

New description:

 Currently there are two functions for testing whether an integer is a
 perfect power:
 {{{
 sage: 8.is_power()
 True
 sage: 8.is_perfect_power()
 True
 }}}

  * This patch deprecates `is_power`.
  * It implements a new function, `perfect_power`, wrapping PARI's
 `ispower` function, expressing an integer in the form a^b^ with `b`
 maximal.
  * It adds cross references between `is_perfect_power`, `is_power_of`,
 `is_prime_power` and `perfect_power`.


 This revealed three bugs in PARI's `ispower()` function:
  1. Two issues reported and fixed at [http://pari.math.u-bordeaux.fr/cgi-
 bin/bugreport.cgi?bug=1259]
  2. One more issue reported at [http://pari.math.u-bordeaux.fr/cgi-
 bin/bugreport.cgi?bug=1302] (duplicate: [http://pari.math.u-bordeaux.fr
 /cgi-bin/bugreport.cgi?bug=1303])

--

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12116#comment:14>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.

Reply via email to