#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:
-------------------------------------+-------------------------------------
Changes (by behackl):
* status: needs_info => needs_work
Comment:
Replying to [comment:62 vdelecroix]:
> The code provided is far to be working on any UFD as you have to factor
the unit!
I might still be thinking too much of polynomial rings when thinking of
UFDs. ;-)
> But we know for sure that it will work for polynomial rings whose base
ring provides a `nth_root` method. It would make sense to move the code to
generic polynomial.
The argument regarding the unit and the fact that there are not that much
(exotic) UFDs implemented in Sage convice me; thanks for the
clarification! :-) I'll move the code.
--
Ticket URL: <http://trac.sagemath.org/ticket/20086#comment:63>
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.
