Metaticket: priority symbolic functions implementations

[rwst]

This is a metaticket listing existing functions for which symbolic implementations are urgently needed because

• they exist in Sympy, Maxima, or Fricas symbolically, and might be returned as result
• they belong to the holonomic repertoire

special:

• Airy functions (#12455)
• Kummer confluent hypergeometric functions (#14896)
• spherical Bessel and Hankel functions (#15024)

combinatorial:

• Bell numbers
• Bernoulli numbers
• Catalan numbers (#22028)
• Fibonacci(n) (#22569), general Lucas(u,v)
• rising/falling/subfactorial (#19461)

polynomial (metaticket #16670):

• Legendre P,Q (#16813)
• Laguerre (#17151)
• GegenbauerC (#20475)
• HermiteH (#20475)
• JacobiP (#22326)

Also the Dirichlet Eta function (#22146) which however is not holonomic.

Component: symbolics

Issue created by migration from https://trac.sagemath.org/ticket/17454

[rwst]

Description changed:

--- 
+++ 
@@ -4,7 +4,6 @@

 special:
 * Airy functions (#12455)
-* elliptic modular j-function (#15354)
 * Kummer confluent hypergeometric functions (#14896)
 * spherical Bessel and Hankel functions (#15024)

[rwst]

Description changed:

--- 
+++ 
@@ -12,7 +12,7 @@
 * Bernoulli numbers
 * Catalan numbers
 * Fibonacci(n), general Lucas(u,v)
-* subfactorial
+* rising/falling/subfactorial

 polynomial (metaticket #16670):
 * Legendre P,Q (#16813)

[rwst]

Description changed:

--- 
+++ 
@@ -10,16 +10,16 @@
 combinatorial:
 * Bell numbers
 * Bernoulli numbers
-* Catalan numbers
-* Fibonacci(n), general Lucas(u,v)
-* rising/falling/subfactorial
+* Catalan numbers (#22028)
+* Fibonacci(n) (#22569), general Lucas(u,v)
+* rising/falling/subfactorial (#19461)

 polynomial (metaticket #16670):
 * Legendre P,Q (#16813)
 * Laguerre (#17151)
-* GegenbauerC
-* HermiteH
-* JacobiP
+* GegenbauerC (#20475)
+* HermiteH (#20475)
+* JacobiP (#22326)

-Also the Dirichlet Eta function which however is not holonomic.
+Also the Dirichlet Eta function (#22146) which however is not holonomic.