What
Declare f :: ℝ → ℝ as an uninterpreted function with specified differentiation rules, commutativity, etc. Allow diff(f(g(x)), x) to produce f'(g(x)) * g'(x) symbolically without knowing f explicitly.
Applications
Symbolic manipulation of equations involving unknown functions, functional equations, physics (Lagrangian mechanics with generic potentials V(q)).
Notes
Alkahest's pool.func creates function applications but diff fails on unknown function heads.
Tracked from mathematical coverage gap analysis.
What
Declare
f :: ℝ → ℝas an uninterpreted function with specified differentiation rules, commutativity, etc. Allowdiff(f(g(x)), x)to producef'(g(x)) * g'(x)symbolically without knowingfexplicitly.Applications
Symbolic manipulation of equations involving unknown functions, functional equations, physics (Lagrangian mechanics with generic potentials
V(q)).Notes
Alkahest's
pool.funccreates function applications butdifffails on unknown function heads.Tracked from mathematical coverage gap analysis.