Assume Command
From GeoGebra Manual
CAS Syntax
- Assume( <Condition>, <Expression> )
- Evaluates the expression according to the condition
- Examples:
Assume(a > 0, Integral(exp(-a x), 0, infinity))
yields1 / a
.Assume(x>0 && n>0, Solve(log(n^2*(x/n)^lg(x))=log(x^2), x))
yields{x = 100, x = n}
Assume(x<2,Simplify(sqrt(x-2sqrt(x-1))))
yields-sqrt(abs(x - 1)) + 1
Assume(x>2,Simplify(sqrt(x-2sqrt(x-1))))
yieldssqrt(x - 1) + 1
Note: See also Solve Command.