Skip to content

notation for declaring a function non-expansive

Ralf Jung requested to merge non-expansive-notation into master

I suggest having a notation for a function being non-expansive, similar to how we have notation for contractiveness. This makes the common case (unary non-expansive functions) easier to read.

Merge request reports