Good evening Tim, I will set up a github repository in the near future (in the next couple of months) and let you know when it is ready for any comments (including any negative) as there will be things I won't have seen.
On Fri, Nov 10, 2023 at 5:04 PM Tim Daly <axiom...@gmail.com> wrote: > Hill Strong writes: > "I have been investigating Maxima and Axiom/FriCAS and there are all sorts > of peculiar edge cases in each of these systems that arise from unspecified > language semantics. I am currently investigating a significant update > (alterations/changes) to the FriCAS language because of these > peculiarities. I suspect and have scheduled up to 5 years for the > redevelopment of FriCAS language and to have a fully specified denotational > semantics available. Now, I am doing this for my own purposes and it may > well be of zero interest to anyone else. But since I am effectively retired > and this is one of my interests and I have a longer term purpose for the > more general use of such a system, I shall proceed along this path and see > what results from it/" > > I'd be very interested in your sematics efforts. > > Tim Daly > > -- 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/CAEnaMTFmUORA9qtN1YMM_fVK8_pHygrnUxRF7guysUaF3zOAAA%40mail.gmail.com.
