Delete
Revise
# Jekejeke Prolog 1.2.1 (symbolic mathematic expressions)

Add## Comments

Jan Burse, Apr 26. 2017, 21:22

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 PlayDownload:Minlog Extension

Add

Delete
Revise
## Re: Jekejeke Prolog 1.2.1 (symbolic mathematic expressions)Jan Burse, Apr 28. 2017, 02:28 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 |

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