[Boost-users] Class template normal_distribution. What is the actually mapping function?

Does anyone know what is the actual mapping function used by the <boost/random/normal_distribution.hpp> to map uniform random into the normal distribution? While I suspect it is the Marsaglia's ziggurat algorithm I need to know for certain and I can not find the details on the BOOST site. Thanks in advance for any help. Jeanette Auer Associate Lecture Dept. Comp. Sci. & Comp. Eng La Trobe University Victoria 3086