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

curve.spad line 414 [edit on github]

• R1: UniqueFactorizationDomain

• UP1: UnivariatePolynomialCategory R1

• UPUP1: UnivariatePolynomialCategory Fraction UP1

• F1: FunctionFieldCategory(R1, UP1, UPUP1)

• R2: UniqueFactorizationDomain

• UP2: UnivariatePolynomialCategory R2

• UPUP2: UnivariatePolynomialCategory Fraction UP2

• F2: FunctionFieldCategory(R2, UP2, UPUP2)

Lifts a map from rings to function fields over them.

map: (R1 -> R2, F1) -> F2

map(f, p) lifts f to F1 and applies it to p.