#10578: Coercion problem for vectors from polynomial rings over GF(2)
------------------------------+---------------------------------------------
   Reporter:  jonhanke        |       Owner:  jason, was                        
    
       Type:  defect          |      Status:  needs_info                        
    
   Priority:  minor           |   Milestone:  sage-4.6.1                        
    
  Component:  linear algebra  |    Keywords:  GF(2), coerce, polynomial ring, 
vector
     Author:  Jonathan Hanke  |    Upstream:  N/A                               
    
   Reviewer:                  |      Merged:                                    
    
Work_issues:                  |  
------------------------------+---------------------------------------------

Comment(by wjp):

 Similarly,

 {{{
 sage: R.<x> = GF(2)[]
 sage: x // 2r
 }}}

 and

 {{{
 sage: R.<x> = GF(2)[]
 sage: x.quo_rem(2r)
 }}}

 both crash, and things like {{{gcd(x,2)}}} give {{{TypeErrors}}} instead
 of trying to coerce.

 It looks like adding {...@coerce_binop}}} to a lot of methods in
 {{{Polynomial_template}}} ({{{__mod__, __floordiv__, quo_rem, gcd...}}})
 might work, but for {{{x // 2r}}} and {{{x % 2r}}} that doesn't help,
 while strangely {{{x.__mod__(2r)}}} and {{{x.__floordiv__(2r)}}} don't
 crash anymore.

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