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

divisor.spad line 941 [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.

map : (Mapping(R2, R1), FiniteDivisor(R1, UP1, UPUP1, F1)) -> FiniteDivisor(R2, UP2, UPUP2, F2)

map(f, d) is undocumented