I have some "boolean variable" constraint equation like this:
where a1,a2,...,an and b1, b2, ..., bn are 1 or -1
These equations will be used in LPSolve or the other command to find a group of parameters which can fit them.
Now I used for-loop to deal with this kind of question, for example:
But there are more than 10 boolean variables in my case and It's very inefficient. On the other hand, using for-loop to determine the equation we solve in the command will lead to great confusion.
I think there should be some ways able to solve this kind of "boolean variables" question in Maple, such as, through assume command to define the type of "boolean variable".
But I have no idea how to do it.