On Tue, May 26, 2026 at 6:26 PM Qian Yun <[email protected]> wrote: > > On 5/26/26 10:18 PM, Tim Daly wrote: > > > > It would be interesting to know what are the Fricas long term goals. > > If you raise your eyes to the horizon, where are you going? Why? > > > The README lists: > > - continue structural improvements > > (remove dead code, simplify code structure when possible) > > - add new mathematical algorithms > > (this goal will never be finished) > > - develop better user interface > > (needs better CLI, emacs interface, native GUI, web UI) > > - develop improved Spad compiler > > (hopefully Spad compiler is bootstrapped by Spad) > > - make it easier for external programs to interface with FriCAS > > (especially sagemath. The call-lisp-from-c interface seems brittle.) SageMath doesn't do call-lisp-from-c in the case of fricas (it uses pexpect, that's sockets/pipes, more or less), and that's actually what makes it more brittle than SageMath's main interface with maxima, which is call-lisp-from-c.
For the latter, fricas needs to be packaged as ecl .fas file, to be loaded by ecl, among with other things on our side. Dima > > - support for using external mathematical routines from Spad > > (e.g. flint.) > > > From my side, goals/dreams: > > fricas has fixed around 1000 bugs, maybe another few thousands > left to fix. > > Some structural changes to avoid unsoundness. > > Implement the missing pieces of Risch algorithm. > > Once Spad compiler is bootstrapped, add backends to target > other languages. > > Higher performance, multi-threading, SIMD, GPU even. > > Make the architecture modular: core + extensions. > So that it is easier to understand, both by humans and AI. > > - Qian > > -- > 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 [email protected]. > To view this discussion visit > https://groups.google.com/d/msgid/fricas-devel/4a60e5b6-9655-415c-8bd9-ce43fd0755a7%40gmail.com. -- 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 [email protected]. To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/CAAWYfq1pD-xzukDvcw%3D5FME5071UQi1SJUP6yWF60rmKO52q-Q%40mail.gmail.com.
