 Vélu's formulas

Vélu's formulas construct the quotient of a Weierstrass elliptic curve by a specified finite subgroup and give rational functions for the resulting separable isogeny.