# 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:

Minlog Extension```

#### 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
```

#### 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!`