Data.Function.Differentiable

Regions within a manifold

data Region s m

smoothIndicator

Hierarchy of manifold-categories

Everywhere differentiable functions

data Differentiable s d c

Almost everywhere diff'able funcs

data PWDiffable s d c

Region-wise defined diff'able funcs

data RWDiffable s d c

Misc

discretisePathIn

discretisePathSegs

continuityRanges

regionOfContinuityAround

analyseLocalBehaviour