Describir: Multiplicative Ideal Theory in Commutative Algebra