Internals

Various internals

Intervals

ContinuousTransformations._maybe_segment — Function.
_maybe_segment(a, b)

Helper function for forming a segment when possible. Internal, not exported.

source

Univariate transformations

ContinuousTransformations.RRStability — Type.
abstract type RRStability

Trait that is useful for domain and image calculations. See RRStable.

source
ContinuousTransformations.RRStable — Type.
struct RRStable <: ContinuousTransformations.RRStability

Trait that indicates that a univariate transformation

  1. maps $ℝ$ to $ℝ$,

  2. supports mapping intervals, and

  3. maps subtypes of AbstractInterval to the same type.

source
ContinuousTransformations.NotRRStable — Type.
struct NotRRStable <: ContinuousTransformations.RRStability

Trait that indicates that a univariate transformation is not RRStable.

source
ContinuousTransformations.RR_stability — Function.
RR_stability(?)

Return either the trait RRStable and NotRRStable.

source
ContinuousTransformations.composed_domain — Function.
composed_domain(f_RR_stability, g_RR_stability, f, g)
source
ContinuousTransformations.composed_image — Function.
composed_image(f_RR_stability, g_RR_stability, f, g)
source
ContinuousTransformations.default_transformation — Function.
default_transformation(dom, img)

Return a transformation from dom that can be mapped to img using affine_bridge.

source
ContinuousTransformations.affine_bridge — Function.
affine_bridge(interval1, interval1)

Return an affine transformation between two intervals of the same type.

source

Printing

ContinuousTransformations.rhs_string — Function.
rhs_string(transformation, term)

Return the formula representing the hand side of the transformation, with term as the argument.

source

Utilities

ContinuousTransformations.@define_isapprox — Macro.
@define_isapprox(T, fields)

Define an isapprox method, comparing the given fields in type T.

source
ContinuousTransformations.@define_singleton — Macro.
@define_singleton(name_and_supertype)
@define_singleton(name_and_supertype, constant)

Define a singleton type with the given name and supertype (specified as name <: supertype), and a constant which defaults to the name in uppercase.

source
ContinuousTransformations._fma — Function.
_fma(x, y, z)

Placeholder for Base.fma until https://github.com/JuliaDiff/ReverseDiff.jl/issues/86 is fixed.

source