Branch Structure and Implementation of Lambert W

We begin with a discussion of general design decisions made in implementing the Lambert W function in Maple . Many of these decisions are not system-specific and apply to any implementation of W ; also they touch some of the fundamental issues in computer-algebra systems. A specific topic is the choice of a branch structure for W , and a new approach is presented that allows us to extend the definition of a function from the real line into the complex plane.