Added remainder computation for symbolic convolution
Changes to preexisting functions