#16613: fix content of polynomials
---------------------------------------+--------------------------
Reporter: vdelecroix | Owner:
Type: defect | Status: needs_info
Priority: major | Milestone: sage-6.4
Component: commutative algebra | Resolution:
Keywords: | Merged in:
Authors: Vincent Delecroix | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
---------------------------------------+--------------------------
Comment (by bruno):
Replying to [comment:4 kedlaya]:
> I'm okay with having a method {{{content_ideal}}} for the generic
behavior. But what is supposed to be returned by {{{content}}} when the
content ideal is not principal? This is certainly likely to happen if the
base ring is the ring of integers in a number field. Perhaps it is best if
{{{content}}} is only implemented in those cases where it has a sensible
definition at the level of elements.
Of course, this is a difficulty... Well, I propose then to implement
`content` for polynomials over principal ideal domains (so that it returns
a element of the domain, not an ideal), and `content_ideal` more
generally. And of course to add a deprecation warning for `content` over
non principal ideal domains. We may also add a warning (no deprecation)
for the new behavior of `content` in the generic implementation.
I'll work on a proposal and let you tell me what you think about it.
--
Ticket URL: <http://trac.sagemath.org/ticket/16613#comment:5>
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.
