Dgp2Dcp canonicalizer for the product atom
Dgp2Dcp.prod_canon(expr, args)An Expression object
A list of values for the expr variable
A canonicalization of the product atom of a DGP expression, where the returned expression is the transformed DCP equivalent.