FUNCTION: LieTools/VermaNorm
USAGE: VermaNorm(p1,hfw)
SYNOPSIS: VermaNorm(p1,hfw) yields the norm of the vector p|hfw> 
  using the standard norm for the corresponding highest weight modules:
         |p1|hw>|^2 = [HC(t(p1)p1)](hw)
   where HC is the Harish-Chandra homomorphism U[g] -> S(h)
   t is the Chevalley anti-automorphism of U(g):
             t(H) = H  , if H \in Cartan
             t(X_{\alpha)) = X_{-\alpha} if X_{\alpha}
     is a root vector 
   (Better: t is the involutive anti-automorphism of U(g)
    which reduces to the identity on the Cartan subalgebra.)
CAVEATS: requires a previously initialized global Lie algebra environment.
  (See LieTools[gSetup].)
EXAMPLE: 

SEE ALSO: 
