On Thursday, October 7, 2021 at 1:57:48 a.m. UTC+2 Oscar wrote:
>
> My approach would be to make a new library that redefines the core of
> SymPy itself and that uses matchpy or equivalent. Then if that library
> could be made compatible with SymPy through a mechanism like sympify then
> it wo
On Wed, 6 Oct 2021 at 23:36, Francesco Bonazzi
wrote:
>
> It would be curious if we could rewrite SymPy's core using MatchPy. I
> mean, there have been some development with a lot of code developed to
> properly handle the subclassing (or .kind property, that has been
> introduced now) the *Add*
It would be curious if we could rewrite SymPy's core using MatchPy. I mean,
there have been some development with a lot of code developed to properly
handle the subclassing (or .kind property, that has been introduced now)
the *Add* and *Mul* classes, especially their flattening algorithm.
Mul
On Wed, Oct 6, 2021 at 2:10 AM Francesco Bonazzi
wrote:
>
>
>
> On Wednesday, October 6, 2021 at 12:46:25 a.m. UTC+2 asme...@gmail.com wrote:
>>
>> Since we are bringing up SymPEPs again, it would be helpful to agree
>> on the actual SymPEP process itself. There hasn't been much discussion
>> on h
On Wed, Oct 6, 2021 at 1:52 AM Jason Moore wrote:
>
> I think we should relax our stringent no dependency stance for pure python
> dependencies. Pure python dependency management is essentially solved now for
> the python ecosystem with the various package managers. This dependency would
> also
On Wed, 6 Oct 2021 at 08:52, Jason Moore wrote:
> I think we should relax our stringent no dependency stance for pure python
> dependencies. Pure python dependency management is essentially solved now
> for the python ecosystem with the various package managers. This dependency
> would also be pu
On Tuesday, October 5, 2021 at 2:57:41 p.m. UTC+2 syle...@gmail.com wrote:
> Although the matchpy gives of AC1-matching capability as far as I'm aware,
> I just have a question that if is it really general enough.
> I'm aware that general equational matching could be an undecidable
> problem,
On Wednesday, October 6, 2021 at 12:46:25 a.m. UTC+2 asme...@gmail.com
wrote:
> Since we are bringing up SymPEPs again, it would be helpful to agree
> on the actual SymPEP process itself. There hasn't been much discussion
> on https://github.com/sympy/SymPEPs/pull/2 for a while.
>
> I was al
I think we should relax our stringent no dependency stance for pure python
dependencies. Pure python dependency management is essentially solved now
for the python ecosystem with the various package managers. This dependency
would also be pulled into the sympy organization, so we will have just as
On Tuesday, October 5, 2021 at 2:07:06 p.m. UTC+2 Oscar wrote:
>
> I agree that pattern matching is a crucial part of a CAS and should really
> be the core of SymPy. If I was redesigning SymPy from scratch then
> everything would be built on top of a pattern-matching engine and almost
> all o
Since we are bringing up SymPEPs again, it would be helpful to agree
on the actual SymPEP process itself. There hasn't been much discussion
on https://github.com/sympy/SymPEPs/pull/2 for a while.
I was also hoping we could have a general PEP about dependencies and
conditions for when something sho
On 05/10/2021 13:06, Oscar Benjamin wrote:
I agree that pattern matching is a crucial part of a CAS and should
really be the core of SymPy. If I was redesigning SymPy from scratch
then everything would be built on top of a pattern-matching engine and
almost all of the logic from the myriad Ba
Although the matchpy gives of AC1-matching capability as far as I'm aware,
I just have a question that if is it really general enough.
I'm aware that general equational matching could be an undecidable problem,
and hence there are lots of matchers or unifiers that handles some
domain-specific E
On Tue, 5 Oct 2021 at 07:48, Francesco Bonazzi
wrote:
> Hi everyone,
>
> I have written a draft for a SymPEP (SymPy enhancement proposal) to
> include MatchPy as a dependency of SymPy.
>
> https://github.com/sympy/SymPEPs/pull/3
>
For those less familiar to github you need to click the "files ch
Hi everyone,
I have written a draft for a SymPEP (SymPy enhancement proposal) to include
MatchPy as a dependency of SymPy.
https://github.com/sympy/SymPEPs/pull/3
Once SymPy depends on the MatchPy library, the bindings to MatchPy can be
moved into SymPy's core.
MatchPy provides a much more po
15 matches
Mail list logo
