• ← Arg
• → Boole

Assuming

WMA link

Assuming[cond, expr]

Evaluates expr assuming the conditions cond.

• • $Assumptions = { x > 0 }

• • Assuming[y>0, ConditionalExpression[y x^2, y>0]//Simplify]

• • Assuming[Not[y>0], ConditionalExpression[y x^2, y>0]//Simplify]

• • ConditionalExpression[y x ^ 2, y > 0]//Simplify