#13629: provide xgcd for new polynomial rings through
_xgcd_univariate_polynomial
-------------------------------------+-------------------------------------
Reporter: saraedum | Owner: AlexGhitza
Type: task | Status: needs_review
Priority: minor | Milestone: sage-6.4
Component: basic arithmetic | Resolution:
Keywords: sd59 | Merged in:
Authors: Julian Rueth | Reviewers: Peter Bruin
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/pbruin/13629-xgcd_univariate_polynomial|
828b5fc1a62567b98e35167cf686c59340b521f6
Dependencies: #13628, #18461, | Stopgaps:
#18467 |
-------------------------------------+-------------------------------------
Comment (by bruno):
Replying to [comment:28 pbruin]:
> I suspect it is a feature (to avoid a potentially costly primality test)
and not a bug that the method only appears after we have forced `R` to
refine its category...
OK, thank you for the explanation.
> > I note that the exact same questions are equally relevant for the
positive-reviewed (by myself!) ticket #18461. I simply did not think of
that issue before.
> I did have the above picture in mind when working on both tickets, and I
am afraid the situation is unavoidable without lots of refactoring.
>
> One thing that could be done to reduce duplication is making `quo_rem`
the primitive operation that base rings of polynomial rings should
implement, instead of the two operations `_[x]gcd_univariate_polynomial`.
That would be something for a follow-up ticket, though.
I am not sure what would be the best solution to avoid code duplication in
such cases, though I totally agree that it does not belong to this ticket!
I'm running tests to check everything is OK.
--
Ticket URL: <http://trac.sagemath.org/ticket/13629#comment:29>
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/d/optout.
