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
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),
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