1. Axel Kramer Avatar Axel Kramer
  2. Untitled project
  3. symja_android_library

Wiki

Clone wiki

symja_android_library / Symbols / Refine

View History

Refine

Refine(expression, assumptions)
evaluate the expression for the given assumptions.

Examples

>>> Refine(Abs(n+Abs(m)), n>=0)
Abs(m)+n

Updated