OnePointCompletionFunctions2(R, S)ΒΆ

complet.spad line 182

Lifting of maps to one-point completions. Date Created: 4 Oct 1989

map: (R -> S, OnePointCompletion R) -> OnePointCompletion S
map(f, r) lifts f and applies it to r, assuming that f(infinity) = infinity.
map: (R -> S, OnePointCompletion R, OnePointCompletion S) -> OnePointCompletion S
map(f, r, i) lifts f and applies it to r, assuming that f(infinity) = i.