OrderedCompletionFunctions2(R, S)ΒΆ

complet.spad line 101

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.