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