#20086: rational powers in ZZ[X] and QQ[X]
-------------------------------------+-------------------------------------
Reporter: cheuberg | Owner:
Type: defect | Status: needs_review
Priority: major | Milestone: sage-7.2
Component: basic arithmetic | Resolution:
Keywords: | Merged in:
Authors: Clemens | Reviewers: Benjamin Hackl
Heuberger, Vincent Delecroix | Work issues:
Report Upstream: N/A | Commit:
Branch: public/20086 | 49fe88e4a5f7058abd072f36cba075b698586841
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by vdelecroix):
Would be nice to have a non polynomial examples. But currently, order in
number fields does not know whether they are principal ideal domain or
unique factorization domain
{{{
sage: R = ZZ[I]
sage: R in PrincipalIdealDomains()
False
sage: R in UniqueFactorizationDomains()
False
}}}
In `__pow__` for integer polynomials, in the case the exponent is an
integer you should only use `nn` and not `exp` (i.e. you should replace
`if exp == 0` and `if exp < 0` by `if nn == 0` and `nn < 0`).
--
Ticket URL: <http://trac.sagemath.org/ticket/20086#comment:53>
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.
