Is there an easy way to verify that the HOMFLY polynomial is invariant under Reidemeister moves?
For Jones polynomial, it is obvious by the way it is defined (not via skein relations). It is proved in the book by Colin Adams.
There is no proof for HOMFLY polynomial in the book and the original paper by the mathematicians HOMFLY.