这个问题与computer algebra system Magma（不 linear algebra library）有关，而且是crossposted from scicomp.SE。
如果这是偏离主题，请原谅;我是StackExchange网络的常规用户，但这是我在StackOverflow上的第一篇文章。 I am looking为这类问题寻找合适的家园。 （原则上我似乎是scicomp.SE但是它在4天内没有得到答案所以我想知道StackOverflow是否产生了不同的结果。）
假设有人在岩浆中的环R上构造了多项式代数A.如何构造由A？
的给定元素列表生成的A的子R-代数
在我看来，这是一个非常基本的操作，所以我不能相信没有办法做到这一点，但到目前为止我还没有在the handbook找到它。 （我看到构造矩阵代数的子代数和阿贝尔变种的内同态环的功能，但不是多项式环。）