Re: [fricas-devel] X11 and graphics

2021-03-21 Thread Qian Yun
I never use the graphics interface, I rarely use "draw". I almost never use HyperDoc. In fact I always lanuch fricas with "-nox". I can find most information from terminal, if not, I'll go for source code. - Qian On 3/20/21 5:07 AM, Ralf Hemmecke wrote: Actually, I would be interested in a

Re: [fricas-devel] X11 and graphics

2021-03-19 Thread Ralf Hemmecke
Thank you Bil for this feedback. > HyperDoc: almost every time I use FriCAS. I do often wish > that the HyperDoc interface looked more up to date. On the > other hand I do not much like to have to work online with > http://fricas.github.io Maybe I would use it more if it was > bundled into the

Re: [fricas-devel] X11 and graphics

2021-03-19 Thread Bill Page
On Fri, Mar 19, 2021 at 5:07 PM Ralf Hemmecke wrote: > > Actually, I would be interested in a poll that asks how many of > our users ever use the graphics facilities of FriCAS. A similar > poll for the use of HyperDoc would also be fine. > Someone here on the list who would answer these

[fricas-devel] X11 and graphics

2021-03-19 Thread Ralf Hemmecke
On 19.03.21 19:20, Waldek Hebisch wrote: > We need some graphic environment. Yes and all you say about stability of X11 might be true, but you must admit that with the graphics system of FriCAS you cannot really impress somebody. If you think otherwise than produce some nice examples that we can