Re: [fricas-devel] [PATCH] fix races in sman

2024-05-06 Thread Qian Yun
Does this error persist if you redo the build by cd src/doc; make clean; make book.pdf ? If it persists, can you examine tmp/ug07.spool to see if there's error related with the generation of this image. - Qian On 5/7/24 01:05, Ralf Hemmecke wrote: This time the following error shows. And

Re: [fricas-devel] typesetting issue with spadfunFrom

2024-05-06 Thread Ralf Hemmecke
I don't understand when I look on page 242 of https://fricas.github.io/book.pdf, then I see a red "write". I hope that \spadfunFrom can be turned into hyperlinks to fricas.github.io/api when we use pdflatex. Ralf On 5/6/24 14:29, Qian Yun wrote: In page 242 of book.pdf (from 1.3.10

Re: [fricas-devel] meaning of %

2024-05-06 Thread Ralf Hemmecke
The question is whether % refers to the value of the last line (A) or to the value of the last evaluated expression (B). Mathematica and Axiom use semantics (A), Maple uses (B). I expected (B), i.e. x3=102. Well, 'x2 := 2*%; x3 := 100+%;' is a single expression, so really no difference in this

Re: [fricas-devel] meaning of %

2024-05-06 Thread Waldek Hebisch
On Mon, May 06, 2024 at 09:24:41PM +0200, Ralf Hemmecke wrote: > On 5/6/24 20:29, Waldek Hebisch wrote: > > On Mon, May 06, 2024 at 07:33:13PM +0200, Ralf Hemmecke wrote: > > > Who can guess what the output of (3) will be just from Section 1.3.2 of > > > the > > > Book? > > > > > > %%% (1) -> x1

Re: [fricas-devel] meaning of %

2024-05-06 Thread Ralf Hemmecke
On 5/6/24 20:29, Waldek Hebisch wrote: On Mon, May 06, 2024 at 07:33:13PM +0200, Ralf Hemmecke wrote: Who can guess what the output of (3) will be just from Section 1.3.2 of the Book? %%% (1) -> x1 := 1 (1) 1 Type: PositiveInteger %%% (2) -> x2 :=

Re: [fricas-devel] meaning of %

2024-05-06 Thread Waldek Hebisch
On Mon, May 06, 2024 at 07:33:13PM +0200, Ralf Hemmecke wrote: > Who can guess what the output of (3) will be just from Section 1.3.2 of the > Book? > > %%% (1) -> x1 := 1 > >(1) 1 >Type: PositiveInteger > %%% (2) -> x2 := 2*%; x3 := 100+%; > >

[fricas-devel] meaning of %

2024-05-06 Thread Ralf Hemmecke
Who can guess what the output of (3) will be just from Section 1.3.2 of the Book? %%% (1) -> x1 := 1 (1) 1 Type: PositiveInteger %%% (2) -> x2 := 2*%; x3 := 100+%; Type: PositiveInteger %%% (3) -> [x1,x2,x3]

[fricas-devel] Partial fractions

2024-05-06 Thread Waldek Hebisch
I am now refactoring PartialFraction. One thing I noted is that PartialFraction is underspecified. First, simplest partial fraction decomposition uses prime-power denominators. However, partial fraction decomposition makes sense also with more general denominators, just one need to ensure that

Re: [fricas-devel] [PATCH] fix races in sman

2024-05-06 Thread Ralf Hemmecke
This time the following error shows. And indeed 23DColB.ps is nowhere to be found. Ralf LaTeX Warning: File `23DColB.ps' not found on input line 612. tmp/ug07.tex:612: LaTeX Error: File `23DColB.ps' not found. See the LaTeX manual or LaTeX Companion for explanation. Type

Re: [fricas-devel] Struggling with OutputForm

2024-05-06 Thread Waldek Hebisch
On Mon, May 06, 2024 at 06:04:12PM +0200, Grégory Vanuxem wrote: > No, it was just to be sure my string is good for Lisp. There is something fishy in your string, so you need to look at it. PRINC is not good for this, as it hides special characters. PRIN1 or maybe our PRETTYPRINT is better. If

Re: [fricas-devel] [PATCH] fix races in sman

2024-05-06 Thread Waldek Hebisch
On Mon, May 06, 2024 at 07:40:56PM +0800, Qian Yun wrote: > I have not met the races in graphics, but Ralf, Waldek and > I have all met the races in sman: > > Namely, when building the book, sometimes there's a few lines > missing at the beginning or at the end of the tex file. > The tex file

Re: [fricas-devel] Struggling with OutputForm

2024-05-06 Thread Grégory Vanuxem
No, it was just to be sure my string is good for Lisp. Right now, the output with 'message': (3) -> b (3) 4×4 Matrix{BigFloat}: 0.371081 0.814431 0.0635363 0.0915533 0.545815 0.0246686 0.1221 0.182735 0.0559515 0.0243745 0.879007 0.17473 0. 232553 0.467648

Re: [fricas-devel] Struggling with OutputForm

2024-05-06 Thread Waldek Hebisch
On Mon, May 06, 2024 at 05:22:06PM +0200, Grégory Vanuxem wrote: > Hello, > > I am struggling with OutputForm and frankly I do not want to be angry > today. Maybe you have used it, even not a lot? My question is very > simple, how do I prevent OutputForm processing, or how to bypass > interpreter

[fricas-devel] Re: Struggling with OutputForm

2024-05-06 Thread Grégory Vanuxem
Hmmm, format character not taken into account probably. Any ways to prevent this from happening? Le lun. 6 mai 2024 à 17:22, Grégory Vanuxem a écrit : > Hello, > > I am struggling with OutputForm and frankly I do not want to be angry > today. Maybe you have used it, even not a lot? My question

[fricas-devel] Re: Struggling with OutputForm

2024-05-06 Thread Grégory Vanuxem
my apologies, in my second email this is normal, 80 characters line cut. Le lun. 6 mai 2024 à 17:26, Grégory Vanuxem a écrit : > More annoying, but I think the same thing happens: > > (5) -> b:=map(i+->urand01()$NRF, identity(4)$JMATRIX(NRF)) > > [ [0.08095937254988335972 +/- 7.02e-21]

[fricas-devel] Re: Struggling with OutputForm

2024-05-06 Thread Grégory Vanuxem
More annoying, but I think the same thing happens: (5) -> b:=map(i+->urand01()$NRF, identity(4)$JMATRIX(NRF)) [ [0.08095937254988335972 +/- 7.02e-21] [0.2345828897471085242 +/- 5.80e-20] [0.5584622135853180910 +/- 5.96e-20] [0.7871423800748826430 +/- 6.86e-20]] [ [0.2093853294960894650

[fricas-devel] Struggling with OutputForm

2024-05-06 Thread Grégory Vanuxem
Hello, I am struggling with OutputForm and frankly I do not want to be angry today. Maybe you have used it, even not a lot? My question is very simple, how do I prevent OutputForm processing, or how to bypass interpreter rules, just in case the interpreter has its own rules also, from memory I

[fricas-devel] typesetting issue with spadfunFrom

2024-05-06 Thread Qian Yun
In page 242 of book.pdf (from 1.3.10 release), the "write" under item "viewWriteDefault" is not correctly colored: only a quote is colored as red. The definition from fricas.sty is: \NewDocumentCommand{\spadfunFrom}{v v}{\spadfun`#1`} Looks like the "`" is colored here. But this doesn't

Re: [fricas-devel] [PATCH] fix races in sman

2024-05-06 Thread Ralf Hemmecke
Qian, I can only test later, but your analysis sounds reasonable. And since thise milliseconds would be added for the book only, your patch would only affect the building of the book. I think that would be acceptable. I come back after testing. Thanks Ralf -- You received this message

[fricas-devel] [PATCH] fix races in sman

2024-05-06 Thread Qian Yun
I have not met the races in graphics, but Ralf, Waldek and I have all met the races in sman: Namely, when building the book, sometimes there's a few lines missing at the beginning or at the end of the tex file. The tex file comes from spool file, which is the piped output of "fricas" script.

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

2024-05-06 Thread Qian Yun
On 5/6/24 13:35, Grégory Vanuxem wrote: Hello Qian, Le sam. 4 mai 2024 à 09:58, Qian Yun a écrit : 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