#7325: Sage cannot solve inequalities
----------------------------+-----------------------------------------------
   Reporter:  robert.marik  |       Owner:  tbd                                 
  
       Type:  enhancement   |      Status:  needs_work                          
  
   Priority:  major         |   Milestone:  sage-4.3                            
  
  Component:  algebra       |    Keywords:  relation, symbolics, inequality, 
solve
Work_issues:                |      Author:  Robert Marik                        
  
   Upstream:  N/A           |    Reviewer:  Karl-Dieter Crisman                 
  
     Merged:                |  
----------------------------+-----------------------------------------------

Comment(by robert.marik):

 Replying to [comment:9 mvngu]:
 > With the new Maxima spkg and the patch `trac_7325-final.patch`, I got
 these failures:

 This follows probably from updated version of fourier elimination in
 Maxima. The answers are correct and equivalent to previous answers. I
 think that it is sufficient to fix the tests and to fix the following
 message from solve command
 {{{
 NotImplementedError: solving only implemented for equalities
 }}}

 I'll update the patches after testing on 4.3.rc1

 what about to replace output of
 {{{
 solve_ineq(x^2>-1)
 }}}
 from
 {{{
 'all'
 }}}
 to
 {{{
 x>-Infinity
 }}}
 ?

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