module Numeric.Interpolation.Private.Basis where

import Numeric.Interpolation.Private.Piece (sqr)

import qualified Data.List.Match as Match


hermite1Split :: [a] -> [b] -> [(b, b)]
hermite1Split xs = uncurry zip . Match.splitAt xs


parabolaDerivative ::
   (Fractional a) => (a,a) -> (a,a) -> (a,a) -> a -> (a,a)
parabolaDerivative (x0,y0) (x1,y1) (x2,y2) x =
   let l0 = (x-x1)*(x-x2)/((x0-x1)*(x0-x2))
       l1 = (x-x0)*(x-x2)/((x1-x0)*(x1-x2))
       l2 = (x-x0)*(x-x1)/((x2-x0)*(x2-x1))
       dl0 = (2*x-x1-x2)/((x0-x1)*(x0-x2))
       dl1 = (2*x-x0-x2)/((x1-x0)*(x1-x2))
       dl2 = (2*x-x0-x1)/((x2-x0)*(x2-x1))
   in  (y0*l0 + y1*l1 + y2*l2, y0*dl0 + y1*dl1 + y2*dl2)

parabolaBasisDerivativeLeft,
   parabolaBasisDerivativeCenter,
   parabolaBasisDerivativeRight ::
      (Fractional a) => a -> a -> a -> a
parabolaBasisDerivativeLeft   x0 x1 x2 = (x1-x2)/((x0-x1)*(x0-x2))
parabolaBasisDerivativeCenter x0 x1 x2 = 1/(x1-x0) + 1/(x1-x2)
parabolaBasisDerivativeRight  x0 x1 x2 = (x1-x0)/((x2-x0)*(x2-x1))

parabolaDerivativeCenterNode ::
   (Fractional a) => (a,a) -> (a,a) -> (a,a) -> a
parabolaDerivativeCenterNode (x0,y0) (x1,y1) (x2,y2) =
   y0 * parabolaBasisDerivativeLeft   x0 x1 x2 +
   y1 * parabolaBasisDerivativeCenter x0 x1 x2 +
   y2 * parabolaBasisDerivativeRight  x0 x1 x2


parabola2ndDerivativeCenterNode ::
   (Fractional a) => (a,a) -> (a,a) -> (a,a) -> (a,a) -> a
parabola2ndDerivativeCenterNode (xl,yl) (x0,y0) (x1,y1) (x2,y2) =
   let dy0 =
          yl * (x0-x1)/((xl-x0)*(xl-x1)) +
          y0 * (1/(x0-xl) + 1/(x0-x1)) +
          y1 * (x0-xl)/((x1-xl)*(x1-x0))
       dy1 =
          y0 * (x1-x2)/((x0-x1)*(x0-x2)) +
          y1 * (1/(x1-x0) + 1/(x1-x2)) +
          y2 * (x1-x0)/((x2-x0)*(x2-x1))
       d = (y1-y0)/(x1-x0)
       x = x0
   in  2*(dy0-d) / sqr (x0-x1) * (3*x-2*x1-x0) +
       2*(dy1-d) / sqr (x1-x0) * (3*x-2*x0-x1)