Dear Sir or Madam, would you agree to add the type Probability = Refined Interval.Closed[0d, 1d] in addition to Positive, NonNegative, etc. It is useful for engineering factor, probabilistic computations, etc. Regards, Olivier
Dear Sir or Madam,
would you agree to add the type
Probability = Refined Interval.Closed[0d, 1d]
in addition to Positive, NonNegative, etc.
It is useful for engineering factor, probabilistic computations, etc.
Regards,
Olivier