Seth Axen

Using the heuristic in https://github.com/JuliaGeometry/Quaternions.jl/pull/56#issuecomment-1046273555, these are the unary special functions that maybe could be extended: ```julia julia> get_complex_analytic_funs(SpecialFunctions) 11-element Vector{Symbol}: :airyai :airyaiprime :airyaiprimex :airyaix :airybi :airybiprime :besselj0 :besselj1 :bessely0...

I think whether this is a problem depends on if we think users are likely to load Quaternions and Octonions at the same time. I don't have a good sense...

@cscherrer it might be a good idea to include something like this in the test function for measures in MeasuresBase.

The logic of this is based on `1 = ∫ dμ(x) = ∫ dμ(x)/dν(x) dν(x) = ∫ π(x) dν(x) ≈ n⁻¹ ∑ π(xᵢ)`, where `xᵢ ~ ν`. Using similar logic,...

> (2) will miss in most cases, since you can't sample from Lebesgue measure. But we could maybe sample from a Cauchy and use log-density with respect to that. Yeah,...

>Do you have a reference for the more general case? I've just noticed it for the Stiefel, Sphere, and Grassmann manifolds. e.g. for the Sphere, there's the wikipedia page: https://en.wikipedia.org/wiki/Spherical_measure#Relationship_with_other_measures...

Matrix Langevin and Bingham are partially implemented; to compute their log densities, we need an implementation of hypergeometric functions with matrix arguments, which should perhaps be its own Julia package....

Thanks, @stla, that looks really useful. It would be nice to have the package registered. Would you accept several PRs to get it ready for registration? Or alternatively, would you...

This package is still pretty barebones. I started by implementing some common measures from directional/orientational statistics to get a sense for the API before working on the design of some...

Here we use "volume" specifically to refer to the total mass of the unnormalized Hausdorff measure, i.e., the quantity that the Hausdorff measure must be divided by to make it...