Re: [fricas-devel] devaluate(Domain) at beginning of new domain in Spad

2024-05-04 Thread Grégory Vanuxem
As a matter of fact, use of FLINT in FriCAS: (16) -> p:=(2*x+2*x^5+13*x^9)::UP("x",INT) 9 5 (16) 13 x + 2 x + 2 x Type: UnivariatePolynomial(x,Integer) Time: 0 sec (17

Re: [fricas-devel] devaluate(Domain) at beginning of new domain in Spad

2024-05-04 Thread Qian Yun
On 5/4/24 15:30, Grégory Vanuxem wrote: As a matter of fact, use of FLINT in FriCAS: My experience with FLINT is that is uses dense representation for univariate polynomial. That representation makes it fast for multiplication (when polynomials are dense). But I think very spare polynomia

Re: [fricas-devel] [PATCH] generate book.pdf with PS image instead of bitmap image

2024-05-04 Thread Ralf Hemmecke
Qian, I just compiled your new-ps-book branch https://github.com/oldk1331/fricas/commit https://github.com/oldk1331/fricas/commit/e34fadc066ee34b4b6a56ceadfa3284934166999 It leave one process hanging and thus does not finish. I must investigate, but have no time now. Will try more as soon as p

[fricas-devel] bug in radicalSolve caused by 50f391bc

2024-05-04 Thread Qian Yun
I found this by accident, when comparing trunk book against 1.3.10 book. In section 8.5.3 (page 316), there were 6 solutions. (1) -> radicalSolve([3*x^3+y+1,y^2-4],[x,y]) (1) [[x = - 1, y = 2], [x = - 1, y = 2]] Git bisect points to 50f391bc. This raises the question that how can we

[fricas-devel] [PATCH] fix display issue of "output" in book section 6.19

2024-05-04 Thread Qian Yun
On 5/2/24 20:51, Ralf Hemmecke wrote: Another solution might be to add some ioHook to the "output" function. I haven't actually looked into that. I believe this is the correct path to go. The documentation of "output$OutputPackage" explicitly says this function displays its argument to ``a

Re: [fricas-devel] devaluate(Domain) at beginning of new domain in Spad

2024-05-04 Thread Waldek Hebisch
On Sat, May 04, 2024 at 06:43:42AM +0200, Grégory Vanuxem wrote: > Hello, > > I have found 'devaluate' in some Spad files and it can be handy. > But, this is not my question, sometimes using 'devaluate' breaks > completely the code after, it's still compilable but not executable. > Any ideas why?

Re: [fricas-devel] [PATCH] generate book.pdf with PS image instead of bitmap image

2024-05-04 Thread Qian Yun
That's probably caused by tmp/ug07.input. It doesn't hang here, but I do find that there are remaining processes like viewman and view3D. The problem is that there are multiple unclosed viewports. The following fixup patch should solve that: by adding 5 images to the book (section 7.1.9 and 7.1

Re: [fricas-devel] [PATCH] generate book.pdf with PS image instead of bitmap image

2024-05-04 Thread Ralf Hemmecke
So I think that "nullXtc" should not be removed. It is useful for the cases that we show the command into the book, but do not actually execute it. OK, then finally, there is a good semantics for \nullXtc. I'll document that later. When I started recreating the build procedure for the book, I ha

Re: [fricas-devel] bug in radicalSolve caused by 50f391bc

2024-05-04 Thread Ralf Hemmecke
First, thank you for taking care and finding this issue. When I recreated the book generation I also thought of this problem, but was too lazy to actually tackle it. There could be two solutions. I would prefer the second one. (a) For each command, add a testcase into the src/input directory.

Re: [fricas-devel] [PATCH] generate book.pdf with PS image instead of bitmap image

2024-05-04 Thread Qian Yun
On 5/4/24 22:01, Ralf Hemmecke wrote: Anyway, by building with -j1 I got your branch compiled with a view3D still running with 100% cpu usage after the build had successfully finished. I've never met this before. Looking at the book is a pleasure now. Qian, you really did a great job. So

Re: [fricas-devel] bug in radicalSolve caused by 50f391bc

2024-05-04 Thread Waldek Hebisch
On Sat, May 04, 2024 at 08:29:29PM +0800, Qian Yun wrote: > I found this by accident, when comparing trunk book against > 1.3.10 book. > > In section 8.5.3 (page 316), there were 6 solutions. > > (1) -> radicalSolve([3*x^3+y+1,y^2-4],[x,y]) > >(1) [[x = - 1, y = 2], [x = - 1, y = 2]] > > G

Re: [fricas-devel] [PATCH] generate book.pdf with PS image instead of bitmap image

2024-05-04 Thread Waldek Hebisch
On Sat, May 04, 2024 at 11:13:14PM +0800, Qian Yun wrote: > > On 5/4/24 22:01, Ralf Hemmecke wrote: > > > > Anyway, by building with -j1 I got your branch compiled with a view3D > > still running with 100% cpu usage after the build had successfully > > finished. > > I've never met this before.

Re: [fricas-devel] [PATCH] generate book.pdf with PS image instead of bitmap image

2024-05-04 Thread Grégory Vanuxem
Hi, I just built the book cloning the new-ps-book branch, very good job, thanks to all ! I regularly use to look at he book.pdf, the one downloadable from github.io but I gave it a try to build it, I hadn't built it for more than 10 years, so I did it with a newbie spirit in mind. ./configure &&

Re: [fricas-devel] devaluate(Domain) at beginning of new domain in Spad

2024-05-04 Thread Grégory Vanuxem
I didn't notice your email, I just saw it. Modified accordingly, that's better! Thanks. Le sam. 4 mai 2024 à 15:40, Waldek Hebisch a écrit : > > On Sat, May 04, 2024 at 06:43:42AM +0200, Grégory Vanuxem wrote: > > Hello, > > > > I have found 'devaluate' in some Spad files and it can be handy. >

Re: [fricas-devel] [PATCH] generate book.pdf with PS image instead of bitmap image

2024-05-04 Thread Grégory Vanuxem
Just a question, I used to prefer pdflatex over latex/dvips in the past (for links and other addons), and at the end of the book build I saw: ps2pdf book.ps Why are you not using pdflatex? Because of .ps image? Le sam. 4 mai 2024 à 20:04, Grégory Vanuxem a écrit : > > Hi, > > I just built the b

Re: [fricas-devel] [PATCH] generate book.pdf with PS image instead of bitmap image

2024-05-04 Thread Ralf Hemmecke
Why are you not using pdflatex? Because of .ps image? Initially, I had to use just latex. The pictures would not work nicely with pdflatex. pdflatex is the goal, Just wait a little. I also want to see hyperlinks. (In fact, I rather dream of the book in html format.) Ralf -- You received th

Re: [fricas-devel] [PATCH] generate book.pdf with PS image instead of bitmap image

2024-05-04 Thread Ralf Hemmecke
> After I tried > make book > make book.pdf > without success. But since _I_ know that to build html doc I need to > switch to src/doc, I switched to src/doc and issued again make book, Not only *you* know. It is even properly documented. ;-) http://fricas.github.io/install.html#build-extra-docum

Re: [fricas-devel] [PATCH] generate book.pdf with PS image instead of bitmap image

2024-05-04 Thread Ralf Hemmecke
Qian, you should also replace epsf by graphicx in src/doc/sphinx/source/install.rst. In fact, any traces of ImageMagick (Makefile.in and install.rst) should be remove. Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" grou