HopfTensor

One tensor pair of a Coproduct expansion, $\text{left} \otimes \text{right}$ — its own head because CircleTimes already names the shared ordered product.

HopfTensor(left, right)$\text{left} \otimes \text{right}$, one summand of a coproduct

Typed signatures

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

Domain: Hopf algebras

Examples

Basic #

Coproduct of $H_1$ is a sum of HopfTensor pairs

live ↗

In$\mathrm{Coproduct}(\mathrm{NSymH}(\bigl\lbrack1\bigr\rbrack))$Out$\mathrm{HopfTensor}(\mathrm{NSymH}(\bigl\lbrack\bigr\rbrack), \mathrm{NSymH}(\bigl\lbrack1\bigr\rbrack))+\mathrm{HopfTensor}(\mathrm{NSymH}(\bigl\lbrack1\bigr\rbrack), \mathrm{NSymH}(\bigl\lbrack\bigr\rbrack))$

About

Examples	1

See also: Coproduct