OrderedCompletionFunctions2(R, S)

complet.spad line 110 [edit on github]

• R: SetCategory

• S: SetCategory

Lifting of maps to ordered completions. Date Created: 4 Oct 1989

map: (R -> S, OrderedCompletion R) -> OrderedCompletion S

map(f, r) lifts f and applies it to r, assuming that f(plusInfinity) = plusInfinity and that f(minusInfinity) = minusInfinity.

map: (R -> S, OrderedCompletion R, OrderedCompletion S, OrderedCompletion S) -> OrderedCompletion S

map(f, r, p, m) lifts f and applies it to r, assuming that f(plusInfinity) = p and that f(minusInfinity) = m.