rtoy
commented
2 months ago Imported from SourceForge on 2024-07-05 18:44:17 Created by macrakis on 2023-03-03 13:09:20 Original: https://sourceforge.net/p/maxima/bugs/4111/#d6e2
Unfortunately, Maxima's ability to deduce inequalities is very limited. This isn't a bug, just a limitation. We are happy to have people work on improving this subsystem, although of course it will never handle every possible case.
Imported from SourceForge on 2024-07-05 18:44:16 Created by toolmath on 2023-03-03 06:30:32 Original: https://sourceforge.net/p/maxima/bugs/4111
I am not sure why maxima is not identify that "a" is positive.
The prompt transcribed is:
a:1-t^2/2; assume(t>-1 and t<1); is(t>0); 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
Attachments: