这个问题是关于计算机代数系统 Magma（不是线性代数库），并且是从 scicomp.SE 交叉发布的。
如果这是题外话，请原谅；我是 StackExchange 网络的普通用户，但这是我在 StackOverflow 上的第一篇文章。我正在为这类问题寻找合适的家。（原则上在我看来它是scicomp.SE，但它在 4 天内没有得到答案，所以我想知道 StackOverflow 是否产生了不同的结果。）
假设有人在 Magma 的环 R 上构造了多项式代数 A。如何构造由 A 的给定元素列表生成的 A 的子 R 代数？
在我看来，这似乎是一个非常基本的操作，所以我不敢相信没有办法做到这一点，但到目前为止我还没有在手册中找到它。（我看到了构造矩阵代数和自同态环的子代数的功能，但不是多项式环。）