Integral -package:aeson-optics -package:optics-core -package:lens-aeson -is:module package:poly

integral :: (Eq a, Fractional a, Vector v a) => Poly v a -> Poly v a
poly Data.Poly
Compute an indefinite integral of the polynomial, setting the constant term to zero. 
>>> integral (3 * X^2 + 3) :: UPoly Double
1.0 * X^3 + 0.0 * X^2 + 3.0 * X + 0.0
integral :: (Fractional a, Vector v (Vector n Word, a)) => Finite n -> MultiPoly v n a -> MultiPoly v n a
poly Data.Poly.Multi
Compute an indefinite integral of the polynomial with respect to the i-th variable, setting the constant term to zero. 
>>> :set -XDataKinds

>>> integral 0 (3 * X^2 + 2 * Y) :: UMultiPoly 2 Double
1.0 * X^3 + 2.0 * X * Y

>>> integral 1 (3 * X^2 + 2 * Y) :: UMultiPoly 2 Double
3.0 * X^2 * Y + 1.0 * Y^2
integral :: (Field a, Vector v (Vector n Word, a)) => Finite n -> MultiPoly v n a -> MultiPoly v n a
poly Data.Poly.Multi.Semiring
Compute an indefinite integral of the polynomial with respect to the i-th variable, setting the constant term to zero. 
>>> :set -XDataKinds

>>> integral 0 (3 * X^2 + 2 * Y) :: UMultiPoly 2 Double
1.0 * X^3 + 2.0 * X * Y

>>> integral 1 (3 * X^2 + 2 * Y) :: UMultiPoly 2 Double
3.0 * X^2 * Y + 1.0 * Y^2
integral :: (Eq a, Field a, Vector v a) => Poly v a -> Poly v a
poly Data.Poly.Semiring
Compute an indefinite integral of the polynomial, setting the constant term to zero. 
>>> integral (3 * X^2 + 3) :: UPoly Double
1.0 * X^3 + 0.0 * X^2 + 3.0 * X + 0.0
integral :: (Fractional a, Vector v (Vector 1 Word, a)) => Poly v a -> Poly v a
poly Data.Poly.Sparse
Compute an indefinite integral of the polynomial, setting the constant term to zero. 
>>> integral (3 * X^2 + 3) :: UPoly Double
1.0 * X^3 + 3.0 * X
integral :: (Field a, Vector v (Vector 1 Word, a)) => Poly v a -> Poly v a
poly Data.Poly.Sparse.Semiring
Compute an indefinite integral of the polynomial, setting the constant term to zero. 
>>> integral (3 * X^2 + 3) :: UPoly Double
1.0 * X^3 + 3.0 * X