FiniteDivisorFunctions2(R1, UP1, UPUP1, F1, R2, UP2, UPUP2, F2)ΒΆ

divisor.spad line 917

Lift a map to finite divisors. Author: Manuel Bronstein Date Created: 1988

map: (R1 -> R2, FiniteDivisor(R1, UP1, UPUP1, F1)) -> FiniteDivisor(R2, UP2, UPUP2, F2)
map(f, d) is undocumented.