GAP: Abelian finitely presented graded modules over a computable graded ring
This homalg based package realizes the computability of the Abelian category of finitely presented graded modules over a computable graded ring.
顯示實驗性套件 顯示社群維護套件