Delete  Revise 

Jekejeke Prolog 1.2.1 (symbolic mathematic expressions)

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 Play

Download:
Minlog Extension

Add 

Comments

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!