Dgp2Dcp.exp_canon: Dgp2Dcp canonicalizer for the exp atom
Description
Dgp2Dcp canonicalizer for the exp atom
Usage
Dgp2Dcp.exp_canon(expr, args)
Arguments
args
A list of values for the expr variable
Value
A canonicalization of the exp atom of a DGP expression,
where the returned expression is the transformed DCP equivalent.