Re: [fricas-devel] Re: TEXmacs as interface
> 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 remember) but I've no clear recollection at the moment. I need to compare as well. On 01.07.2018 23:24, Bill Page wrote: > 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 and/or extensions? If so, it would be nice to get these > into the distribution. > > Thanks. > > Bill. > -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
Re: [fricas-devel] Re: TEXmacs as interface
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 and/or extensions? If so, it would be nice to get these into the distribution. Thanks. Bill. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
[fricas-devel] Re: TEXmacs as interface
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 work? kfp@nilqed:~$ fricas -texmacs FriCAS Computer Algebra System Version: FriCAS 1.3.3 Timestamp: Don Apr 12 19:26:08 CEST 2018 - Issue )copyright to view copyright notices. Issue )summary for a summary of useful system commands. Issue )quit to leave FriCAS and return to shell. - Value = # prompt#(2) -> )quit 3. In the file init-fricas.scm (folder: TeXmacs/plugins/fricas/progs/) find the routine (plugin-configure fricas (:require #t) (:launch "fricas -texmacs") (:session "Fricas") (:serializer ,fricas-serialize) (:scripts "Fricas")) and check the field :launch and :session. In :launch you may set the full path to fricas, although not necessary. If all these points are ok, then it should work ... BTW: your TeXmacs versions is quite old. I've attached my config in a pdf, maybe it will help you to find the error. On Sunday, 1 July 2018 16:26:35 UTC+2, Slawomir Kolodynski wrote: > > 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 > Fricas plugin is installed because I can see Fricas as one of the options > to select from the Texmacs Insert --> Session menu. However, when I select > Fricas there I get "Busy" then "Dead" indication from Texmacs. > Does Texmacs 1.0.7.18 work with Fricas 1.3.3? If not, what is a version > combination that is known to work? Should I configure Texmacs somehow to > point to the location of fricas binaries? How would I do that? > > Thanks, > > Slawomir > -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout. tmfricas.pdf Description: Adobe PDF document
[fricas-devel] TEXmacs as interface
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 Fricas plugin is installed because I can see Fricas as one of the options to select from the Texmacs Insert --> Session menu. However, when I select Fricas there I get "Busy" then "Dead" indication from Texmacs. Does Texmacs 1.0.7.18 work with Fricas 1.3.3? If not, what is a version combination that is known to work? Should I configure Texmacs somehow to point to the location of fricas binaries? How would I do that? Thanks, Slawomir -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
Re: Re: Re: [fricas-devel] unique Value of Void
@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 indeed be quite useful. +1 (Maybe adding also something on None if this Type will still be around. Somewhere near section 2.6 might be a good place.) @ Waldek The command line is not representative of FriCAS language. OK, crystal clear. The pedagogical problem is that, maybe not to scare the reader, the FricasUG is somehow vague on the differences among interpreter and compiler. For instance note that the chapter 5 (which raised my questions) is titled "Introduction to the FriCAS Interactive Language", while it is presently more like an (incomplete) SPAD reference. riccardo -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
[fricas-devel] addition of ExtendedPolynomialReduction
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 FriCAS. What about the following? https://github.com/hemmecke/fricas/commit/1ea2f36f0a2bf8dd251cbb0fb6ab810b734d2c88.patch The new domain can be used like this. (1) -> Z ==> Integer (2) -> vl := [x,y,z] (2) [x, y, z] (3) -> E ==> DirectProduct(3, NNI) (4) -> P ==> GeneralDistributedMultivariatePolynomial(vl, Z, E) (5) -> G: List P := [x^5-x^4*y^3+2*z, y^4-z^3] 54 3 43 (5) [x - x y + 2 z, y - z ] (6) -> p: P := x^7 7 (6) x (7) -> z := reduce(p, G)$ExtendedPolynomialReduction(Z, E, P) (7) 4 6 2 3 2 4 [poly = - x y z + 2 x z + 2 x y z + 2 y z , 2 36 4 54 3 2 repr = [- x - x y - y , - x y - x y z + 2 y z], mult = - 1] (8) -> z.mult * p - (z.poly + z.repr.1 * G.1 + z.repr.2 * G.2) (8) 0 May I commit? Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.