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 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 view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/5162e078-b901-4baf-00b4-b67151f5a821%40hemmecke.org.


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

worked perfectly for me - including command line editing with Greek characters.

I am running Linux Mint 18.3 on my desktop.

You might want to check the locale setting on your computer. I have

$ wspage@desktop:~$ locale
LANG=en_CA.UTF-8
LANGUAGE=en_CA:en
LC_CTYPE="en_CA.UTF-8"
LC_NUMERIC="en_CA.UTF-8"
LC_TIME="en_CA.UTF-8"
LC_COLLATE="en_CA.UTF-8"
LC_MONETARY="en_CA.UTF-8"
LC_MESSAGES="en_CA.UTF-8"
LC_PAPER="en_CA.UTF-8"
LC_NAME="en_CA.UTF-8"
LC_ADDRESS="en_CA.UTF-8"
LC_TELEPHONE="en_CA.UTF-8"
LC_MEASUREMENT="en_CA.UTF-8"
LC_IDENTIFICATION="en_CA.UTF-8"
LC_ALL=

You should probably have something similar regarding UTF-8 but
probably different language.

Bill.

On Thu, Oct 22, 2020 at 7:08 PM Kostas Oikonomou
 wrote:
>
> 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
> openServer result 0
> FriCAS Computer Algebra System
>  Version: FriCAS 1.3.6
> Timestamp: Sat Jul 11 03:10:07 UTC 2020
> -
> Issue )copyright to view copyright notices.
> Issue )summary for a summary of useful system commands.
> Issue )quit to leave FriCAS and return to shell.
> -
>
>
> (1) -> α
>Line   1: α
> .AB
>Error  A: Improper syntax.
>Error  B: The character #\PLUS-MINUS_SIGN is not an FriCAS character.
> 2 error(s) parsing
>
> (1) ->
>
> Bill, are you using 1.3.6?
>
> I also tried
>
> fricas -clefprog rlwrap
>
> but this never even prints out a prompt.
>
>  Kostas
>
> On 10/22/20 3:19 PM, Ralf Hemmecke wrote:
> > 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 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 editing.
> > But in the master branch is now the -rl option. If you have rlwrap
> > installed on your computer, then "fricas -rl" will choose readline
> > instead of clef and you have full editing features.
> >
> >> I am not sure if the TeXmacs interface already avoids using clef or not. If
> >> not then I think it should. I vaguely recall that it used to use the
> >> -nosman option which also implies -noclef and -noht. Sorry, I don't have
> >> TeXmacs installed on this desktop system any more or I would try it.
> > 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.
> >
> > https://github.com/fricas/fricas/blob/master/src/etc/fricas#L102
> >
> > Anyway, maybe replacing
> >
> > if [ "$*" = "-texmacs" ] ; then
> >  exec "$FRICAS/bin/FRICASsys" -- -eval "$algebra_off" -eval
> > "$markers" -eval "$texmacs_on"
> > fi
> >
> > by
> >
> > if [ "$*" = "-texmacs" ] ; then
> >  exec "rlwrap $FRICAS/bin/FRICASsys" -- -eval "$algebra_off" -eval
> > "$markers" -eval "$texmacs_on"
> > fi
> >
> > just works. (I haven't tested that!)
> >
> > 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 view this discussion on the web visit 
> https://groups.google.com/d/msgid/fricas-devel/7c3f7917-0c42-8b2c-9054-0e1f22948276%40gmail.com.

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/CAC6x94QTeNX%2B8FNBx7Ksi9cJAB%3DjhmUktqupWR0ywv9XV4bgFA%40mail.gmail.com.


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
openServer result 0
   FriCAS Computer Algebra System
    Version: FriCAS 1.3.6
   Timestamp: Sat Jul 11 03:10:07 UTC 2020
-
   Issue )copyright to view copyright notices.
   Issue )summary for a summary of useful system commands.
   Issue )quit to leave FriCAS and return to shell.
-


(1) -> α
  Line   1: α
   .AB
  Error  A: Improper syntax.
  Error  B: The character #\PLUS-MINUS_SIGN is not an FriCAS character.
   2 error(s) parsing

(1) ->

Bill, are you using 1.3.6?

I also tried

fricas -clefprog rlwrap

but this never even prints out a prompt.

                        Kostas

On 10/22/20 3:19 PM, Ralf Hemmecke wrote:

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 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 editing.

But in the master branch is now the -rl option. If you have rlwrap
installed on your computer, then "fricas -rl" will choose readline
instead of clef and you have full editing features.


I am not sure if the TeXmacs interface already avoids using clef or not. If
not then I think it should. I vaguely recall that it used to use the
-nosman option which also implies -noclef and -noht. Sorry, I don't have
TeXmacs installed on this desktop system any more or I would try it.

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.

https://github.com/fricas/fricas/blob/master/src/etc/fricas#L102

Anyway, maybe replacing

if [ "$*" = "-texmacs" ] ; then
 exec "$FRICAS/bin/FRICASsys" -- -eval "$algebra_off" -eval
"$markers" -eval "$texmacs_on"
fi

by

if [ "$*" = "-texmacs" ] ; then
 exec "rlwrap $FRICAS/bin/FRICASsys" -- -eval "$algebra_off" -eval
"$markers" -eval "$texmacs_on"
fi

just works. (I haven't tested that!)

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 view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/7c3f7917-0c42-8b2c-9054-0e1f22948276%40gmail.com.


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 that? Should have said that just calling wrapping
with rlwrap for running fricas in the console.

Sorry.

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 view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/7017d9ca-5c0f-0958-6a02-26c3e0edf830%40hemmecke.org.


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.

>
> https://github.com/fricas/fricas/blob/master/src/etc/fricas#L102
>
> Anyway, maybe replacing
>
> if [ "$*" = "-texmacs" ] ; then
> exec "$FRICAS/bin/FRICASsys" -- -eval "$algebra_off" -eval
> "$markers" -eval "$texmacs_on"
> fi
>
> by
>
> 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.

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/CAC6x94RiYdVRiWQH-0ewPQd-Lxm13CHCZugnB8SvEUajDNhsNA%40mail.gmail.com.


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 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 editing.

But in the master branch is now the -rl option. If you have rlwrap
installed on your computer, then "fricas -rl" will choose readline
instead of clef and you have full editing features.

> I am not sure if the TeXmacs interface already avoids using clef or not. If
> not then I think it should. I vaguely recall that it used to use the
> -nosman option which also implies -noclef and -noht. Sorry, I don't have
> TeXmacs installed on this desktop system any more or I would try it.

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.

https://github.com/fricas/fricas/blob/master/src/etc/fricas#L102

Anyway, maybe replacing

if [ "$*" = "-texmacs" ] ; then
exec "$FRICAS/bin/FRICASsys" -- -eval "$algebra_off" -eval
"$markers" -eval "$texmacs_on"
fi

by

if [ "$*" = "-texmacs" ] ; then
exec "rlwrap $FRICAS/bin/FRICASsys" -- -eval "$algebra_off" -eval
"$markers" -eval "$texmacs_on"
fi

just works. (I haven't tested that!)

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 view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/86160d68-1816-0b3b-b92b-9c52482b2bea%40hemmecke.org.


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 editing.

I am not sure if the TeXmacs interface already avoids using clef or not. If
not then I think it should. I vaguely recall that it used to use the
-nosman option which also implies -noclef and -noht. Sorry, I don't have
TeXmacs installed on this desktop system any more or I would try it.


On Thu, Oct 22, 2020 at 12:14 PM Kostas Oikonomou <
kostas.oikonomo...@gmail.com> wrote:

> 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 α
>  Type:
> Polynomial(Integer)
> (3) -αα
>
> (3)  α
> Type:
> Variable(α)
>
>
>  Kostas
>
> On 10/22/20 11:02 AM, Ralf Hemmecke wrote:
> > 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
> >Type: Void
> > (8) ->f(α))
> > Compiling function f with type Variable(α) -> Polynomial(Integer)
> >
> > 2
> > (8)  c α
> >Type: Polynomial(Integer)
> >
> > So there is somehow a problem with printing unicode characters, but on
> > the INPUT not OUTPUT line. Still strange, but I don't yet know where the
> > input is REPRINTED.
> >
> > Ralf
> >
> > PS: Oh I am working with
> >
> > (9) -> )version
> >
> > Value = "FriCAS 99b0ed3ba53afbba57169283e803b2009020047d compiled at Sun
> > Oct  4 17:43:38 CEST 2020"
> >
> > So maybe your problem appears in 1.3.6, but not in the current master
> > branch.
> >
> > 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 view this discussion on the web visit
> https://groups.google.com/d/msgid/fricas-devel/7a67572d-fe20-4fd1-c15a-50ac605f7e11%40gmail.com
> .
>

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/CAC6x94R%3DFSmtf5FgZDsi7wo%3DahP%3DBj5wq6j%3D3y1npyhAt%3DaP6Q%40mail.gmail.com.


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 α
    Type: 
Polynomial(Integer)

(3) -αα

   (3)  α
   Type: 
Variable(α)



                            Kostas

On 10/22/20 11:02 AM, Ralf Hemmecke wrote:

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
   Type: Void
(8) ->f(α))
Compiling function f with type Variable(α) -> Polynomial(Integer)

2
(8)  c α
   Type: Polynomial(Integer)

So there is somehow a problem with printing unicode characters, but on
the INPUT not OUTPUT line. Still strange, but I don't yet know where the
input is REPRINTED.

Ralf

PS: Oh I am working with

(9) -> )version

Value = "FriCAS 99b0ed3ba53afbba57169283e803b2009020047d compiled at Sun
Oct  4 17:43:38 CEST 2020"

So maybe your problem appears in 1.3.6, but not in the current master
branch.

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 view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/7a67572d-fe20-4fd1-c15a-50ac605f7e11%40gmail.com.


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
  Type: Void
(8) ->f(α))
   Compiling function f with type Variable(α) -> Polynomial(Integer)

   2
   (8)  c α
  Type: Polynomial(Integer)

So there is somehow a problem with printing unicode characters, but on
the INPUT not OUTPUT line. Still strange, but I don't yet know where the
input is REPRINTED.

Ralf

PS: Oh I am working with

(9) -> )version

Value = "FriCAS 99b0ed3ba53afbba57169283e803b2009020047d compiled at Sun
Oct  4 17:43:38 CEST 2020"

So maybe your problem appears in 1.3.6, but not in the current master
branch.

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 view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/a5906587-ec67-3bf4-5242-c4ddfc66fc92%40hemmecke.org.


[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"
spad-lib="/usr/local/lib/fricas/target/amd64-portbld-freebsd12.1/lib/libspad.so"
foreign routines found
openServer result 0
   FriCAS Computer Algebra System 
Version: FriCAS 1.3.6
   Timestamp: Sat Jul 11 03:10:07 UTC 2020
-
   Issue )copyright to view copyright notices.
   Issue )summary for a summary of useful system commands.
   Issue )quit to leave FriCAS and return to shell.
-
 

(1) -> f(x) == c*x^2
   Type: 
Void
(2) ->f(α))
  Line   1: f(α)
   .A.BC
  Error  A: Missing mate.
  Error  B: syntax error at top level
  Error  B: Possibly missing a ) 
  Error  C: The character #\PLUS-MINUS_SIGN is not an FriCAS character.
   4 error(s) parsing 


Note that the double right parentheses on line (2) are not a typing error 
by me, but are somehow 
echoed back by the system itself when I type 'f(α)'.

On Friday, October 16, 2020 at 5:58:06 PM UTC-4 Kostas Oikonomou wrote:

> Something that has to do with Greek symbols seems to have changed with 
> FriCAS 1.3.6 and TeXmacs.
> Please see the attached files: TeXmacs session "bug.tm" and the PDF 
> version "bug.pdf".
>
> Any help would be appreciated.
>
> Kostas
>

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/c26e734d-69c8-4c7b-abfc-4fc2f4c68537n%40googlegroups.com.