def nonpos_canon(expr, real_args, imag_args, real2imag): if imag_args[0] is None: return [expr.copy(real_args)], None imag_cons = [NonPos(imag_args[0], constr_id=real2imag[expr.id])] if real_args[0] is None: return None, imag_cons else: return [expr.copy(real_args)], imag_cons
def __le__(self, other): """NonPos : Creates an inequality constraint. """ return NonPos(self - other)