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