picos.constraints.con_powtrace

Implementation of PowerTraceConstraint.

Outline

Classes

PowerTraceConstraint

Bound on the trace over the -th power of a matrix.

Classes

PowerTraceConstraint

class picos.constraints.con_powtrace.PowerTraceConstraint(power, relation, rhs)

Bases: picos.constraints.constraint.Constraint

Bound on the trace over the -th power of a matrix.

For scalar expressions, this is simply a bound on their -th power.

class Conversion

Bases: picos.constraints.constraint.ConstraintConversion

Bound on the -th power of a trace constraint conversion.

The conversion is based on this paper.

classmethod convert(con, options)

Implement convert.

classmethod predict(subtype, options)

Implement predict.

__init__(power, relation, rhs)

Construct a PowerTraceConstraint.

Parameters

• ower (PowerTrace) – Left hand side expression.

• relation (str) – Constraint relation symbol.

• rhs (AffineExpression) – Right hand side expression.

is_trace()

Whether the bound concerns a trace as opposed to a scalar.

property lhs