Re: [fricas-devel] Re: Trace of FormalFraction

2024-05-08 Thread Tim Daly
I thought it might be my left over. Clearly I was wrong. I tried to be careful to keep my symbolic work off the master track. Axiom open source work was done in parallel with my CCNY research so I was doing both efforts at once. The domain name sounded like a name I might have created. My

Re: [fricas-devel] Re: Trace of FormalFraction

2024-05-08 Thread Waldek Hebisch
On Wed, May 08, 2024 at 01:04:04PM -0700, Tim Daly wrote: > This might be left over from research I did at City College of New York. > I worked on "symbolic integers", that is, allowing Axiom to create and > use "an integer" without specifying which one. The first intended use was > to support

[fricas-devel] Re: Trace of FormalFraction

2024-05-08 Thread Tim Daly
This might be left over from research I did at City College of New York. I worked on "symbolic integers", that is, allowing Axiom to create and use "an integer" without specifying which one. The first intended use was to support symbolic interval arithmetic. More broadly this was an effort to

[fricas-devel] [PATCH] build book with pdflatex

2024-05-08 Thread Qian Yun
I've updated https://github.com/oldk1331/fricas/commits/new-ps-book/ to https://github.com/oldk1331/fricas/commit/d88925e40c7aa14c776d7b2c99d1fc8483a57d27 This enables build of the book with pdflatex. Together with previous commit "build with ps image", these two commits removes almost 113K

Re: [fricas-devel] obsolete hyperdoc buttons in chapter 14?

2024-05-08 Thread Waldek Hebisch
On Wed, May 08, 2024 at 06:13:55PM +0800, Qian Yun wrote: > For the reference book built with 1.3.10 release, > I believe the following 3 buttons are no longer available: > > "Related operations" Figure 14.14 (page 874) > > "generalize" Figure 14.19 (page 883) > > "all domains" Figure 14.20

Re: [fricas-devel] typesetting issue with spadfunFrom

2024-05-08 Thread Waldek Hebisch
On Wed, May 08, 2024 at 09:47:10AM +0200, Ralf Hemmecke wrote: > On 5/8/24 03:10, Waldek Hebisch wrote: > > I see, you are right, the one in "viewWriteAvailable" is wrong. > > AFAICS '\spadfunFrom' does not work inside 'description' environment. > > There are 3 other uses like this, in ug07.tex

[fricas-devel] obsolete hyperdoc buttons in chapter 14?

2024-05-08 Thread Qian Yun
For the reference book built with 1.3.10 release, I believe the following 3 buttons are no longer available: "Related operations" Figure 14.14 (page 874) "generalize" Figure 14.19 (page 883) "all domains" Figure 14.20 (page 883) - Qian -- You received this message because you are subscribed

Re: [fricas-devel] typesetting issue with spadfunFrom

2024-05-08 Thread Ralf Hemmecke
On 5/8/24 03:10, Waldek Hebisch wrote: I see, you are right, the one in "viewWriteAvailable" is wrong. AFAICS '\spadfunFrom' does not work inside 'description' environment. There are 3 other uses like this, in ug07.tex inside section 'Operations for Three-Dimensional Graphics'. Yep. What have