#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 jdemeyer:
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. This revealed a bug in PARI for negative even powers, reported
> and fixed at [http://pari.math.u-bordeaux.fr/cgi-
> bin/bugreport.cgi?bug=1259&archive=yes]
> * It adds cross references between `is_perfect_power`, `is_power_of`,
> `is_prime_power` and `perfect_power`.
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]
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12116#comment:13>
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.
