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 1-3*A+3*A^2-A^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/(1-A), 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: jekejeke-samples/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!