Skip to content

DualAlgebra ​

The multi-dual algebra R[ε1,…,εn]/(εk2)\mathbb{R}[\varepsilon_1,\ldots,\varepsilon_n]/(\varepsilon_k^2) on nn commuting nilpotent generators, each squaring to 00.

DualAlgebra(n)the dual algebra on nn commuting nilpotent generators
Typed signatures
TypePackageApplies
(integer) -> clifford_algebrahypercomplexalways

Domain: Hypercomplex algebra

Examples

Basic #

222^2

live ↗
InAlgebraDimension(DualAlgebra(2))\mathrm{AlgebraDimension}(\mathrm{DualAlgebra}(2))Out44

{1,ε1}\{1,\varepsilon_1\}

live ↗
InBasis(DualAlgebra(1))\mathrm{Basis}(\mathrm{DualAlgebra}(1))Out[1,ϵ1]\bigl\lbrack1, \epsilon_1\bigr\rbrack
About
Examples2
CrosswalkWikipedia

See also: Basis, MulticomplexAlgebra, SplitAlgebra