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