Dgp2Dcp canonicalizer for the product atom

Dgp2Dcp.prod_canon(expr, args)

Arguments

expr

An Expression object

args

A list of values for the expr variable

Value

A canonicalization of the product atom of a DGP expression, where the returned expression is the transformed DCP equivalent.