簡化規則不適用正常

Question

我想使用的代碼從這裏http://raoul.koalatux.ch/sites/ladderoperator/ladder_operator.html

declare(bra, nonscalar); 
declare(ket, nonscalar); 
dotscrules:true; 
matchdeclare(m,lambda([t],featurep(t,integer))); 
matchdeclare(n,lambda([t],featurep(t,integer))); 

tellsimp(bra(m).ket(n), kron_delta(m,n)); 

對於大多數表達它的工作原理採用狄拉克狄拉克符號在千里馬：

bra(0) . ket(0); 
ket(1) . bra(0) . ket(0); 
bra(1) . ket(1) . bra(0) . ket(0); 

所有簡化正確，但

bra(1) . ket(1) . bra(0); 

未能簡化爲胸罩（0）。我如何獲得Maxima來簡化這種情況？

Answer 1

我認爲你可以這樣開始：

declare(bra, nonscalar); 
declare(ket, nonscalar); 
dotscrules:true; 
matchdeclare(m,lambda([t],featurep(t,integer))); 
matchdeclare(n,lambda([t],featurep(t,integer))); 

tellsimp(bra(m).ket(n), kron_delta(m,n)); 

simp:false; 
matchdeclare(aa, true); 
matchdeclare(bb, true); 
matchdeclare(cc, true); 
tellsimp (aa.(bb.cc),(aa.bb).cc); 
simp:true; 

/* Tests */ 
bra(0) . ket(0); 
ket(1) . bra(0) . ket(0); 
bra(1) . ket(1) . bra(0) . ket(0); 
bra(1) . ket(1) . bra(0); 
ket(1) . bra(1) . ket(1);