Dgp2Dcp.nonpos_constr_canon function

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

Returns

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