Some brief notes for quick reference.
The Saturation Set algorithms for $\mathbb{R}^n$ and $\mathsf{M}^6$ vectors.