#7325: Sage cannot solve inequalities
----------------------------+-----------------------------------------------
   Reporter:  robert.marik  |       Owner:  tbd                                 
  
       Type:  enhancement   |      Status:  needs_work                          
  
   Priority:  major         |   Milestone:  sage-4.3.1                          
  
  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:19 kcrisman]:
 >
 > 4. In calculus/calculus.py, there is the following code:
 > {{{
 > maxima = Maxima(init_code = ['display2d:false', 'domain: complex',
 'keepfloat: true', 'load(to_poly_solver)', 'load(simplify_sum)'],
 >                 script_subdirectory=None)
 > }}}
 > Maybe the initialization of solve_rat_ineq and fourier_elim should be
 there?   Otherwise we are trying to load this with every attempt at a
 solve_ineq, which seems inefficient.

 I think that it is inefficient to load a bundle of packages whenever
 Maxima starts. This makes computations provided by Maxima slower. Perhaps
 we could use some variable swhich stores information, whether solvers of
 inequality have been used or no.


 And thanks for the other comments.

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