After you make wrapping_mul (=multiplication + mod 264) it does not make much sense to take mod 264-57 (in most cases the second will take no effect at all). As a result, for example, all entities have exactly k/2 odd and k/2 even coordinates. It damages guarantees a bit.
After you make wrapping_mul (=multiplication + mod 264) it does not make much sense to take mod 264-57 (in most cases the second will take no effect at all). As a result, for example, all entities have exactly k/2 odd and k/2 even coordinates. It damages guarantees a bit.