0
$\begingroup$

I'm trying to simplify an expression, which has a factor of $\lambda(\lambda-1)$, where $\lambda$ may be either $1$, or $0$. So I try:

FullSimplify[λ (λ - 1), λ == 0 || λ == 1]

But the expression doesn't simplify to $0$. I've tried changing the assumptions to λ ∈ Integers && 0 <= λ <= 1, with the same result.

What's going on? How to convince Mathematica to do the simplification?

$\endgroup$
3
$\begingroup$

You can use an equation as an assumption

Simplify[λ (λ - 1), λ (λ - 1) == 0]

0

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.