| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
ToySolver.Data.Polynomial.Interpolation.Lagrange
Documentation
interpolate :: (Eq k, Fractional k) => [(k, k)] -> UPolynomial k Source
toysolver-0.1.0: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc
| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
ToySolver.Data.Polynomial.Interpolation.Lagrange
interpolate :: (Eq k, Fractional k) => [(k, k)] -> UPolynomial k Source