Reduction Modulo an Ideal Foundational Protocol | Reduction Modulo an Ideal | Mathematics | NEROS