A.3.1 Saturation A.3.2 Finite fields A.3.3 Elimination A.3.4 Free resolution A.3.5 Handling graded modules A.3.6 Computation of Ext A.3.7 Depth A.3.8 Factorization A.3.9 Primary decomposition A.3.10 Normalization A.3.11 Kernel of module homomorphisms A.3.12 Algebraic dependence