Skip to main content

DeconvAndSubAdditiveClosure

(g⊗f‾)⊘f‾=g⊗f‾(g \otimes \overline{f}) \oslash \overline{f} = g \otimes \overline{f}.

note

Proposition 2.9, point 2, in [DNC18].

public class DeconvAndSubAdditiveClosure : Equivalence

Inheritance object → Equivalence → DeconvAndSubAdditiveClosure

Properties​

LeftSideExpression​

Left side of the equivalence

public CurveExpression LeftSideExpression { get; set; }

Property Value​

CurveExpression

RightSideExpression​

Right side of the equivalence

public CurveExpression RightSideExpression { get; set; }

Property Value​

CurveExpression

Constructors​

DeconvAndSubAdditiveClosure()​

public DeconvAndSubAdditiveClosure()