"Celia McInnis" <celia@drmath.ca> writes:
> select 949::bit(10) gives 1110110101 (as expected).
> select 949::bit(10)::bit(3) gives 111 (the 3 most significant bits)
> select 949::bit(3) gives 101 (the 3 least significant bits).
> As a mathematician, I'd certainly at least want the last two selects to give
> the same results!
Unfortunately, the behavior of casting between bit(m) and bit(n) is not
open to negotiation --- it's given by the SQL standard.
I think the only way to make this stuff truly mathematically consistent
would be to go over to a "little endian" approach in which casting from
integer to bit puts the LSB of the integer into the first, not the last,
bit of the bit string. But that is probably too big a compatibility
hit to consider ... and I for one would find it less useful not more.
regards, tom lane