search

wxMaxima-developers / wxmaxima

A gui for the computer algebra system Maxima built with wxWidgets
https://wxMaxima-developers.github.io/wxmaxima/
Other
461 stars 96 forks source link

Bug on positivity check #1759

Closed toolmathmoodle closed 8 months ago

toolmathmoodle commented 1 year ago

Hi, I am not sure why wxmaxima is not identify that "a" is positive.

image

dilijev commented 1 year ago

That's an issue with the underlying maxima engine, can you file a bug there?

dilijev commented 1 year ago

The prompt transcribed is:

a:1-t^2/2; assume(t>-1 and t<1); is(t>0); is(t>-1);

The output from maxima is:

(%i1) a:1-t^2/2; assume(t>-1 and t<1); is(t>0); is(t>-1);
                                         2
                                        t
(%o1)                               1 - --
                                        2
(%o2)                          [t > - 1, t < 1]
(%o3)                               unknown
(%o4)                                true
daute commented 8 months ago

The bug was filed as: https://sourceforge.net/p/maxima/bugs/4111/ Closing it here, since it is a limitation of Maxima.