Formulation of geometric algebra G(P,Q,R) with the multivector structure
(P,Q,R)multivector, which can formulate positive definite, negative definite
and zero quadratic forms.

      (c) Copyright, Capital Normal University, China, 2018.
  Authors: Liming Li, Zhiping Shi, Yong Guan, Guohui Wang, Sha Ma.

     Distributed with HOL Light under the same license terms