From: janburse@fastmail.fm   
      
   Dear All,   
      
   We have just uploaded the new release of Jekejeke Prolog. We have added   
   a 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!   
      
   Jan Burse, Apr 26. 2017   
   http://www.jekejeke.ch/   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)