式のベクトル (v など) を返す Maple proc をダウンロードしました。ここで、個々の式は、シンボリック エントリを持つ他のベクトル (p、a) に基づいています。例えば:
> v := myProc();
> v[1];
p[2] + a[1]
> v[2];
p[5] + a[3] + sqrt(a[1])
...
ベクトル 'p' と 'a' に数値を割り当てて生成した後、ベクトル 'v' の式を評価できるようにしたいのですが、ベクトル 'a' と 'p' を次のように定義すると、次のようになります。
a := Vector(3,1):
p := Vector(5,2):
1 つのベクターの値が再割り当てされているが、他のベクターの値は再割り当てされていないという結果が得られます。
> v[1];
p[2] + 1
> v[2];
p[5] + 1 + sqrt(1)
この問題の性質に関する洞察をいただければ幸いです。Vector 'v' が式を返す前に、このプロシージャに対応する Maple ファイルを調べて 'p' と 'a' に値を代入しようと試みましたが、これは比較的成功していません。メイン プロシージャ内の多数のサブプロシージャは、Vector 'v' を正常に返すために最終的にシンボリック Vector を必要とするようです。