Author: Stan Eisenstat
Subject: Re: [Cs323] norm for two-complement
Date: Sunday, 04 Oct 2020, 21:21:20

    > Message Posted By: Unknown
    >
    > Why is it true that norm(y) in two's complement is just the first m-bits?
    > The notes doesn't really explain it.

norm2(y) is a number for which 0 <= norm2(y) < 2^m and
y - norm2(y) is a multiple of 2^m.

Writing y = q * 2^m + r, it is clear that norm2(y) = r,
which is just the low-order m bits of y.

--Stan-