Redefinition of the class Quaternion