Hi to all,
Here is one ucomfortable observation:
The assume database can simultaneously keep mutually contradictive statements. This is bad. From a pair of contradictive statements one can infer any desirable statement by applying only correct inference rules. Thus, it is very dangerous to do elements of automated inference in Maxima.
(C1) assume(- b4 - b3 + A4 + A3 > 3, b4 + b3 - A4 - A3 > 3)$
(C2) IS(- b4 - b3 + A4 + A3 > 3 AND b4 + b3 - A4 - A3 > 3);
(D2) TRUE
Maxima version: 5.9.0
Maxima build date: 15:27 11/24/2003
host type: i586-pc-linux-gnu
lisp-implementation-type: CLISP
lisp-implementation-version: 2.27 (released 2001-07-17) (built 3223390905) (memory 3278669292)
--
Alexander