#11593: `quo_rem` for divisor of leading unit coefficient
----------------------------------------------+-----------------------------
       Reporter:  klee                        |         Owner:  AlexGhitza      
 
           Type:  enhancement                 |        Status:  needs_work      
 
       Priority:  minor                       |     Milestone:  sage-5.6        
 
      Component:  basic arithmetic            |    Resolution:                  
 
       Keywords:  fix and doctest exceptions  |   Work issues:                  
 
Report Upstream:  N/A                         |     Reviewers:  Frédéric 
Chapoton
        Authors:  Kwankyu Lee                 |     Merged in:                  
 
   Dependencies:  #12612                      |      Stopgaps:                  
 
----------------------------------------------+-----------------------------

Comment (by chapoton):

 Well, this failing test does not make sense to me. Why on earth should we
 be able to convert

 {{{
 x as element of the ring Q[x]/(x^6 - x^4 - 5*x^2 - 3)

 to

 x as element of the ring Q[x][y]/(y^2+1)
 }}}

 I propose to remove this test. Anybody else has an opinion ?

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11593#comment:35>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.

Reply via email to