docs: def UV_B(Bg,gw):
      """
      returns the implications UV based on B
      Bg = B(g), g∈2^M
      gw = |M|, M is the set of all attributes
      """
      UV = []
      p = Bwidth(gw)
      pp = 2**p
      while p:
          pp = pp>>1
          p = p-1
          if Bg&pp:
              uv = B012(p,gw-1)
              UV.append(uv)
      return UV