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.
