toysolver-0.8.1: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
Copyright(c) Masahiro Sakai 2020
LicenseBSD-style
Maintainermasahiro.sakai@gmail.com
Stabilityprovisional
Portabilitynon-portable
Safe HaskellSafe-Inferred
LanguageHaskell2010

ToySolver.Data.Polynomial.Interpolation.Hermite

Description

Synopsis

Documentation

interpolate :: (Eq k, Fractional k) => [(k, [k])] -> UPolynomial k Source #

Compute a hermite Hermite interpolation from a list \([(x_0, [y_0, y'_0, \ldots y^{(m)}_0]), (x_1, [y_1, y'_1, \ldots y^{(m)}_1]), \ldots]\).