An object of class GCAlgebra represents a Grassmann-Cayley algebra. The Grassmann-Cayley algebra may be viewed as an algebra of linear subspaces of $\mathbb{P}^{d−1}.$ In this algebra, there are two operations which correspond to the join and meet of subspaces. We denote these operators by * and ^, respectively. The first operator is simply multiplication in a skew-commutative polynomial ring $\mathbb{C}\langle a_1, . . . , a_n\rangle.$ An algebraic formula for the meet operator is more complicated, but it can be defined using the so-called shuffle product.
As a $k-$vector space, the Grassmann-Cayley algebra has a direct-sum decomposition $$\oplus_{k=0}^d\Lambda^k(a_1, \ldots, a_n)$$ where $\Lambda^k(a_1,\ldots, a_n)$ is the vector space of extensors of the form $a_{i_1}\cdots a_{i_k}.$ We may identify $\Lambda^d(a_1, \ldots, a_n)\cong B_{n,d}$ with the BracketRing.
The object GCAlgebra is a type, with ancestor classes AbstractGCRing (missing documentation) < HashTable < Thing.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/Brackets.m2:479:0.