HasElement

Whether x is an element of a finite-dimensional algebra.

HasElement(algebra, x)Whether x is an element of a finite-dimensional algebra.

Typed signatures

Type	Package	Applies
(any, any) -> unknown	structures	always

Domain: Structures

Details

• The FiniteDimensionalAlgebra protocol's member, and what Element(x, algebra) answers when the algebra's type conforms.

Examples

Basic #

live ↗

In$\mathrm{HasElement}(\mathrm{CliffordAlgebra}(2, 0), e_1e_2)$Out$\mathrm{True}$

$e_3$ is not a generator of $\mathrm{Cl}(2,0)$

live ↗

In$\mathrm{HasElement}(\mathrm{CliffordAlgebra}(2, 0), e_3)$Out$\mathrm{False}$

About

Examples	2

See also: Element, Basis