weighted mean (mean for frequency distribution)
m = weighted_mean(v,n)
vector of real numbers
vector of positive real numbers
real number
weighted_mean(v,n)
returns the mean of the components of the vector
v
weighted by the vector of numbers
n
with v
and n
of the same dimension
n
a vector of positive numbers or
zeros but not all zeros