皮耶里马普斯

计算Schur模的包含。我们描述了一个构造梯度gln最小自由分辨率的软件包(ℚ)-Q[x1,…,xn]上的等变模M,使得对于所有i,M的第i个syzygy模是在一个单次生成的,我们通过描述gln的多项式表示的一些算法来实现(ℚ) 遵循奥尔弗和艾森布德弗赖斯塔德韦曼的想法。