如何使用任意数量的命名空格生成有效表达式？

Question

我想为广义分配性制定规则。在我正在做的事情中，我将使用如下表达式：

$$（a_1+…+a_n）**a_{n+1}$$

我想将它们转换为：

$$（a_1**a_｛n+1｝+…+a_n**a_｛n+1｝）$$

如果我有可预见数量的变量，我知道该怎么做。我可以使用：

（a+b）**抄送。{（x+y）**z_->（x**z+y**z）}

作为数字n美元$是武断的，我想我可以这样做：

t=2；s=总和[a[i]_，{i，t}]**（a[t+1]_）ss=总和[a[i]**a[t+1]，{i，t}]（a+b）**c/。{s->ss}

但这行不通。我试图探究为什么这行不通，但没有发现任何相关的东西。你能帮助我吗？

Answer 1

不确定您想如何使用它，但内置分发可以为您完成以下工作：

表达式=（a+b+c）**z；分发[表达式]（*a**z+b**z+c**z*）

Answer 2

你可以随时使用ReplaceRepeated（替换重复）(//.):

表达式=（a+b+c+d）**z；表达式//。{（x+y）**z_->（x**z+y**z）}（*a**z+b**z+c**z+d**z*）

它反复应用规则，直到表达式不再改变。