Residual Properties
We would like that a few properties of residuals hold, namely:
-
1. (p / p) == id -
2. (p / id) == p -
3. (id / p) == id -
4. (x / (q . p)) == (x / p) / q -
5. ((q . p) / x) == q / (x / p) . p / x
Relevant code is here
We would like that a few properties of residuals hold, namely:
Relevant code is here