The Maxima name for the Kronecker delta function is kron_delta, not kron_del; also,
(e1,e2, ..., en) is a compound statement--evaluation proceeds from left to right.
The last evaluation is the value of the compound statement. (I don't know
where in the online help this is explained--it's difficult to find.)
Example:
(%i1) (1,2,3);
(%o1) 3
Other readers of this list are much more skilled with tellsimp rules than I am, but
I'm guessing you want something like:
(%i1) matchdeclare(a, lambda([s], not mapatom(s) and op(s) = 'bra), b, lambda([s], not mapatom(s) and op(s) = 'ket));
(%o1) done
(%i2) tellsimpafter(a.b, kron_delta(args(a), args(b)));
(%o2) [.rule1,simpnct]
(%i3) bra(3,6,7) . ket(3,6,7);
(%o3) 1
(%i5) bra(1,0,1) . ket(1,0,1,8);
(%o5) 0
(%i6) bra(1,0,0,1).ket(1,0,0,1);
(%o6) 1
--Barton
-----maxima-bounces at math.utexas.edu wrote: -----
>To:?maxima at math.utexas.edu
>From:?razif?razali?<razif66 at gmail.com>
>Sent?by:?maxima-bounces at math.utexas.edu
>Date:?05/18/2011?11:49PM
>Subject:?[Maxima]?asking?on?kron_del
>
>I?try?to?make?this?equation?<1,0,0,1?|?1,0,0,1>?=?1?and?else?is?equal?to?0
>like?what?kron_del?command?give
>i?giving?maxima?some?rule,
>tellsimp(bra(m,n,o,l).ket(l,o,m,n),kron_del((m,n,o,l),(m,n,o,l)));
>
>but?when?i?execute?bra(1,0,0,1).ket(1,0,0,1)?it?just?give?kron_del(1,1)
>and?the?value?should?be?1?right?so?how?can?do?this?in?right?way?so?that?I
>can?get?1?for?same?bra?and?ket?while?0?for?different?bra?and?ket.
>
>--?
>Regards,
>
>RAZIF?RAZALI,
>Tutor?&?Master?Student,
>Physics?Department,
>Faculty?Of?Science,
>Universiti?Teknologi?Malaysia(UTM).
>+60199393606
>
>
>
>
>
>_______________________________________________
>Maxima?mailing?list
>Maxima at math.utexas.edu
>http://www.math.utexas.edu/mailman/listinfo/maxima