quaternion-prod properly converts the result to row vector form