sumofsquares/sosexprbase/mixins/exprbasemixin.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.dependencemixin import DependenceMixin


class ExprBaseMixin(DependenceMixin):
    @property
    @abc.abstractmethod
    def expr(self) -> polymatrix.Expression:
        ...

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