この質問は、コンピュータ代数システム Magma (線形代数ライブラリではありません) に関するもので、scicomp.SE から相互投稿されています。
これがトピックから外れている場合はご容赦ください。私は StackExchange ネットワークの常連ユーザーですが、これが StackOverflow に関する最初の投稿です。この種の質問にぴったりの家を探しています。（原則として、scicomp.SEのようですが、4日間回答が得られていないため、StackOverflowが別の結果をもたらしたかどうかを知りたかったのです。）
マグマの環 R 上の多項式代数 A を構成したとします。与えられた A の要素のリストによって生成される A の部分 R 代数をどのように構築するのでしょうか?
これは非常に基本的な操作のように思えるので、それを行う方法がないとは信じられませんが、ハンドブックにはまだ見つかりません。(行列代数とアーベル多様体の自己同形環の部分代数を構成する機能はあるが、多項式環はないと思う。)