2 つの整数のクロネッカー記号は、 ifおよびothern,m
として定義されます。1
n=m
0
メイプルに組み込みのクロネッカーシンボルがありますか、それを実装する簡単な方法はありますか?
申し訳ありませんが、些細なことを見落としていた場合は、現時点で maple-homepage がダウンしており、Google は何も役に立ちませんでした。
編集:私はここで何か役に立つものを見つけました:
restart:
delta := table(symmetric,identity);
simplify(delta[1,2]);
simplify(delta[1,1]);
delta := TABLE(symmetric, identity, [])
0
1
ただし、記号を使用した些細な式でさえ単純化していないようです。
simplify(delta[n,n]);
simplify(delta[n,n+1]);
delta[n, n]
delta[n, n + 1]
1
それぞれと が得られると予想される場所0
。
編集2:私もこの方法で試しました:
restart:
delta := proc(n,m):
if n=m then 1 else 0 fi;
end;
delta(1,2);
delta(1,1);
delta(n,n);
0
1
1
ただし、これはシンボルに対してもうまく機能しません。
delta(n,m);
戻ります0
。