LeftContraction

The left contraction $a \lrcorner b$: the geometric product of $a$ and $b$ at grade $|b|-|a|$, zero when $a$ has the higher grade.

LeftContraction(a, b)$a \lrcorner b$, the geometric product of $a$ and $b$ at grade $|b|-|a|$

Typed signatures

Type	Package	Applies
(number, number) -> number	geometric	always

Domain: Geometric algebra

Examples

Basic #

Contracting $e_1$ out of $e_1e_2$ leaves $e_2$

live ↗

In$\mathrm{LeftContraction}(e_1, e_1e_2)$Out$e_2$

About

Examples	1

See also: RightContraction, ScalarProduct