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

curve.spad line 356

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.