tries to solve the equation a * x == y.

Property Let a and y be in Matrix Z, then holds:

1. If end y is not equal to end a then evaluating zMatrixLift a y will end up in a NotLiftable-exception.
2. If end y is equal to end a and there exists an x in Matrix Z such that a * x == y then the result of zMatrixLift a y is Just x otherwise it will be Nothing. If there exists a non trivial solution, then x will also be non trival.

validity of zMatrixLift for liftable samples.

validity of zMatrixLift where liftable and unliftable samples are validated.

validity of zMatrixLift.

random variable for liftable samples.