boundlab.interp.base.MatmulSimple#

class boundlab.interp.base.MatmulSimple[source]#

Bases: OpHandler

Matrix product with one concrete operand — exact, a linear map on the abstract one.

Methods

__init__

condition

Whether this handler applies to these operands (default: always).

handle

Transform the operands; sub-operations go through interp.<op> so the enclosing domain's handlers apply to them too.

override_handler

A copy of this handler that takes precedence over other when both are ready for the same call.

op: str = 'matmul'#
condition(x, y, **kwargs)[source]#

Whether this handler applies to these operands (default: always).

handle(interp, x, y, **kwargs)[source]#

Transform the operands; sub-operations go through interp.<op> so the enclosing domain’s handlers apply to them too.

override_handler(other)#

A copy of this handler that takes precedence over other when both are ready for the same call.

overrides: list[type[OpHandler]] = []#