On Wed, Aug 25, 2021 at 6:17 PM Matthias Koeppe
<matthiaskoe...@gmail.com> wrote:
>
> On Wednesday, August 25, 2021 at 10:08:08 AM UTC-7 wst...@gmail.com wrote:
>>
>> On Wed, Aug 25, 2021 at 9:58 AM Dima Pasechnik <dim...@gmail.com> wrote:
>> > symengine appears to be such a candidate:
>> > https://symengine.org/
>>
>> (1 minute thought) That website says that sympy uses symengine as a
>> backend for speed. In that case, maybe we can switch to sympy more...
>> and contribute to sympy making better use of symengine, if necessary?
>>
>
> Yes, sympy can use symengine but AFAIK it has to be explicitly enabled: See 
> https://github.com/sympy/sympy/blob/master/sympy/core/backend.py
>
> Sage already has symengine (and its Python bindings) as optional packages.
> I don't know if anyone has tested whether enabling symengine brings 
> performance gains for the parts of SymPy that Sage uses.

symengine appears to have less coverage than pynac, judging by

if USE_SYMENGINE:
    from symengine import (Symbol, Integer, sympify, S,
        SympifyError, exp, log, gamma, sqrt, I, E, pi, Matrix,
        sin, cos, tan, cot, csc, sec, asin, acos, atan, acot, acsc, asec,
        sinh, cosh, tanh, coth, asinh, acosh, atanh, acoth,
        lambdify, symarray, diff, zeros, eye, diag, ones,
        expand, Function, symbols, var, Add, Mul, Derivative,
        ImmutableMatrix, MatrixBase, Rational, Basic)
    from symengine.lib.symengine_wrapper import gcd as igcd
    from symengine import AppliedUndef

in sympy/core/backend.py

E.g. it looks like integration is not there.


>
>
>
> --
> You received this message because you are subscribed to the Google Groups 
> "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to sage-devel+unsubscr...@googlegroups.com.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-devel/6865327a-c967-4cfe-8903-7c6580113124n%40googlegroups.com.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAAWYfq0PMf268P2tXkavjjuAibG-DXSkbY-rTJh%2BaTxh351UjA%40mail.gmail.com.

Reply via email to