Re: [sympy] Is this correct?

2022-10-26 Thread Aaron Meurer
Just to be clear, what you probably want is sp.ask(sp.Ne(U1, red), assumptions=sp.Eq(U1, green) & Ne(red, green)). Unfortunately, ask() does not yet know how to do any sorts of deductions based on equalities, so this also returns None. Note that None in the SymPy assumptions means "don't know". It

Re: [sympy] Is this correct?

2022-10-26 Thread Oscar Benjamin
On Wed, 26 Oct 2022 at 12:09, Juan Francisco Puentes Calvo wrote: > > Something as simple as below: > > import sympy as sp; > U1, red, green = sp.symbols("U1, red, green"); > sp.ask(sp.Ne(U1,red), assumptions=sp.Eq(U1,green)); > > Returns None, but. > > sp.ask(sp.Eq(U1,green),

[sympy] Is this correct?

2022-10-26 Thread Juan Francisco Puentes Calvo
Something as simple as below: import sympy as sp; U1, red, green = sp.symbols("U1, red, green"); sp.ask(sp.Ne(U1,red), assumptions=sp.Eq(U1,green)); Returns None, but. sp.ask(sp.Eq(U1,green), assumptions=sp.Eq(U1,green)); Returns True. What I are doing wrong? -- You received this message