Description
The current impelmentation of Refine uses SymPy's new assumptions which is backed by a boolean expression solver.
Two examples withich fail:
Refine[Cos[x + k Pi], Element[k, Integers]]
Refine[Ceiling[x], 2 < x <= 3]
How to Reproduce and Output Given
In[1]:= Refine[Cos[x + k Pi], Element[k, Integers]]
Out[1]= Cos[x + k Pi] (* Should be (-1)^k Cos[x] *)
In[2]:= Refine[Ceiling[x], 2 < x <= 3]
Out[4]= Ceiling[x] (* Should be 3 *)
Additional context
See sympy/sympy#30324 and sympy/sympy#30419
Description
The current impelmentation of
Refineuses SymPy's new assumptions which is backed by a boolean expression solver.Two examples withich fail:
How to Reproduce and Output Given
Additional context
See sympy/sympy#30324 and sympy/sympy#30419