goon@batcomputer.TN.CORNELL.EDU (Jon Goon) (03/11/86)
Howdy. I am having some trouble using the pattern-matching
facility in macsyma. Any hints on what I am doing wrong?
The sequence
matchdeclare(nn,true);
defrule(pat,cos(nn*t),-sin(nn*t)/nn);
applyb1(cos(a*t),pat);
gives the correct answer,
-sin(a*t)/a.
However, if I try
matchdeclare(nn,true);
defrule(pat1,%e^(nn*t),%e^(nn*t)/nn);
then macsyma echoes the correct rule,
nn t
nn t %e
pat1 : %e -> -------
nn
but when I apply it with
applyb1(%e^(t),pat1);
I get garbage:
t t
t %e.
I get the same answer if I express everything in terms of the exp
function. Any reason that this should happen? Incidentally, I am
running macsyma 304 on a dec 2065.
|----------------------------------------------------------------------------|
| J. Goon |
| Center for Applied Math. |
| Cornell U. |
| Ithaca, N.Y. 14853 |
| {decvax,ihnp4,cmcl2,vax135}!cornell!amvax!goon (USENET) |
| goon%amvax@CRNLCS.BITNET (Bitnet) |
| goon@amvax.tn.cornell.edu (ARPANET) |
|----------------------------------------------------------------------------|