That's the new assumptions. I agree the documentation doesn't really
specify well enough which are which. "Old" and "new" are mostly terms
used by the development team to refer to the different parts of the
system, not so much terms meant for end-users of the library. But in
general
old assumptions: Symbol('x', positive=True). expr.is_positive,
expr._eval_is_positive
new assumptions: Q.positive(x), ask(), assume(), refine().
Anything using Q is new assumptions. Anything using is_assumption or
_eval_is_assumption is the old assumptions.
Aaron Meurer
On Fri, Aug 14, 2020 at 5:17 PM David Bailey <[email protected]> wrote:
>
> Dear group,
>
> Am I correct that the write-up about assumptions found here relates to the
> old-style assumptions:
>
> https://docs.sympy.org/latest/modules/assumptions/assume.html
>
> Is there any documentation relating to the new assumptions?
>
> It would be really helpful if the documentation for old or new assumptions
> indicated which type it related to.
>
> David
>
> --
> You received this message because you are subscribed to the Google Groups
> "sympy" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to [email protected].
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/sympy/659f3813-0d40-3bbd-0bc7-5948dfcf9777%40dbailey.co.uk.
--
You received this message because you are subscribed to the Google Groups
"sympy" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/sympy/CAKgW%3D6JwZuy6fjhRoSrAEAi6d2oxv4G0BL4hqnxWdwPY7wN%2BCA%40mail.gmail.com.
