In my professional opinion FRICAS is a fine project doing excellent work. I hope it continues to achieve its goals. I wish it only success.
> Thank you for making Axiom open source, otherwise it will remain > as a dead commercial product. Axiom was never intended to be a commercial product. It was a research project. Releasing it was forced on the project by IBM. The open source Axiom project goals were also research, not commercial. The target was "computational mathematics" not "computer algebra" as witnessed by, for example, the project goal of proofs. I mentioned the demise of Axiom on this list as it seemed like some might find it an interesting event if only for historical reasons. Tim On Wed, Feb 5, 2025 at 7:08 PM Qian Yun <oldk1...@gmail.com> wrote: > Hi Tim, > > Thank you for making Axiom open source, otherwise it will remain > as a dead commercial product. > > I've known Axiom for over a decade and contributed to FriCAS for > over nine years, it's a great project and it's been a fun journey > for me. > > I'm sorry to hear the status of Axiom repo and website. > I have a proposal to reduce the damage of this, and to > extend the heritage of Axiom: would you like to endorse > the FriCAS project? (I mean, could you write an email > about this, and I will link it to Axiom github issue page, > so that people noticing about Axiom can also notice about > FriCAS, after all, currently Axiom has more stars than > FriCAS on github.) > > Thank you Tim, again, for making Axiom open source, and > working on it for decades. > > - Best, > - Qian > > On 2/6/25 3:16 AM, Tim Daly wrote: > > Axiom is dead. The site got no traffic. I don't have github access > anymore > > due to Microsoft's multi-factor "protection". It was a good 24 years. > > > > It was fun while it lasted. The last effort was a new parallel > construction > > of "Category, Domain, Proof" which integrated LEAN proofs (e.g. about > > Abelians) > > as a separate, connected hierarchy, enabling proofs of algorithms like > > the GCD. > > That will never see the light of day. > > > > The real cause of death is my lack of management skills and > > objectionable personality. > > I thought the point of research software was to innovate, not polish. > > Nobody agreed. > > Adding proofs and being literate were too radical. Dick Jenks would have > > succeeded. > > > > My real frustration is that the several hundred people who contributed > > in large and > > small ways over many years don't seem to even get mentioned. Credit is > > so easy > > to share. Axiom would never have been re-created without effort from > > people like you. > > At least I personally say "Thank you, Camm." > > > > Tim > > > > > > > > > > On Wed, Feb 5, 2025 at 12:50 PM Camm Maguire <c...@maguirefamily.org > > <mailto:c...@maguirefamily.org>> wrote: > > > > Hi Tim! I hope this note finds you well! > > > > Just noticing that axiom-developer.org <http://axiom-developer.org> > > appears to be inaccessible. > > Github appears more recent. What is the best way to keep current > with > > axiom? > > > > Take care, > > -- > > Camm Maguire > > c...@maguirefamily.org <mailto:c...@maguirefamily.org> > > > ========================================================================== > > "The earth is but one country, and mankind its citizens." -- > > Baha'u'llah > > > > -- > > 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 <mailto:fricas- > > devel+unsubscr...@googlegroups.com>. > > To view this discussion visit https://groups.google.com/d/msgid/fricas- > > devel/CAJn5L%3D%2BA_D-2eaCSg22ZZfsfz3omdpP%2B%3Du- > > s3XNqRiDwd3vbNQ%40mail.gmail.com <https://groups.google.com/d/msgid/ > > fricas-devel/CAJn5L%3D%2BA_D-2eaCSg22ZZfsfz3omdpP%2B%3Du- > > s3XNqRiDwd3vbNQ%40mail.gmail.com?utm_medium=email&utm_source=footer>. > > -- 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 visit https://groups.google.com/d/msgid/fricas-devel/CAJn5L%3D%2B5A8DOT1G_PP%2B9WnQoVDpt3sVH39cT-Xay1-B_kqJUfw%40mail.gmail.com.
