Jekejeke Prolog 1.2.1 (symbolic mathematic expressions)
Jan Burse, created Apr 26. 2017
Dear All,
We have just uploaded the new release of Jekejeke Prolog. We have added new packages for symbolic mathematic expressions.
 Polynomials:
To run the new packages either Jekejeke Minlog together with Jekejeke Runtime, or Jekejeke Minlog together with Jekejeke Development have to be installed. There is a single entry point for all the packages:
? use_module(library(groebner/generic)).
? X is (1+A)^3.
X is 13*A+3*A^2A^3
 Matrixes:
The polynomials are shortened via a GrÃ¶bner basis algorithm when they are part of a fraction. One can use them also inside matrixes. We already provided an experimental symbolic matrix inversion algorithm:
? X is [[1,1/A],[1,2/A]], Y is X^(1).
Y is [[2,1],[A,A]]
 Differentiation:
Fractional functions can be also automaticaly differentiated. At the moment we don't support some special functions or radicals. But since we also provided substitution, series development is already rudimentary supported:
? X is taylor(1/(1A), A, 5).
X is 1+A+A^2+A^3+A^4+A^5
Happy coding!
Android Appstores:
Google Play
Download:
Minlog Extension
Comments
Re: Jekejeke Prolog 1.2.1 (symbolic mathematic expressions)
Jan Burse, created Apr 28. 2017
You're welcome!
I got also a new test suite for the new packages
going, it is here on github:
jekejekesamples/jekmin/compfreq/
The test results and a coverage analysis were also done,
and can be viewed here:
Source Coverage

Re: Jekejeke Prolog 1.2.1 (symbolic mathematic expressions)
smaslov, created Apr 27. 2017
This is a very nice addition to the packages! Going to check it now. Keep up the good work!
