hello,

Le mar. 1 juil. 2025 à 04:17, Dima Pasechnik <[email protected]> a écrit :
>
> On Mon, Jun 30, 2025 at 1:34 PM Grégory Vanuxem <[email protected]> wrote:
> >
> > Hi,
> >
> > They are working on this. On your side. sympy -> Mathlink.
>
> Could you provide more details on this? I can't seem to find much on
> this. Thanks.

Oh, sorry, you're right, I don't stop to be confused by SymPy
(https://www.sympy.org/en/index.html),
Symbolics.jl  (https://github.com/JuliaSymbolics/Symbolics.jl) and
SymPy.jl (https://github.com/JuliaPy/SymPy.jl). My mistake (big).

Sorry again,

- Greg

PS:
https://github.com/JuliaInterop/MathLink.jl?tab=readme-ov-file#relation-to-other-packages
https://github.com/eswagel/SymbolicsMathLink.jl






> >
> >
> >
> >
> > Le sam. 15 mars 2025 à 18:33, Dima Pasechnik <[email protected]> a écrit :
> > >
> > > On 15 March 2025 07:32:08 GMT-05:00, Qian Yun <[email protected]> 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.
> >
> > Yes!!!
> >
> > > >
> > > >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 <[email protected]> 
> > > >> wrote:
> > > >>>
> > > >>> On Fri, Mar 14, 2025 at 11:45 AM 'Ralf Hemmecke' via FriCAS - computer
> > > >>> algebra system <[email protected]> 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 [email protected].
> > > >>>> 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 [email protected].
> > > To view this discussion visit 
> > > https://groups.google.com/d/msgid/fricas-devel/CAAWYfq1B9fBDbmk%3DztvFr_tsy5ieDgsyJPca-RcsRLyL9MZWzg%40mail.gmail.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/CAHnU2dZ60pHuGDY26%2BfPtyyU4ziaAnuTmuTirR_9Ubfoy%2BhRkg%40mail.gmail.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/CAAWYfq2pjip1xLb8dvwtK22n569MXTAwmtBLpUec6dBtEHmDUg%40mail.gmail.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/CAHnU2da%2BehUeDAxJxpi2eUccxVpmpH85dhn-o44N%3DwHpnm5pyA%40mail.gmail.com.

Reply via email to