Added Scalar product helper operator.
Fixed the bug `toPolynomial' function doesn't return normal form.