This is in, thank you!
Vinzent
2010/2/23 Øyvind Jensen :
> 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 tha
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
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
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 like,
>
> >>> refine_Pow((-1)**(x+y), Assume(x, Q.even))
> (-1)**y
>
> would fail. This patch fixes that by
Before, 'refine_Pow' would simplify (-1)**exp only if 'exp' as a whole couold
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