Differentially Definable functions on Sage

Differentially definable functions is a mathematical concept that allows to represent functions on the computer symbolically. Giving a field \(\mathbb{K}\), and the ring of formal power series \(\mathbb{K}[[x]]\), we can represent those power series that satisfy a linear differential equation.

This package allows Sage user to work with this representation and manipulate these functions. For further information, see the related bibliography:

• A computable extension for D-finite functions: DD-finite functions

• Algorithmic Arithmetics with DD-Finite Functions

• Some structural results on Dn-finite functions

To use this module, it is enough to import it with the following Sage line:

from ajpastor.dd_functions import *

From this site, you can explore all the documentation (which contains several examples of usage) for all the modules included in this package.

For a live demo (with no need of installation), access this link

List of Packages

• Package dd_functions
• Miscellaneous package (misc)

Indices and Tables

• Index

• Module Index

• Search Page