matrix - 最大値の任意サイズの行列

Question

任意のサイズの行列を使用して計算を行いたい。簡単な例 - 任意の要素を持つ 2 つの行列 NxM と MxK を取り、積の要素を合計と見なします。

しかし、行列サイズを整数として指定せずにそのような記号計算を行う方法を見つけることはできません。

matrix()整数がmakelist()欲しい、整数が欲しい。

マキシマでこのようなことをする方法はありますか? または任意のCAS？

Answer 1

残念ながら、Maxima は任意のサイズの行列を認識しておらず、それを実装する簡単な方法もわかりません。

私が見る唯一の方法は、新しい種類の式を定義し、それらの操作に単純化規則を提供することです。例 (これは考えられる解決策の単なるスケッチです): defstruct を使用して、典型的な要素のサイズと式を含む構造を定義し、「.」の単純化規則を定義します。(非可換乗算) 和である典型的な要素を持つ新しい式を作成します。