Cf. #635. Add the initial operations of `barret_reduce` and `subifge`.
Cf. #635.
Add the initial operations of
barret_reduceandsubifge.