On Thu, Oct 1, 2009 at 9:45 AM, Nathaniel Virgo
<nathanielvirgo at gmail.com> wrote:
> It should say
>
> applyb1(expr, bayes)
>
> that was just a typo in my mail - the result is the same - it fails to apply
> Bayes' rule to the subexpression.
Hmm, it works for me.
(%i1) infix("|",50,50);
(%o1) |
(%i2) matchdeclare([AA,BB,CC],all);
(%o2) done
(%i3) defrule(bayes, (AA|BB and CC), (BB|AA and CC)*(AA|CC)/(BB|CC));
(AA | CC) (BB | AA and CC)
(%o3) bayes : (AA | BB and CC) -> --------------------------
BB | CC
(%i4) applyb1( (a|b and c)*x, bayes);
(a | c) (b | a and c) x
(%o4) -----------------------
b | c
(%i5) applyb1 (%, bayes);
(%o5) (a | b and c) x
What does build_info(); return for you? I have Maxima 5.19.2
+ Clisp 2.48 on Linux.
best
Robert Dodier