Clifford Algebras

• Introduction
• Clifford Algebras
  • CliffordAlgebra(Q): AlgMatElt → AlgClff, ModTupFld, Map
  • CliffordAlgebra(V): ModTupFld → AlgClff, Map
  • Example: Cliff Quat Ex
  • Print Names for Generators
    • AssignNames(~C, S): AlgClff, [ MonStgElt ])
    • Name(C, i): AlgClff, RngIntElt → AlgClffElt
    • AsPolynomial(v): AlgClffElt
    • Example: Clifford Gen
    • Example: Clifford Names
  • Elements of a Clifford Algebra
    • elt< C | r₁, r₂, ..., rₘ >: AlgClff, RngElt, RngElt, ..., RngElt → AlgClffElt
    • C ! L: AlgClff, SeqEnum[RngElt] → AlgGenElt
    • SeqToClifford(C, ss): AlgClff, SeqEnum → AlgClffElt
    • SeqFromClifford(v): AlgClffElt → SeqEnum
    • Example: Eltfromseq
    • BasisProduct(C, i, j): AlgClff, RngIntElt, RngIntElt → AlgGenElt
    • BasisProduct(C, L): AlgClff, SeqEnum → AlgGenElt
    • BasisElement(C, S): AlgClff, SetEnum → AlgClffElt
• The Main Involutions
  • MainInvolution(C): AlgClff → Map
  • MainAntiautomorphism(C): AlgClff → Map
• Clifford Algebra Structure
  • HomogeneousComponent(v,k): AlgClffElt, RngIntElt → AlgClffElt
  • Example: Hom Comp
  • EvenSubalgebra(C : parameters): AlgClff → AlgAss, Map
  • Example: Cliff Gen Quat Ex
  • Centre(C): AlgClff → AlgAss, Map
  • Center(C): AlgClff → AlgAss, Map
  • Example: Even Dim Plus
  • Example: Even Dim Minus
  • Example: Odd Dim
• Vector and Spin Representations
  • The Clifford Group
    • VectorAction(g): AlgClffElt → AlgMatElt
    • Example: Clff Ref
  • Siegel Transformations and Spin Groups
    • Example: siegel
    • Example: vecrep
  • Spin Representations
    • ActionMatrix(S, s): AlgAss, AlgAssElt → AlgMatElt
    • Example: ideals
    • Example: spinrep