Re: [sage-devel] Re: Is it reasoanble to have SR.var() inject an assumption into assumptions()?

2017-06-21 Thread Ralf Stephan
See the branch in https://trac.sagemath.org/ticket/23138 and discuss 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

Re: [sage-devel] Re: Is it reasoanble to have SR.var() inject an assumption into assumptions()?

2017-06-20 Thread Stan Schymanski
Wow, I must have misunderstood, thanks! I just checked https://github.com/sagemath/sage/blob/master/src/sage/symbolic/assumptions.py and I find only a few references to Pynac, exclusively in the documentation s

Re: [sage-devel] Re: Is it reasoanble to have SR.var() inject an assumption into assumptions()?

2017-06-20 Thread Ralf Stephan
In other words no, ex.is_real() does query only the Pynac database. -- 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 pos

Re: [sage-devel] Re: Is it reasoanble to have SR.var() inject an assumption into assumptions()?

2017-06-20 Thread Ralf Stephan
The existing bridge to/from Pynac has to include the forget() call, of course, and your example only shows that it works. https://github.com/sagemath/sage/blob/master/src/sage/symbolic/expression.pyx#L1916 https://github.com/sagemath/sage/blob/master/src/sage/symbolic/expression.pyx#L1994 https://

Re: [sage-devel] Re: Is it reasoanble to have SR.var() inject an assumption into assumptions()?

2017-06-20 Thread Stan Schymanski
Actually, ex.is_real() queries the assumptions() data base, not the GiNaC/Pynac info flags. Example: var('test', domain='real') print test.is_real() forget() print test.is_real() Returns: True False I think your proposal below would be great. Remove assume() from variable creation, but get th

[sage-devel] Re: Is it reasoanble to have SR.var() inject an assumption into assumptions()?

2017-06-14 Thread Ralf Stephan
The "more persistent domains() database" exists already in part as GiNaC/Pynac info flags that are set in parallel to Maxima's assumptions. They can be queried with ex.is_real() etc...What is not saved in Pynac are less elementary assumptions like x>1, y+z==pi. Now instead of caching all assump