Comment #14 on issue 1077 by christian.muise: ask(pi, exp(rational), etc.,
Q.algebraic) should return False
http://code.google.com/p/sympy/issues/detail?id=1077
Well if anyone is putting in changes to the new assumption system, it can
be done as follows:
If new predicate is being introduced, a new handler should be created, and
the list of handlers updated:
- https://github.com/sympy/sympy/tree/master/sympy/assumptions/handlers
- https://github.com/sympy/sympy/blob/master/sympy/assumptions/ask.py#L206
New assumptions that relate predicates should be added to the known_facts:
- https://github.com/sympy/sympy/blob/master/sympy/assumptions/ask.py#L233
Once done, you'll need to run compute_known_facts and update the
known_facts_cnf and known_facts_dict (a test should fail until you get this
right):
- https://github.com/sympy/sympy/blob/master/sympy/assumptions/ask.py#L178
- https://github.com/sympy/sympy/blob/master/sympy/assumptions/ask.py#L253
- https://github.com/sympy/sympy/blob/master/sympy/assumptions/ask.py#L281
--
You received this message because you are subscribed to the Google Groups
"sympy-issues" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sympy-issues?hl=en.
