#20220: GCD of polyomials over polynomial rings
-------------------------------------+-------------------------------------
       Reporter:  bruno              |        Owner:
           Type:  enhancement        |       Status:  needs_work
       Priority:  major              |    Milestone:  sage-7.1
      Component:  commutative        |   Resolution:
  algebra                            |    Merged in:
       Keywords:  gcd, polynomial    |    Reviewers:  Aly Deines
        Authors:  Bruno Grenet       |  Work issues:
Report Upstream:  N/A                |       Commit:
         Branch:                     |  e83510aa08cd714a319f6ba81c60d536f1554833
  u/bruno/gcd_polys_polyrings        |     Stopgaps:
   Dependencies:                     |
-------------------------------------+-------------------------------------

Comment (by bruno):

 Thanks for noticing this, and my apologies for not having run the tests
 myself!

 The first failed doctest is not a real failure: I would say that my
 changes improve the situation since the rational functions in this test
 were not reduced, and they are now.

 The second failed doctest '''is''' a real failure. It requires a change in
 the method `_gcd_univariate_polynomial` of the category
 `UniqueFactorizationDomains` (replace `truediv` by `floordiv`). This
 change breaks other doctests. tl;dr: I am working on it!

--
Ticket URL: <http://trac.sagemath.org/ticket/20220#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.

Reply via email to