#20086: QQ[X]: allow arbitrary powers of constant polynomials
-------------------------------------+-------------------------------------
Reporter: cheuberg | Owner:
Type: defect | Status: needs_review
Priority: major | Milestone: sage-7.1
Component: basic arithmetic | Resolution:
Keywords: | Merged in:
Authors: Clemens Heuberger | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/cheuberg/polynomials/power | cc49098e1fc111e63d344b6c2f914d0d3e5e463b
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by {'newvalue': u'Clemens Heuberger', 'oldvalue': ''}):
* status: new => needs_review
* component: asymptotic expansions => basic arithmetic
* author: => Clemens Heuberger
Old description:
> {{{
> sage: P.<R> = QQ[]
> sage: A.<Z> = AsymptoticRing('T^QQ', P)
> sage: sqrt(Z)
> Traceback (most recent call last):
> ...
> ArithmeticError: Cannot take T to the exponent 1/2 in Exact Term Monoid
> T^QQ
> with coefficients in Univariate Polynomial Ring in R over Rational Field
> since its coefficient 1 cannot be taken to this exponent.
> > *previous* TypeError: rational is not an integer
> }}}
New description:
Until now,
{{{
sage: P.<R> = QQ[]
sage: P(1)^(1/2)
Traceback (most recent call last):
...
ArithmeticError: Cannot take T to the exponent 1/2 in Exact Term Monoid
T^QQ
with coefficients in Univariate Polynomial Ring in R over Rational Field
since its coefficient 1 cannot be taken to this exponent.
> *previous* TypeError: rational is not an integer
}}}
because only integer exponents were allowed for polynomials.
Implement arbitrary powers of constant polynomials by handing over to the
rational field.
This was originally observed in the asymptotic ring:
{{{
sage: P.<R> = QQ[]
sage: A.<Z> = AsymptoticRing('T^QQ', P)
sage: sqrt(Z)
Traceback (most recent call last):
...
ArithmeticError: Cannot take T to the exponent 1/2 in Exact Term Monoid
T^QQ
with coefficients in Univariate Polynomial Ring in R over Rational Field
since its coefficient 1 cannot be taken to this exponent.
> *previous* TypeError: rational is not an integer
}}}
--
--
Ticket URL: <http://trac.sagemath.org/ticket/20086#comment:3>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
