Proposed resolution:

1. Change [rand.dist.samp.pconst] p. 2, class template piecewise_constant_distribution synopsis and the prototype description [rand.dist.samp.pconst] before p. 13 as indicated:

   vector<doubleresult_type> densities() const;
   

2. Change [rand.dist.samp.plinear] p. 2, class template piecewise_linear_distribution synopsis and the prototype description [rand.dist.samp.plinear] before p. 13 as indicated:

   vector<doubleresult_type> densities() const;
   

[ Adopted at 2010-11 Batavia ]

[ Batavia 2010: After reviewing this issue, the working group concurred with the first of the suggestions proposed by the NB comment: "Change the piecewise constant and linear distributions to hold/return the densities in a vector. " ]

[ Resolution proposed by ballot comment: ]

Change the piecewise constant and linear distributions to hold / return the densities in a vector<result_type>.

If this is not done, at least correct [rand.dist.samp.pconst] p. 13 which describes the return of densities as a vector<result_type>.

Addresses US-134

These two distributions have a member function called densities() which returns a vector<double>. The distribution is templated on RealType. The distribution also has another member called intervals() which returns a vector<RealType>. Why doesn't densities return vector<RealType> as well? If RealType is long double, the computed densities property isn't being computed to the precision the client desires. If RealType is float, the densities vector is taking up twice as much space as the client desires.