Great suggestions! I'll create a new patch.
Øyvind
ma., 22.02.2010 kl. 14.13 -0700, skrev Aaron S. Meurer:
> On Feb 22, 2010, at 12:43 PM, Øyvind Jensen wrote:
>
> > Before, 'refine_Pow' would simplify (-1)**exp only if 'exp' as a whole
> > couold
> > be determined as even or odd. A doctest li
Before, 'refine_Pow' would simplify (-1)**exp only if 'exp' as a whole could
be determined as even or odd. A doctest like,
>>> refine_Pow((-1)**(x+y), Assume(x, Q.even))
(-1)**y
would fail. This patch fixes that by treating powers of S.NegativeOne as a
special case. Every term
An exception could be raised as a false positive. We should only
demand consistency between two resolutors if they have both reached a
conclusion. Before this patch, an exception would be raised in the event of an
inconclusive resolutor following a conclusive.
Added a test for the issue
---
sym
Sorry, I sent the wrong patch. Please consider the next email instead.
Øyvind
ti., 23.02.2010 kl. 20.23 +0100, skrev Øyvind Jensen:
> An exception could be raised as a false positive. We should only
> demand consistency between two resolutors if they have both reached a
> conclusion. Before th
An exception could be raised as a false positive. We should only
demand consistency between two resolutors if they have both reached a
conclusion. Before this patch, an exception would be raised in the event of an
inconclusive resolutor following a conclusive.
Added a test for the issue
---
sym