Fungrim home page

Fungrim entry: 9b7f05

P3 ⁣(z)=12(5z33z)P_{3}\!\left(z\right) = \frac{1}{2} \left(5 {z}^{3} - 3 z\right)
Assumptions:zCz \in \mathbb{C}
TeX:
P_{3}\!\left(z\right) = \frac{1}{2} \left(5 {z}^{3} - 3 z\right)

z \in \mathbb{C}
Definitions:
Fungrim symbol Notation Short description
LegendrePolynomialPn ⁣(z)P_{n}\!\left(z\right) Legendre polynomial
Powab{a}^{b} Power
CCC\mathbb{C} Complex numbers
Source code for this entry:
Entry(ID("9b7f05"),
    Formula(Equal(LegendrePolynomial(3, z), Mul(Div(1, 2), Sub(Mul(5, Pow(z, 3)), Mul(3, z))))),
    Variables(z),
    Assumptions(Element(z, CC)))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2019-09-22 15:43:45.410764 UTC