Re: [fricas-devel] Re: TEXmacs as interface

2018-07-01 Thread Kurt Pagani
> but haven't had a chance yet to > compare it to the one distributed with FriCAS Oh dear, you're right, I didn't think of that. @Slawomir: see the official version https://github.com/fricas/fricas/tree/master/contrib/texmacs @Bill I certainly added some stuff (a lot provided by you, as I

Re: [fricas-devel] Re: TEXmacs as interface

2018-07-01 Thread Bill Page
On Sun, Jul 1, 2018 at 4:55 PM, Kurt Pagani wrote: > ... > I've attached my config in a pdf, maybe it will help you to find the error. Kurt, I took a quick look at you config file but haven't had a chance yet to compare it to the one distributed with FriCAS. Have you made many improvements

[fricas-devel] Re: TEXmacs as interface

2018-07-01 Thread Kurt Pagani
Usually this works well. However, you should check the following items/prerequisites: 1. Where is the fricas plugin installed? (should be either local or global but not both) In ~/.TeXmacs/plugins/fricas/progs/ or globally, e.g. /usr/local/share/TeXmacs/plugins/ ? 2. Does $ fricas -texmacs

[fricas-devel] TEXmacs as interface

2018-07-01 Thread Slawomir Kolodynski
I am trying to use GNU TEXmacs as interface to Fricas. I have installed Fricas 1.3.3 by downloading the tar with binaries and the fricas script is on PATH so I can start fricas from shell by typing "fricas". I also have Texmacs 1.0.7.18 installed from Linux Mint repositories. I assume the

Re: Re: Re: [fricas-devel] unique Value of Void

2018-07-01 Thread Riccardo GUIDA
@Bill: If the else clause is missing but the if condition is false then the value of the if-then expression is the unique value of Void. +1 I think an important though somewhat less technical addition to the user guide concerning the meaning and use of the Void and Exit domains would

[fricas-devel] addition of ExtendedPolynomialReduction

2018-07-01 Thread Ralf Hemmecke
Hello, I'm currently preparing an article that involves Gröbner basis computation and then finding the representation of some polynomial in terms of that Gröbner basis. Doing this in FriCAS, is, of course, easy, but I was unable to find that such an extended reduction is already implemented in