Thanks for the writeup here. So it sounds like the problem is that a
lot of assumptions handlers are calling out to other functions, which
are usually fast but can be slow, such as
- numerical evaluation
- root finding
- other polynomial functions
- you didn't mention it but isprime() would likely
On Sun, 14 Jun 2020 at 07:10, Aaron Meurer wrote:
>
> On Sat, Jun 13, 2020 at 5:50 AM Oscar Benjamin
> wrote:
> >
> > On Sat, 13 Jun 2020 at 00:22, Aaron Meurer wrote:
> > >
> > > On Sun, Jun 7, 2020 at 4:08 PM Oscar Benjamin
> > > wrote:
> > > >
> > > > 3. What are the limitation of the new mo
On Sat, Jun 13, 2020 at 5:50 AM Oscar Benjamin
wrote:
>
> On Sat, 13 Jun 2020 at 00:22, Aaron Meurer wrote:
> >
> > On Sun, Jun 7, 2020 at 4:08 PM Oscar Benjamin
> > wrote:
> > >
> > > 3. What are the limitation of the new module? Where is it not implemented?
> > >
> > > The new assumptions were
On Sat, 13 Jun 2020 at 00:22, Aaron Meurer wrote:
>
> On Sun, Jun 7, 2020 at 4:08 PM Oscar Benjamin
> wrote:
> >
> > 3. What are the limitation of the new module? Where is it not implemented?
> >
> > The new assumptions were made a lot faster last Summer. Their slowness
> > was one major limitati
On Sun, Jun 7, 2020 at 4:08 PM Oscar Benjamin
wrote:
>
> Hi Davide,
>
> I'll answer your questions one by one and then summarise the situation below.
>
> 1. Are the two modules interacting together now?
>
> The old and new assumptions interact in one direction: the new
> assumptions will query the
Thank you Oscar for this really exhaustive answer! You clarified all my
doubts.
Davide.
Il giorno lun 8 giu 2020 alle ore 00:08 Oscar Benjamin <
oscar.j.benja...@gmail.com> ha scritto:
> Hi Davide,
>
> I'll answer your questions one by one and then summarise the situation
> below.
>
> 1. Are th
Hi Davide,
I'll answer your questions one by one and then summarise the situation below.
1. Are the two modules interacting together now?
The old and new assumptions interact in one direction: the new
assumptions will query the old assumptions if it helps but the old
assumptions are ignorant of
Until a couple of days ago, I always used the old assumption module defined
in sympy.core.assumptions, where we create symbols with assumptions and
then the expression infer the values for its assumptions. For example, I
know that with this old module it's not possible to create a symbol x
assu