Re: [fricas-devel] FriCAS banner

2023-11-26 Thread Grégory Vanuxem
Happy to read you. Really. I was afraid of COVID. I am sensible, sorry.That's all. Le dim. 26 nov. 2023 à 02:32, Bill Page a écrit : > > Note that in English one would normally write: "built with" (past tense, > irregular) instead of "build with" > > On Sat, Nov 25, 2023, 5:34 PM Waldek

Re: [fricas-devel] FriCAS banner

2023-11-25 Thread Bill Page
Note that in English one would normally write: "built with" (past tense, irregular) instead of "build with" On Sat, Nov 25, 2023, 5:34 PM Waldek Hebisch, wrote: > I have now added detecte Lisp flavour and version to the > banner, like: > >Version: FriCAS 2023-06-17 build with sbcl

[fricas-devel] FriCAS banner

2023-11-25 Thread Waldek Hebisch
I have now added detecte Lisp flavour and version to the banner, like: Version: FriCAS 2023-06-17 build with sbcl 2.2.9.debian -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra

Re: [fricas-devel] FriCAS banner

2021-05-02 Thread Grégory Vanuxem
Le dim. 2 mai 2021 à 21:13, Waldek Hebisch a écrit : > > On Sun, May 02, 2021 at 01:13:18PM +0200, Gr??gory Vanuxem wrote: > > Hi here, Hi Waldek, > > > > Waldek, what do you think of allowing, via an user option in command > > line arguments > > say, '--no-banner', to suppress the banner at

Re: [fricas-devel] FriCAS banner

2021-05-02 Thread Waldek Hebisch
On Sun, May 02, 2021 at 01:13:18PM +0200, Gr??gory Vanuxem wrote: > Hi here, Hi Waldek, > > Waldek, what do you think of allowing, via an user option in command > line arguments > say, '--no-banner', to suppress the banner at startup to better > interface FriCAS to different frontends? Could be

Re: [fricas-devel] FriCAS banner

2021-05-02 Thread Grégory Vanuxem
Hi here, Hi Waldek, Waldek, what do you think of allowing, via an user option in command line arguments say, '--no-banner', to suppress the banner at startup to better interface FriCAS to different frontends? This could be done for example via the fricas script which sends to FRICASsys the

Re: [fricas-devel] FriCAS banner

2021-04-30 Thread Grégory Vanuxem
Le ven. 30 avr. 2021 à 18:51, Ralf Hemmecke a écrit : > > https://github.com/gvanuxem/fricas-vscode > > Oh... it seems that you are competing with Peter Broadbery's Intellij > plugin. We had little discussions with each other and his work is amazing. But there is a notable distinction.

Re: [fricas-devel] FriCAS banner

2021-04-30 Thread Ralf Hemmecke
> https://github.com/gvanuxem/fricas-vscode Oh... it seems that you are competing with Peter Broadbery's Intellij plugin. https://github.com/pbroadbery/aldor-idea-plugin/releases/tag/release-1.3 I appreciate very much that more and more stuff appears that is connected to FriCAS. As for the

Re: [fricas-devel] FriCAS banner

2021-04-30 Thread Grégory Vanuxem
I was busy (health) so here is my response. Le ven. 30 avr. 2021 à 16:47, Grégory Vanuxem a écrit : > Hello, > > https://github.com/gvanuxem/fricas-vscode > > Regards > > Le ven. 30 avr. 2021 à 16:06, Ralf Hemmecke a écrit : > > > > On 30.04.21 15:32, Grégory Vanuxem wrote: > > > A quick

Re: [fricas-devel] FriCAS banner

2021-04-30 Thread Grégory Vanuxem
Yes, exactly! Le ven. 30 avr. 2021 à 16:12, Dima Pasechnik a écrit : > > Imagine you just want the result of the computation by a fricas script. > > Then you'll want to suppress the banner. > > On Fri, 30 Apr 2021, 15:06 Ralf Hemmecke, wrote: >> >> On 30.04.21 15:32, Grégory Vanuxem wrote: >> >

Re: [fricas-devel] FriCAS banner

2021-04-30 Thread Grégory Vanuxem
Hello, https://github.com/gvanuxem/fricas-vscode Regards Le ven. 30 avr. 2021 à 16:06, Ralf Hemmecke a écrit : > > On 30.04.21 15:32, Grégory Vanuxem wrote: > > A quick question, is there a way to suppress the banner at startup? > > Looking at > >

Re: [fricas-devel] FriCAS banner

2021-04-30 Thread Dima Pasechnik
Imagine you just want the result of the computation by a fricas script. Then you'll want to suppress the banner. On Fri, 30 Apr 2021, 15:06 Ralf Hemmecke, wrote: > On 30.04.21 15:32, Grégory Vanuxem wrote: > > A quick question, is there a way to suppress the banner at startup? > > Looking at >

Re: [fricas-devel] FriCAS banner

2021-04-30 Thread Ralf Hemmecke
On 30.04.21 15:32, Grégory Vanuxem wrote: > A quick question, is there a way to suppress the banner at startup? Looking at https://github.com/fricas/fricas/blob/master/src/interp/util.lisp#L279 with my limited lisp knowledge tells me that you would have to convince (format t "Checking for

[fricas-devel] FriCAS banner

2021-04-30 Thread Grégory Vanuxem
Hi here, A quick question, is there a way to suppress the banner at startup? Regards, Greg -- 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