Open mschauer opened 2 years ago
I think we definitely need this; I'm trying to write up a package for queuing models and this is messing me up right now :sweat_smile:
(Customers often have a wait time in line of exactly 0 if they arrive with nobody ahead of them.)
With #1470 we introduce distributions
D
with type parameterContinuous
which can have atoms, pointsa
withP(X = a) > 0
. There we settled forpdf(D, a) = P(X = a)
giving the density with respect to a mixture measure with Dirac components at such points.That creates the need to answer the question: what is
P(X = a)
?pdf
doesn't tell, andcdf
either and we need to know, not at last to computeP(X ≥ a) = 1 - P(X ≤ a) + P(X = a)
One first step is to (re-) introducepmf(D, a)
defined to always givingP(X = a)
both forDiscrete
andContinuous
distributions.