#13854: Fix of _matrix_times_vector_
------------------------+---------------------------------------------------
   Reporter:  tfeulner  |             Owner:  AlexGhitza                        
         
       Type:  defect    |            Status:  new                               
         
   Priority:  major     |         Milestone:  sage-5.6                          
         
  Component:  algebra   |          Keywords:  non-commutative ring, matrix 
vector product
Work issues:            |   Report Upstream:  N/A                               
         
  Reviewers:            |           Authors:  Thomas Feulner                    
         
  Merged in:            |      Dependencies:                                    
         
   Stopgaps:            |  
------------------------+---------------------------------------------------
 For non-commutative rings the method
 {{{Matrix_sparse._matrix_times_vector_}}} does not take care of the right
 multiplication order in the ring, for example:

 {{{
 sage: A.<x,y> = FreeAlgebra(QQ, 2)
 sage: P.<x,y> = A.g_algebra(relations={y*x:-x*y}, order = 'lex')
 sage: M = Matrix([[x]])
 sage: v = vector([y])
 sage: M*v
 (x*y)
 sage: M.sparse_matrix()*v
 (-x*y)
 }}}

 This patch fixes this bug.

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