check constraints with ismember function

[andrea]

dear members,

in my problem, I've added a constraint involving the ismember function, but I realized that with that constraint I can not recover the primal residuals. Since I've read that the ismember function should introduce some binary variables, I do not understand why I am not able to get the primal residuals having that constraint. Is there any solution apart from redefining the ismember constraint?

In particular, yalmip gives me this error when I check the constraints with the check function:

Undefined function or variable 'bval'.

Error in lmi/check>logicSatisfaction (line 265)

if isnan(aval) | isnan(bval)

Error in lmi/check (line 155)

                 res(j,1) =

                 logicSatisfaction(F.clauses{j}.data);

Thank you for your attention.

Best regards,

Andrea

P.S.: I don't know if it is relevant, but I'm using mosek as solver

[Johan Löfberg]

ismember doesn't seem to be supporte in check

You will have to analyze that constraint manually if you suspect it isn't satified

[andrea]

Dear Professor,
thank you for your fast reply. I will follow your suggestion.