# assume a variable has two possible values

Hi,

how can I assume that a variable admits only a finite number of possible values? E.g., the variable x can only be 0 or 1. I could assume that

x*(x-1)==0

but I am looking whether there is a straightforward way, too.

edit retag close merge delete

The assumption system is not working well (some assumptions are not taken into account during some computations). Could you please tell us about your initial problem ? Perhaps this first problem could solved with a non-symbolic approach.

dear Thierry, what kind of assumptions are not taken into account? and what do you mean by "not taken into account"? the problem is related to a reseach problem I'm studying. I should try to write a sample example. Roughly speaking, I have objects in a Lie algebra (whose structure equations may depend on parameters), and I am declaring objects with variable coefficients. Some additional properties add constraints on the possible values of the coefficients. I am using assume() to take into account the several properties. Thanks in advance, all the best,

Sort by » oldest newest most voted

You could assume x is integer, and x >= 0, and x <= 1.

more