I thought I can just set certain character encoding in gnome terminal
(or other terminal emulator) to have this. But what encoding does "IBM
extended ASCII character set" stand for? I've checked it's not IBM850.
That was a special extended character set only available on particular
IBM workstations. Maybe the developers could set these charactes now to
their equivalents in UTF-8. Maybe Waldek (with all his recent work on
unicode) can enable that.
I've already tried TeXmacs and efricas and I'm not sure which one I
will use. And console interface still seems to be quite powerful in
some cases.
I've had the Sage-Notebook working for me, but I haven't worked on it
for some while and don't know whether it's still working.
If you know someone who as some python knowledge and can properly adjust
the sage-notebook for fricas, that would be great.
My work is at: https://github.com/hemmecke/fricas-notebook
But this I never used to run fricas inside. I had just the original
sage-notebook tweaked a bit for fricas.
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
