Question: assume variables unique

regarding optimization, we know about inputs like "assume=integer". I want to instruct Maple that the variables in my problem are required to be unique.

eg I have three variables a,b,c that could take values 1,3 or 4 (but not 1,1,2 or 2,3,3 ....etc).

With DirectSearch I could always add the constraint {a<>b, b<>c, a<>c}, but it gets complicated if you have more than 3 variables. Additionally Maples Optimization package does not allow strict logical operators like "not equal to".

any ideas experts?

Please Wait...