On Sat, Dec 21, 2024 at 6:48 PM Waldek Hebisch <de...@fricas.org> wrote: > > On Sat, Dec 21, 2024 at 07:47:06AM -0800, Ignat Insarov wrote: > > I am of one mind with Aravindh on this. > > > > The HyperDoc system looks very dated to me as well. I do not see myself > > using it. To make matters worse, when I ask it to solve an equation, it > > tries to launch `xterm`, which is not available on my system, and hangs. > > What does "not available" mean here? 'xterm' is standard component > of X11, available in all Linux distributions that I know about and > in many other systems. Current Linux distributions allow you choice > of installed packages and you may decide to not install xterm. > Or do you mean that you are not allowed to add system components > to system that you use?
In some case it does not make sense, or next to impossible, to properly install and use X11. If you run FriCAS on a remote server, you don't want to communicate via X11: it's a graphical connection, quite slow compared to text. In this sense, Jupyter (a Jupyter notebook where your FriCAS session runs) is much faster - its client, on your local machine, basically talks to the remote in the way the browser talks to a server. Similarly, if FriCAS runs in a local VM, it's the same issue: the VM might not have a good way to communicate via X11 to your host system. E.g. if your VM is a WSL on a Windows machine, you don't want to set up an X11 server on Windows; you'd rather communicate with Jupyter. Dima > > Anyway, FriCAS and HyperDoc depend on components in your system, > and simplest way to resolve such troubles is to install needed > components. > > > Annoyingly, HyperDoc pops up every time I restart my FriCAS Jupyter > > notebook. This is an annoyance that I wish I knew how to disable. > > Hmm, I can not comment on Jupyter, but on command line you can define > shell alias like: > > alias fricas='fricas -noht' > > Or edit 'fricas' shell script (possibly copying to a private > directory). If you edit systemwise 'fricas' then Jupyter > should use it. > > > I looked > > at Aravindh's patch but it seems to contain a lot of other changes so I am > > reluctant to apply it. I wish there was some way to configure FriCAS not to > > open HyperDoc at startup. > > "Entry point" to FriCAS is a shell script, one can edit it to get > different behaviour. > > > I think FriCAS would benefit from making it easier to integrate with > > Jupyter and other third party tools. This does not seem like a hard problem > > in principle, since all the pieces are already here. But having to > > customize the build instead of simply grabbing the binaries provided by my > > Linux distribution requires both effort and expertise, and all the rough > > edges make this option unattractive. A little polish would go a long way in > > making FriCAS more accessible and attractive. > > Well, we can not force Linux distributions to provide FriCAS packages. > AFAIK currently Gentoo has an sbcl-based packege, but it probably does > not contain parts needed to use Jupyter. There is Debian package, > but this one is based on gcl and can not work with Jupyter. > > If you fetch FriCAS binary, recent binaries have needed support included. > You still need extra parts, but there is no need to rebuild FriCAS. > > You apparently had trouble with 'hsbcl-1.3.9.tar', but that is an easy > way if you want to build from source. > > -- > Waldek Hebisch > > -- > 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 visit > https://groups.google.com/d/msgid/fricas-devel/Z2dhv1U3M8qMY9GQ%40fricas.org. -- 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 visit https://groups.google.com/d/msgid/fricas-devel/CAAWYfq0e94Avsc279bVZa4BEr-WwPTNSwrqVG_bwRtWuSJUK9g%40mail.gmail.com.
