Maxplus Operator

residuation - maxplus residuation operation

Calling Sequence

A\B
A/B

Parameters

Description

Residuation.

Computes the largest X such that A X <= B [resp. X A X <= B ] where A X is the maxplus matrix product of A by X.

For A and B finite scalars, A/B= A\\B = B-A.

EXAMPLES

See Also