Canonical bases arising from quantized enveloping algebras

0.2. We are interested in the problem of constructing bases of U+ as a Q(v) vector space. One class of bases of U+ has been given in [DL]. We call them (or, rather, a slight modification of them, see ?2) bases of PBW type, since for v = 1, they specialize to bases of U+ of the type provided by the Poincare see however ? 12.)