Assumptions:
TeX:
P_{5}\!\left(z\right) = \frac{1}{8} \left(63 {z}^{5} - 70 {z}^{3} + 15 z\right)
z \in \mathbb{C}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| LegendrePolynomial | Legendre polynomial | |
| Pow | Power | |
| CC | Complex numbers |
Source code for this entry:
Entry(ID("13f971"),
Formula(Equal(LegendrePolynomial(5, z), Mul(Div(1, 8), Add(Sub(Mul(63, Pow(z, 5)), Mul(70, Pow(z, 3))), Mul(15, z))))),
Variables(z),
Assumptions(Element(z, CC)))