#17674: xgcd is badly named on non PID domains
---------------------------------+------------------------
       Reporter:  vdelecroix     |        Owner:
           Type:  PLEASE CHANGE  |       Status:  new
       Priority:  major          |    Milestone:  sage-6.5
      Component:  PLEASE CHANGE  |   Resolution:
       Keywords:                 |    Merged in:
        Authors:                 |    Reviewers:
Report Upstream:  N/A            |  Work issues:
         Branch:                 |       Commit:
   Dependencies:                 |     Stopgaps:
---------------------------------+------------------------

Comment (by vdelecroix):

 [http://en.wikipedia.org/wiki/Extended_Euclidean_algorithm Wikipedia] is
 formal about the definition of xgcd. But there is a mention of
 {{{
 as + bt = Res(a,b)
 }}}
 in the section
 
[http://en.wikipedia.org/wiki/Extended_Euclidean_algorithm#Polynomial_extended_Euclidean_algorithm
 Polynomial extended Euclidean algorithm]. See also the page on
 [http://en.wikipedia.org/wiki/B%C3%A9zout%27s_identity Bézout identity]

 [http://www.math.uiuc.edu/Software/magma/text315.html magma] defines xgcd
 only for univariate polynomials over fields or residue class ring with
 prime modulus.

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

Reply via email to