On 15 March 2025 07:32:08 GMT-05:00, Qian Yun <oldk1...@gmail.com> wrote: >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,
Currently SageMath communicates with FriCAS via a socket interface (pexpect). No files are written or read. Perhaps it would be nice to redo this interface using SymPy, which is much lighter than Sage, but has more or less all what FriCAS needs. Just in case, Dima >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/CAAWYfq1B9fBDbmk%3DztvFr_tsy5ieDgsyJPca-RcsRLyL9MZWzg%40mail.gmail.com.
