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 > -- 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/25fffc28-89d0-420c-b92e-988b9a5bff2en%40googlegroups.com.