ajpastor/diff_defined_functions.git
6 years agoFixed a typo in ddExamples.py
Antonio Jimenez Pastor [Wed, 19 Sep 2018 08:00:20 +0000 (10:00 +0200)]
Fixed a typo in ddExamples.py

6 years agoFinished the documentation of file ddExamples.py
Antonio Jimenez Pastor [Fri, 14 Sep 2018 12:49:25 +0000 (14:49 +0200)]
Finished the documentation of file ddExamples.py

6 years agoUpdated some examples to allow parameters as input, not only in the arguments
Antonio Jimenez Pastor [Thu, 13 Sep 2018 16:09:17 +0000 (18:09 +0200)]
Updated some examples to allow parameters as input, not only in the arguments
of the functions, but also in the initial values.

Add more documentation.

6 years agoImproved the implementation of the LegendreD function: now more type of
Antonio Jimenez Pastor [Wed, 12 Sep 2018 14:55:07 +0000 (16:55 +0200)]
Improved the implementation of the LegendreD function: now more type of
Legendre associated functions are allowed.

Started documentation of Chebyshev polynomials.

6 years agoFixed small errors in ddFunction.py
Antonio Jimenez Pastor [Tue, 11 Sep 2018 15:24:39 +0000 (17:24 +0200)]
Fixed small errors in ddFunction.py

Added all the examples from DLMF website.

Started adding the documentation for all the examples.

6 years agoUpdated the algorithm diff_to_diffalg to allow parameters in the
Antonio Jimenez Pastor [Wed, 5 Sep 2018 09:25:01 +0000 (11:25 +0200)]
Updated the algorithm diff_to_diffalg to allow parameters in the
DDRings.

6 years agoAdded example with Hill equation
Antonio Jimenez Pastor [Tue, 4 Sep 2018 14:36:11 +0000 (16:36 +0200)]
Added example with Hill equation

Modified the Hypergeometric example to allow parameters

6 years agoUpdated the Struve example
Antonio Jimenez Pastor [Mon, 3 Sep 2018 13:56:34 +0000 (15:56 +0200)]
Updated the Struve example
Started the example of Legendre elliptic integrals

6 years agoAdded more examples of D-finite functions.
Antonio Jimenez Pastor [Thu, 30 Aug 2018 13:39:48 +0000 (15:39 +0200)]
Added more examples of D-finite functions.

Added Airy functions and ParabolicCylindric Functions

6 years agoFirst test with D3Finite functions.
Antonio Jimenez Pastor [Wed, 29 Aug 2018 17:31:35 +0000 (19:31 +0200)]
First test with D3Finite functions.

6 years agoAdded algorithm for DiffAlgOver(k) --> DiffAlgOver(k-1)
Antonio Jimenez Pastor [Tue, 28 Aug 2018 17:14:05 +0000 (19:14 +0200)]
Added algorithm for DiffAlgOver(k) --> DiffAlgOver(k-1)

6 years agoAdded the file with the D^k --> DA functions.
Antonio Jimenez Pastor [Mon, 27 Aug 2018 14:49:06 +0000 (16:49 +0200)]
Added the file with the D^k --> DA functions.

Modified the ddFunction file in order to compile properly.

6 years agoAdded a .gitignore so no .pyc file is tracked.
Antonio Jimenez Pastor [Tue, 3 Jul 2018 09:18:29 +0000 (11:18 +0200)]
Added a .gitignore so no .pyc file is tracked.

Small changes in fles ddFunction.py and matrix.py

6 years agoThe initial values for the polynomial computation is finished.
Antonio Jimenez Pastor [Mon, 25 Jun 2018 18:39:43 +0000 (20:39 +0200)]
The initial values for the polynomial computation is finished.

It is based in a recursive structure using the generalized Leibniz rule
for decomposing the products in the monomials, and Bruno di Faa's formula
for the power of variables.

6 years agoModified the method to decide parents for the example functions
Antonio Jimenez Pastor [Mon, 25 Jun 2018 14:58:57 +0000 (16:58 +0200)]
Modified the method to decide parents for the example functions

Started to add the method to compute polynomials directly (Not finished)

6 years agoDeleted a print line in the method random_element in the class DDRing
Antonio Jimenez Pastor [Tue, 19 Jun 2018 10:20:23 +0000 (12:20 +0200)]
Deleted a print line in the method random_element in the class DDRing

6 years agoFixed error in method random_element in class DDRing
Antonio Jimenez Pastor [Tue, 19 Jun 2018 09:53:29 +0000 (11:53 +0200)]
Fixed error in method random_element in class DDRing

6 years agoAdded the method random_element to the class ddRing
Antonio Jimenez Pastor [Tue, 19 Jun 2018 09:36:31 +0000 (11:36 +0200)]
Added the method random_element to the class ddRing

6 years agoRevert "Added the method random_element to the class DDRing"
Antonio Jimenez Pastor [Tue, 19 Jun 2018 09:29:26 +0000 (11:29 +0200)]
Revert "Added the method random_element to the class DDRing"

This reverts commit ac3682813da3e9400fd19d5e13d2d6ca2e7d557b.

6 years agoAdded the method random_element to the class DDRing
Antonio Jimenez Pastor [Tue, 19 Jun 2018 09:24:34 +0000 (11:24 +0200)]
Added the method random_element to the class DDRing

6 years agoAdapted files of package misc to Python.
Antonio Jimenez Pastor [Mon, 18 Jun 2018 14:44:38 +0000 (16:44 +0200)]
Adapted files of package misc to Python.

Other deprecated files (i.e., never used) were deleted.

Files adapted: bareiss.py, matrix.py, ring_w_sequence.py, verbose.py
Files deleted: euclidean.py, hermite.py, nullspace_wrapper.py,
storj_villard.py, timing.py

6 years agoFinal version after visit to Paris
Antonio Jimenez Pastor [Mon, 18 Jun 2018 07:59:25 +0000 (09:59 +0200)]
Final version after visit to Paris

6 years agoPerformance improvements
Antonio Jimenez Pastor [Wed, 13 Jun 2018 11:45:01 +0000 (13:45 +0200)]
Performance improvements

1 - The method for computing the root of the indicial polynomial now is cached.
This means that operators with the same indicial polynomial take less time to
compute their roots.
2 - Computing th roots of the indicial polynomial when there are parameters is done
using a modular approximation: we evaluate the parameters and when the polynomial
has the same degree we compute the roots of a univariate polynomial. That is a superset
of the roots we want, so we check and we keep those that were roots for the indicial polynomial.

Minor changes:
   matrix.py now use the method is_Matrix instead of sage.matrix.Matrix (deprecated in
SAGE: https://trac.sagemath.org/ticket/24096

6 years agoAdded the README file to the repository.
Antonio Jimenez Pastor [Thu, 19 Apr 2018 17:30:12 +0000 (19:30 +0200)]
Added the README file to the repository.

No changes within the code.

6 years agoAdded an heuristic zero testing for Lazy Elements.
Antonio Jimenez Pastor [Wed, 18 Apr 2018 10:44:38 +0000 (12:44 +0200)]
Added an heuristic zero testing for Lazy Elements.

Now, before going to the real value, it checks that the initial value of
the lazy element at zero is zero. Otherwise, the method is_zero
of the class _LazyElement returns directly False

6 years agoNew version of the packages.
Antonio Jimenez Pastor [Fri, 9 Mar 2018 14:03:55 +0000 (15:03 +0100)]
New version of the packages.

Now the class DDRing accepts algebraic extensions of QQ as
basic field. Also, this field is dinamicall computed assuming
that, if the base ring is a Polynomial Ring, the base field
is the same as the coefficients of the polynomials.

6 years agosome version
Antonio Jimenez Pastor [Thu, 8 Mar 2018 13:43:58 +0000 (14:43 +0100)]
some version

6 years agoSetting up the public repository for the SAGE implementation Differentially Definable...
Antonio Jimenez Pastor [Thu, 8 Mar 2018 10:39:24 +0000 (11:39 +0100)]
Setting up the public repository for the SAGE implementation Differentially Definable Functions.