#15552: enumerate_totallyreal_fields_prim does not return polynomial as
elements of
a polynomial ring
---------------------------+------------------------
Reporter: ppurka | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-6.1
Component: algebra | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
---------------------------+------------------------
Comment (by fwclarke):
Replying to [ticket:15552 ppurka]:
> [...]
> In fact, there is no nice way to directly get the polynomial, as in an
element of `PolynomialRing(QQ)` [...]
>
> The only way to do this is this lengthy and tedious procedure:
[...]
It's not that lengthy, but rather simpler is to relace the line
> {{{
> sage: Epol = sum(x**i * _ for i,_ in enumerate(Ecoef))
> }}}
by
{{{
sage: Epol = x.parent()(Ecoef)
}}}
> The output of the function itself should give back elements of the
polynomial ring, instead of giving us elements which are simply output of
pari.
Yes, this should certainly be changed. And it would also be better if the
integer returned was a Sage `Integer`. At the moment `E[0][0].factor()`
fails.
--
Ticket URL: <http://trac.sagemath.org/ticket/15552#comment:1>
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 http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
