#5201: make solve understand matrix equations
---------------------------+------------------------------------------------
   Reporter:  jason        |       Owner:  burcin  
       Type:  enhancement  |      Status:  new     
   Priority:  major        |   Milestone:  sage-4.7
  Component:  calculus     |    Keywords:          
     Author:               |    Upstream:  N/A     
   Reviewer:               |      Merged:          
Work_issues:               |  
---------------------------+------------------------------------------------
Changes (by jason):

  * keywords:  beginner =>


Comment:

 You bring up a good point, and make me doubt whether the feature request
 is even feasible.  Certainly it's probably not a beginner ticket after
 all.  The problem is that we already have an == operator:

 {{{
 sage: a=matrix(SR,2,[x,x^2,x+1,x+4])
 sage: b=matrix(SR,2,[4,3,2,1])
 sage: a==b
 False
 }}}

 That means that all solve will see is False.  Instead, we want something
 like:

 {{{

 sage: SR(a)==SR(b)
 ([    x   x^2]
 [x + 1 x + 4]) == ([4 3]
 [2 1])
 }}}

 (i.e., we want the == in the solve to construct an equation, which it does
 for symbolic objects.  One of the issues at heart here is that a symbolic
 object wrapping a Sage matrix is different from a Sage matrix containing
 symbolic objects.

 So I'm going to take off beginner status for this ticket here.  It would
 still be nice if solve(SR(a)==SR(b)) worked in the above example.

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