R[a_, b_] := FullSimplify[ KroneckerDelta[a, b] KroneckerDelta[a, b]]
R[a, b]
(* KroneckerDelta[a, b]^2 *)
Should the the full simplified answer not be just KroneckerDelta[a, b] due to idempotence?
$\begingroup$
$\endgroup$
1
-
$\begingroup$ Failure to simplify isn't a bug - so I'd suggest changing the title of the question. $\endgroup$– JensDec 31, 2016 at 4:21
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
Use PiecewiseExpand
R[a_, b_] := KroneckerDelta[a, b] KroneckerDelta[a, b] // PiecewiseExpand
R[a, b]
R[a_, b_] := Product[KroneckerDelta[a, b] , {n, 5}] // PiecewiseExpand
R[a, b]
R[a_, b_] :=
Product[KroneckerDelta[a, b] , {n, m}] // PiecewiseExpand[#, m > 1] &
R[a, b]
answered Dec 31, 2016 at 3:35