For example, entering sqrt(x^2)/sqrt(x) currently simplifies to abs(x)/sqrt(x). However, if x can only be a positive value, then it could be simplified to sqrt(x).
In the next update, you will have the ability to set the domain of variables. The options will be:
- Positive Integers
- All Integers
- Positive Reals
- All Reals
Expressions will simplify based on the domains of the variables used in it. This will not only make it more clear to users exactly what variables can contain, but also allow more flexibility in calculations.