Chad Scherrer
Chad Scherrer
It's currently awkward to define methods for `AbstractProductMeasure`s, because that abstract type doesn't know anything about the underlying structure. This PR explores one possibility for fixing that. The idea is...
MeasureTheory has these tests: ```julia @testset "Density measures and Radon-Nikodym" begin x = randn() let d = ∫(𝒹(Cauchy(), Normal()), Normal()) @test logdensity_rel(d, Cauchy(), x) ≈ 0 atol = 1e-12 end...
The "transport origin" of a `WeightedMeasure` needs to be weighted. I had thought this might be easy: ```julia transport_origin(ν::WeightedMeasure) = weightedmeasure(ν.logweight, transport_origin(ν.base)) to_origin(w::WeightedMeasure, y) = to_origin(w.base, y) from_origin(w::WeightedMeasure, x) =...
Say we have spaces $A$ and $B$, a function $f:A \to B$, and a measure $\mu \in \mathcal{M}(A)$. Choose a point $x ∈ A$, and $y = f(x) ∈ B$....
I've been exploring our pushforward basics in MeasureBase.jl... Say we have a uniform measure on $(-\pi/2, \pi/2)$ and want to push that through `asin`. So we do ```julia # We'll...
Currently we have ```julia transport_origin(ν::WeightedMeasure) = ν.base to_origin(::WeightedMeasure, y) = y from_origin(::WeightedMeasure, x) = x ``` Should this be ```julia transport_origin(ν::WeightedMeasure) = transport_origin(ν.base) to_origin(v::WeightedMeasure, y) = to_origin(v.base, y) from_origin(v::WeightedMeasure, x)...
Currently, a product of `Dirac`s works like this: ```julia julia> productmeasure(Dirac.([1,2,3])) ProductMeasure([Dirac(1), Dirac(2), Dirac(3)]) ``` In some cases, we might prefer to write this as ```julia Dirac([1, 2, 3]) ```...
I have some questions about `getdof`. Here's the current docstring: ```julia help?> MeasureBase.getdof getdof(μ) Returns the effective number of degrees of freedom of variates of measure μ. The effective NDOF...
Users can build a `SuperpositionMeasure` in a few ways. We need `a + b` and `sum((a,b))` to result in the same thing. I think we should have one method to...