| |
| | Maps and Curves |
 | | Given a map phi:D to C between curves and a function, place or divisor on C, returns the pushforward of X along phi. |
 | | Given a map phi:D to C between curves and a function, differential, place or divisor on C, returns the pullback of X along phi. |
 | | We refer to the contravariant maps phi^ * as Pullback s and to the covariant maps phi_ *, corresponding to the Norm between the function fields, as Pushforward s. |
| www.math.lsu.edu /magma/text1153.htm |
|