Dgp2Dcp canonicalizer for the non-positive constraint atom

Dgp2Dcp.nonpos_constr_canon(expr, args)

Arguments

expr

An Expression object

args

A list of values for the expr variable

Value

A canonicalization of the non-positive contraint atom of a DGP expression, where the returned expression is the transformed DCP equivalent.