On Feb 8, 3:17 pm, Loïc <[email protected]> wrote: > Hello, > > I was trying some inequations, it seems Sage blocks on some primary > inequalities. > > For example: > > solve(log(x)>0,x) > [[log(x)>0]] > > Is it a bug or a missing feature? >
:~ $ sage -maxima ;;; Loading #P"/Applications/MathApps/sage/local/lib/ecl/SB-BSD- SOCKETS.fas" ;;; Loading #P"/Applications/MathApps/sage/local/lib/ecl/SOCKETS.fas" ;;; Loading #P"/Applications/MathApps/sage/local/lib/ecl/ DEFSYSTEM.fas" ;;; Loading #P"/Applications/MathApps/sage/local/lib/ecl/cmp.fas" ;;; Loading #P"/Applications/MathApps/sage/local/lib/ecl/sysfun.lsp" Maxima 5.22.1 http://maxima.sourceforge.net using Lisp ECL 10.4.1 Distributed under the GNU Public License. See the file COPYING. Dedicated to the memory of William Schelter. The function bug_report() provides bug reporting information. (%i1) load(fourier_elim); (%o1) /Users/.../sage-4.6.2.alpha1/local/share/maxima\ /5.22.1/share/contrib/fourier_elim/fourier_elim.lisp (%i3) fourier_elim(x^2-1>0,[x]); (%o3) [1 < x] or [x < - 1] (%i4) fourier_elim(log(x)>0,[x]); (%o4) [log(x) > 0] So it seems that the engine we use for solving inequalities cannot solve this particular one. However, it's possible there is another Maxima package which might handle this one. Unfortunately, some of these contributed packages are not so well documented. I'm sorry that we don't seem to have this available yet. - kcrisman -- 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-support URL: http://www.sagemath.org
