IncrementingMaps RΒΆ

seg.spad line 463

This package provides operations to create incrementing functions.

increment: () -> R -> R
increment() produces a function which adds 1 to whatever argument it is given. For example, if {f := increment()} then f x is x+1.
incrementBy: R -> R -> R
incrementBy(n) produces a function which adds n to whatever argument it is given. For example, if {f := increment(n)} then f x is x+n.