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

curve.spad line 382 [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 : (Mapping(R2, R1), UPUP1) -> UPUP2

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