Построение канонического симплификатора в модулях над кольцами полиномовстатья