Symbolic computation applied to the study of the kernel of a singular integral operator with non-Carleman shift and conjugation