Observable(B::Ulam, ϕ::Function; tol = 2^-10)

Compute the Ulam discretization of an observable $ϕ$, and $||ϕ||_{∞}$, returns as an Observable object

Example

julia> using RigorousInvariantMeasures;

julia> B = Ulam(4)
Ulam{LinRange{Float64, Int64}}(LinRange{Float64}(0.0, 1.0, 5))

julia> Observable(B, x->x)
Observable(Ulam{LinRange{Float64, Int64}}(LinRange{Float64}(0.0, 1.0, 5)), Interval{Float64}[[0.125, 0.125], [0.375, 0.375], [0.625, 0.625], [0.875, 0.875]], [0.999734, 1])

discretizationlogder(B::Ulam, D::PwMap; degree = 7)

Compute the discretization of the logarithm of the derivative of the dynamics 'D' on the Ulam basis 'B', using a Taylor series expansion of degree 'degree'