Reduces the modulus chain by one level. Required after eval_mult
under FIXEDMANUAL scaling; automatic under FIXEDAUTO /
FLEXIBLEAUTO.
Reduces the modulus chain by one level. Required after eval_mult
under FIXEDMANUAL scaling; automatic under FIXEDAUTO /
FLEXIBLEAUTO.