Hi Hugemann,
> I tried to apply this to a very simple example:
>
> matchdeclare([a,b],true);
> defrule(h,log(a) - log(b),log(a/b));
> log(a) - log(b);
> apply1(%, h);
>
>
> and it did not work: by default, the logarithms are
> splitted. Thus the
> second line already gives the following output:
>
> h : log(a) - log(b) -> log(a) - log(b)
>
> and applying this rule does of course lead to
> nothing.
Sorry, but I tried this and it worked to me:
Maxima restarted.
(%i1) matchdeclare([a,b],true);
(%o1) done
(%i2) defrule(h,log(a) - log(b),log(a/b));
a
(%o2) h : log(a) - log(b) -> log(-)
b
(%i3) log(Einsten) - log(EveryOneElse);
(%o3) log(Einsten) - log(EveryOneElse)
(%i4) apply1(%, h);
Einsten
(%o4) log(------------)
EveryOneElse
But I can read from your message this is not your
main problem: it seems you were able to make the
tactic defrule-apply1 working.
Giovanni
__________________________________________________
Do You Yahoo!?
Poco spazio e tanto spam? Yahoo! Mail ti protegge dallo spam e ti da tanto spazio gratuito per i tuoi file e i messaggi
http://mail.yahoo.it