Refactoring in Chebyshev functions

[rwst]

While other orthogonal polynomial functions (as well as almost all other symbolic functions) are simply BuiltinFunctions or GinacFunctions this ticket suffers from the fact that the Cheby functions in Sage allow the algorithm keyword (by using a __call__ method in the superclass). The way such polymorphisms are resolved in other functions is by having the interface (the callable global function chebyshev_T()) dispatching on the keyword, especially because doctests involving all kind of Sage objects as function argument are expected to work eternally.

The goal of this ticket is to move the __call__ method out of the Function class (as well as other methods used as interface) into a separate interface class; to 2. make the remaining class inherit from BuiltinFunction and, 3., to remove the ChebyshevFunction superclass as it is then no longer used.

Component: symbolics

Author: Ralf Stephan

Branch/Commit: u/rws/24554 @ 957ce14

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

[rwst]

comment:2

The usage chebyshev_T(...algorithm='pari' silently uses normal evaluation because there is no _eval_pari_ member, so Pari was never supported.

[rwst]

comment:5

Also the usage chebyshev_T(...algorithm='maxima') used normal evaluation. Maxima returns a polynomial in (x-1) which probably is useful so I'm changing doctests. In a later step this could be renamed to a more descriptive name and computed by Sage.

[rwst]

comment:6

Also eval_formula() should become algorithm='hypergeometric'. The Maxima "algorithm" is variant of it, see https://en.wikipedia.org/wiki/Chebyshev_polynomials#Explicit_expressions

[rwst]

Branch: u/rws/remove___call_____usage_in_chebyshev_functions

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

23190a6	24554: refactor chebyshev_U
2582330	24554: remove ChebyshevFunction

[sagetrac-git]

Commit: 2582330

[rwst]

Author: Ralf Stephan

[rwst]

comment:10

Docs fail to build, doctest errors in three files:

• sage -t --long src/sage/rings/polynomial/polynomial_element.pyx # 6 doctests failed
• sage -t --long src/sage/rings/number_field/splitting_field.py # 2 doctests failed
• sage -t --long src/sage/graphs/bipartite_graph.py # 1 doctest failed

[rwst]

Changed branch from u/rws/remove___call_____usage_in_chebyshev_functions to u/rws/24554

[rwst]

New commits:

957ce14

24554: Refactoring in Chebyshev functions

[rwst]

Changed commit from 2582330 to 957ce14

[videlec]

comment:13

merge failure

[mkoeppe]

comment:15

Batch modifying tickets that will likely not be ready for 9.1, based on a review of the ticket title, branch/review status, and last modification date.

[mkoeppe]

comment:17

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.

[mkoeppe]

comment:18

Setting a new milestone for this ticket based on a cursory review.