Hi Dima, About the FriCAS-SageMath interface, and about making FriCAS a standard package in SageMath, could you open a meta bug in GitHub to track the progress?
I guess a better interface (C-based or socket-based, more robust and performant than current text-based) is needed. And SageMath needs to support "RootSum", or the interface needs another way to translate the "%%A1" algebraic numbers. Hi Waldek, One of the FriCAS development goals is: "make it easier for external programs to interface with FriCAS" Do you think communication via socket is a good idea, or "SBCL as a shared library" is better, or is there a third way? - Best, - Qian On 3/15/25 3:53 AM, Dima Pasechnik wrote: > By the way, if you have a student (undergrad or postgrad) who's > eligible for GSoC, and is willing to work on improving FriCAS > interface with Sage/Python, please urge them to apply for GSoC with > Sage. > We were thinking about e.g. building a loadable, into Python, or C, > FriCAS module, based on libsbcl, as one project we'd > be interested in having. > > https://summerofcode.withgoogle.com/organizations/sagemath/profile > > Dima > > > > On Fri, Mar 14, 2025 at 2:47 PM Dima Pasechnik <dimp...@gmail.com> wrote: >> >> On Fri, Mar 14, 2025 at 11:45 AM 'Ralf Hemmecke' via FriCAS - computer >> algebra system <fricas-devel@googlegroups.com> wrote: >>> >>> Hi Dima, >>> >>> On 3/14/25 17:34, Dima Pasechnik wrote: >>>> There is also a way to interface Fricas with MMAs via SageMath, >>>> which has interfaces to Maple, Matlab, Magma, and Mathematica. >>> Yes, I heard, but had no reason to use it up to >>> >>> 1) Do you have some examples for a back and forth work between FriCAS >>> and MMA via Sage? A URL to the respective docs would be fine. >> >> Basically, it's always system_foo->Sage->system_bar. >> Not directly system_foo->system_bar. >> Which is a meaningful design, as there are too many systems, and >> having one interface >> for each of them, as opposed to one for each pair of them, is cheaper. >> >> >> sage: with hold: # to prevent Sage from evaluating i >> ....: i=integral(sin(x),x) >> ....: m=mathematica(i) >> ....: f=fricas(m) >> ....: >> sage: i,m,f >> (integrate(sin(x), x), -Cos[x], - cos(x)) >> sage: list(map(type,(i,m,f))) >> [<class 'sage.symbolic.expression.Expression'>, >> <class 'sage.interfaces.mathematica.MathematicaElement'>, >> <class 'sage.interfaces.fricas.FriCASElement'>] >> sage: >> >> By the way, here it's actually wolframscript, not "real" MMA. I >> installed wolframscript >> and made a symbolic link called "math" pointing to wolframscript. >> >>> >>> 2) How is the FriCAS connection. And as far as I remember the connection >>> to FriCAS does not cover everything. >> >> it doesn't at the moment, in particular, IIRC, rootsum stuff is not >> implemented. >> >> Dima >> >>> >>> Ralf >>> >>> -- >>> 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/fb965b59-622e-4db5-aa97-cb72a64d7f12%40hemmecke.org. > -- 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/58bc8276-e325-42a2-88f4-66fac3c6775f%40gmail.com.
