[Axiom-developer] [#223 Legendre Polynomials] Legendre example

[billpage]

Changes http://wiki.axiom-developer.org/223LegendrePolynomials/diff
--
Axiom book page 720:

\begin{axiom}
L n ==
  n = 0 => 1
  n = 1 => x
  (2*n-1)/n * x * L(n-1) - (n-1)/n * L(n-2)
\end{axiom}
\begin{axiom}
dx := operator("D") :: OP(POLY FRAC INT)
evaluate(dx, p +-> D(p, ’x))
E n == (1 - x**2) * dx**2 - 2 * x * dx + n*(n+1)
\end{axiom}
\begin{axiom}
L 15
E 15
(E 15)(L 15)
\end{axiom}


--
forwarded from http://wiki.axiom-developer.org/address@hidden