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)))