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