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 memory isn't what it used to be. My apologies. On Wednesday, May 8, 2024 at 4:30:22 PM UTC-4 Waldek Hebisch wrote: > 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 symbolic interval arithmetic. More broadly this was an effort > to > > create "symbolic objects" in general. I was working with Gilbert Baumslag > > on Infinite Group Theory support. The funding and the position ran out > > and I moved to CMU. > > > > On Sunday, May 5, 2024 at 6:29:23 PM UTC-4 g.va...@gmail.com wrote: > > > > > └─$ grep -r FormalFraction fricas/ > > > fricas/src/algebra/exposed.lsp: (|FormalFraction| . FORMAL) > > > > > > - Greg > > > > > Hmm, FormalFraction was implemented in Aldor. Header said: > > +++ Author: M.G. Richardson > +++ Date Created: 1996 Jan. 23 > > > -- > Waldek Hebisch > -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/309898d2-eed2-4baa-9a4b-508c9c50018fn%40googlegroups.com.