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/Zjvg29rv5gl0Fwn6%40fricas.org.