I've been told perhaps it is best to use Ket notions to solve the issue at hand.
I was helped with the input, as well as where to place the complex number i in the s1 = ... equation. (I wonder if what I have written is correct, in terms of Ket notions written in Mathematica?)
But I'm not entirely sure how to pass the result of s1 into s3, for conversion into R/L polarisations, especially if I am required to place the i outside the Ket function. Also, if I define Ket[hp, b] ->, would that also take those Ket's with [hp, b], as well as i, before them?