https://123dok.net/document/zxv5ndoy-computing-in-commutative-algebra.html