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