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

divisor.spad line 947 [edit on github]

• R1: Field

• UP1: UnivariatePolynomialCategory R1

• UPUP1: UnivariatePolynomialCategory Fraction UP1

• F1: FunctionFieldCategory(R1, UP1, UPUP1)

• R2: Field

• UP2: UnivariatePolynomialCategory R2

• UPUP2: UnivariatePolynomialCategory Fraction UP2

• F2: FunctionFieldCategory(R2, UP2, UPUP2)

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.