2009/7/26 Aaron S. Meurer <asmeu...@gmail.com>:
> It looks like they are:
> >>> Assume(integer=False, odd=True)
> Traceback (most recent call last):
> File "<console>", line 1, in <module>
> File "./sympy/core/basic.py", line 305, in __new__
> obj._learn_new_facts(assumptions)
> File "./sympy/core/assumptions.py", line 336, in _learn_new_facts
> self._assume_rules.deduce_all_facts(facts, base)
> File "./sympy/core/facts.py", line 882, in deduce_all_facts
> assert new_facts[k] == v, ('inconsitency between
> facts',new_facts,k,v)
> AssertionError: ('inconsitency between facts', {'nonzero': True,
> 'even': False, 'composite': False, 'prime': False, 'zero': False,
> 'integer': False, 'odd': False}, 'odd', True)
I meant the documentation. What do you think, should
>>> Assume(x, integer=True, positive=True)
raise an exception or should it return
Assume(x, integer=True) & Assume(x, positive=True)?
Vinzent
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sympy-patches" group.
To post to this group, send email to sympy-patches@googlegroups.com
To unsubscribe from this group, send email to
sympy-patches+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/sympy-patches?hl=en
-~----------~----~----~----~------~----~------~--~---
