sumofsquares/sosconstraint/sosconstraintmixin.py


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

import abc
import polymatrix

from sumofsquares.sosexprbase.mixins.parametermixin import ParameterMixin


class SOSConstraintMixin(abc.ABC):
    @property
    @abc.abstractmethod
    def dependence(self) -> tuple[ParameterMixin]:
        ...

    @property
    @abc.abstractmethod
    def constraint(self) -> polymatrix.Expression:
        ...