A polynomial invariant for links in lens spaces

We prove the existence of a polynomial invariant that satisfies the HOMFLY skein relation for links in a lens space. In the process we also develop a skein theory of toroidal grid diagrams in a lens space.