How to properly work with inequalities
- Subject: How to properly work with inequalities
- From: ross kyprianou
- Date: Sat, 4 Jun 2011 14:46:19 +0930
Can anyone please suggest the best way to find the real solutions to
inequalities involving exp() such as
exp(-4*x)>1/2
Neither solve nor fourier_elim seem to help
(%i13) load(fourier_elim)$
(%i16) fourier_elim([exp(-4*x)>1/2],[x]);
4 x
(%o16) [2 - %e > 0]
Hope you can help
Ross
On Wed, Jun 1, 2011 at 5:34 AM, <aleksasd at mruni.eu> wrote:
> Problem: solve inequation 7*x+2<-x-3
> (%i1) S:7*x+2<-x-3$
>
> 1 method
> (%i2) assume(S);
> (%o2) [x<-5/8]
>
> 2 method
> (%i3) to_poly_solve([S], [x]);
> Loading maxima-grobner $Revision: 1.6 $ $Date: 2009/06/02 07:49:49 $
> (%o3) %union([x<-5/8])
> (%i4) sol:first(%);
> (%o4) [x<-5/8]
>
> 3 method
> (%i5) load(ineq)$
> (%i6) S-2;
> (%o6) 7*x<-x-5
> (%i7) %+x;
> (%o7) 8*x<-5
> (%i8) %/8;
> (%o8) x<-5/8
>
> 4 method
> (%i9) load(solve_rat_ineq);
> (%o9)
>
> "C:/PROGRA~2/MAXIMA~1.0/share/maxima/5.24.0/share/contrib/solve_rat_ineq.mac"
> (%i10) solve_rat_ineq(S);
> (%o10) [[x<-5/8]]
> (%i11) sol:%[1];
> (%o11) [x<-5/8]
>
> Aleksas D
>
>
>
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima
>