Thank you so much for your prompt reply.
My constraint is 1/(x*y)>=Constant, so i think rotated_lorentz can not be used. Hence, I decided to apply first-order Taylor expansion for LHS of this constraint.
Thank you so much for your prompt reply.
My constraint is 1/(x*y)>=Constant, so i think rotated_lorentz can not be used. Hence, I decided to apply first-order Taylor expansion for LHS of this constraint.