Coeffs polynomial mult in CKKS

Please see Implement CKKS- coefficient encoding multiplication