Element

Element(symbol, domain)

assume (or test) that the symbol is in the domain domain.

See:

• Wikipedia - Domain of a function

Examples

>> Refine(Sin(k*Pi), Element(k, Integers))
0

>> Refine(D(Abs(x),x), Element(x, Reals))
x/Abs(x)

Implementation status

• ✅ - full supported

Github

• Implementation of Element