Re: [fricas-devel] FriCAS 1.3.6 problem with greek symbols (Was "problem with TeXmacs interface")

2020-10-22 Thread Ralf Hemmecke
> fricas -clefprog rlwrap That is not enough. See https://github.com/fricas/fricas/commit/6fb0bbadfe376c05cce3c9cdd98606259b1f1b05 and the two followup fixing commits. In particular the script fricas-readline is needed. Ralf -- You received this message because you are subscribed to the

Re: [fricas-devel] FriCAS 1.3.6 problem with greek symbols (Was "problem with TeXmacs interface")

2020-10-22 Thread Bill Page
I am now using fricas built from git master today (1) -> )version Value = "FriCAS 2020-04-23 compiled at Thu Oct 22 20:23:50 EDT 2020" I also tried fricas with the -rl option as suggested by Ralf. After installing the rlwrap program wspage@desktop:~$ rlwrap --version rlwrap 0.43 $ fricas -rl

Re: [fricas-devel] FriCAS 1.3.6 problem with greek symbols (Was "problem with TeXmacs interface")

2020-10-22 Thread Kostas Oikonomou
Thank you Bill and Ralph. Ok, I went back to 1.3.6.  But I still see a problem: $ fricas -noclef Checking for foreign routines FRICAS="/usr/local/lib/fricas/target/amd64-portbld-freebsd12.1" spad-lib="/usr/local/lib/fricas/target/amd64-portbld-freebsd12.1/lib/libspad.so" foreign routines found

Re: [fricas-devel] FriCAS 1.3.6 problem with greek symbols (Was "problem with TeXmacs interface")

2020-10-22 Thread Ralf Hemmecke
>> if [ "$*" = "-texmacs" ] ; then >> exec "rlwrap $FRICAS/bin/FRICASsys" -- -eval "$algebra_off" -eval >> "$markers" -eval "$texmacs_on" >> fi >> >> just works. (I haven't tested that!) > > I do not see why texmacs would require readline for the interface with fricas. True. Why did I do

Re: [fricas-devel] FriCAS 1.3.6 problem with greek symbols (Was "problem with TeXmacs interface")

2020-10-22 Thread Bill Page
On Thu, Oct 22, 2020 at 3:19 PM Ralf Hemmecke wrote: > > It doesn't use -nosman, but basically it does, because it calls > FRICASsys directly. But I am not sure whether that actually > means that it doesn't use clef. > In that case it definitely does not use clef. > >

Re: [fricas-devel] FriCAS 1.3.6 problem with greek symbols (Was "problem with TeXmacs interface")

2020-10-22 Thread Ralf Hemmecke
On 10/22/20 8:39 PM, Bill Page wrote: > Try starting fricas like this: > > $ fricas -noclef > > Doing this avoids the command line problem for me. Indeed. CLEF is the problem. Just edit your fricas script. Edit the one in your PATH if you do not want to recompile fricas. > "clef" is the old

Re: [fricas-devel] FriCAS 1.3.6 problem with greek symbols (Was "problem with TeXmacs interface")

2020-10-22 Thread Bill Page
Try starting fricas like this: $ fricas -noclef Doing this avoids the command line problem for me. "clef" is the old Axiom alternative to readline and is still used by default. Of course without clef (and without building FriCAS especially to support readline) you lose the usual command line

Re: [fricas-devel] FriCAS 1.3.6 problem with greek symbols (Was "problem with TeXmacs interface")

2020-10-22 Thread Kostas Oikonomou
Hi Ralf, Thanks for responding.  It may be that the master branch fixes (part) of the problem. Meanwhile I reverted to 1.3.5, which has this behavior: (1) -> f(x) == c*x^2 Type: Void (2) ->f(α))    Compiling function f with type Variable(α) -> Polynomial(Integer)   2    (2)  c α

Re: [fricas-devel] FriCAS 1.3.6 problem with greek symbols (Was "problem with TeXmacs interface")

2020-10-22 Thread Ralf Hemmecke
Hello Kostas, thanks for reporting. I simply typed one α and FriCAS is showing a double α on the input line. Strange. (3) ->αα (3) α Type: Variable(α) But I cannot confirm your second problem. (7) -> f(x)==c*x^2

[fricas-devel] FriCAS 1.3.6 problem with greek symbols (Was "problem with TeXmacs interface")

2020-10-22 Thread Kostas Oikonomou
I just found out that what I previously reported as a problem with the TeXmacs interface also occurs in "plain" FriCAS: $ fricas Checking for foreign routines FRICAS="/usr/local/lib/fricas/target/amd64-portbld-freebsd12.1"