Effective computation of
arXiv:math/0412326
Abstract
An effective method to compute a presentation of for modules on a not necessarily commutative algebra is proposed, more precisely when is a PBW algebra, is a centralizing -bimodule and is a finitely generated left -module.