MultipleMap(R1, UP1, UPUP1, R2, UP2, UPUP2)

curve.spad line 383 [edit on github]

• R1: IntegralDomain

• UP1: UnivariatePolynomialCategory R1

• UPUP1: UnivariatePolynomialCategory Fraction UP1

• R2: IntegralDomain

• UP2: UnivariatePolynomialCategory R2

• UPUP2: UnivariatePolynomialCategory Fraction UP2

Lifting of a map through 2 levels of polynomials.

map: (R1 -> R2, UPUP1) -> UPUP2

map(f, p) lifts f to the domain of p then applies it to p.