Assumptions:
TeX:
\operatorname{sinc}(z) = \sum_{n=0}^{\infty} \frac{{\left(-1\right)}^{n} {z}^{2 n}}{\left(2 n + 1\right)!} z \in \mathbb{C}
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
Sinc | Sinc function | |
Sum | Sum | |
Pow | Power | |
Factorial | Factorial | |
Infinity | Positive infinity | |
CC | Complex numbers |
Source code for this entry:
Entry(ID("4f9844"), Formula(Equal(Sinc(z), Sum(Div(Mul(Pow(-1, n), Pow(z, Mul(2, n))), Factorial(Add(Mul(2, n), 1))), For(n, 0, Infinity)))), Variables(z), Assumptions(Element(z, CC)))