#20086: rational powers in ZZ[X] and QQ[X]
-------------------------------------+-------------------------------------
Reporter: cheuberg | Owner:
Type: defect | Status: needs_work
Priority: major | Milestone: sage-7.2
Component: basic arithmetic | Resolution:
Keywords: | Merged in:
Authors: Clemens | Reviewers: Benjamin Hackl,
Heuberger, Vincent Delecroix, | Vincent Delecroix
Benjamin Hackl | Work issues:
Report Upstream: N/A | Commit:
Branch: public/20086 | 6f91df97a81fa094c04583314ad38cd5fd199cdb
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by behackl):
Moving the code to `sage.rings.polynomial.polynomial_element.Polynomial`
only provides `nth_root` for univariate polynomial rings, as it seems. The
doctests for multivariate rings fail with
{{{
AttributeError:
'sage.rings.polynomial.multi_polynomial_libsingular.MPolynomial_libsingular'
object has no attribute 'nth_root'
}}}
I'm not a particularly big fried of copying the code to
`sage.rings.polynomial.multi_polynomial_element.MPolynomial_element` as
well. The univariate and multivariate polynomial ring elements inherit
from CommutativeAlgebraelement and CommutativeRingElement, respectively---
so implementing it in a superclass is not possible.
Ideas?
--
Ticket URL: <http://trac.sagemath.org/ticket/20086#comment:64>
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.
