Re: [PATCH] refine: Let refine_Pow work harder to simplify powers of (-1)

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

[PATCH] refine: Let refine_Pow work harder to simplify powers of (-1)

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

[PATCH] Fix resolutor consistency check in ask()

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

Re: [PATCH] Fix resolutor consistency check in ask()

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

[PATCH] Fix resolutor consistency check in ask()

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