#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 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.
 >

 If you think that is a good way of doing it, then we should also do this
 for the loading of simplify_sum and to_poly_solve, because certainly they
 would be in the same boat.  Does checking a boolean sound appropriate?  If
 you do that here, then I would be happy to do it in the other places.

 To mhansen: I think robert.marik is referring to the making it a slightly
 slower startup, not the actual computations.  It's true that loading tons
 of packages would eventually slow that down if someone just wanted to get
 an integral.

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