Trace of FormalFraction

[Grégory Vanuxem]

└─$ grep -r FormalFraction fricas/
fricas/src/algebra/exposed.lsp:  (|FormalFraction| . FORMAL)

- Greg

[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

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.

[Waldek Hebisch]

Hmm, FormalFraction was implemented in Aldor. Header said:

+++ Author: M.G. Richardson
+++ Date Created: 1996 Jan. 23


--
Waldek Hebisch

[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 memory isn't what it used to be. My apologies.