The algorithm is simple.
In binary representation, the bandmask has the bit set which corresponds to the LTE band number.
Take B7 as an example.
The bandmask 0x40 is 1000000 in binary and so bit 7 is set.
My post EC25-E band information and bit flags - #4 by snowgum has further info.