Dgp2Dcp.trace_canon function

Dgp2Dcp canonicalizer for the trace atom

Dgp2Dcp.trace_canon(expr, args)

Arguments

• expr: An Expression object
• args: A list of values for the expr variable

Returns

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