Macaulay2 » Documentation
Packages » PathSignatures :: tensorExp
next | previous | forward | backward | up | index | toc

tensorExp -- Compute a component of the exponential of a tensor.

Description

Let $T((\mathbb{R}^d))$ denote the dual of the tensor algebra on $\mathbb{R}^d$, i.e., the space $\prod_k (\mathbb{R}^d)^{\otimes k}$. Given $x \in T(\mathbb{R}^d)$ its exponential is $$\exp(x) := \sum_{k \geq 0} \frac{1}{k!} x^{\otimes k} \in T((\mathbb{R}^d)). $$ $\texttt{tensorExp(x,k)}$ computes the degree $k$ component of $\exp(x)$.

If the constant term of the input is not $0$, the exponential can not be expressed with algebraic coefficients. To avoid this case, the method is only implemented for tensors with constant term equal to $0$.

i1 : R = wordAlgebra(2);
i2 : x = [1]_R + [1,2]_R

o2 = Lt Lt +Lt
       1  2   1

o2 : R
i3 : tensorExp(x, 2)

            1   2
o3 = Lt Lt +-Lt
       1  2 2  1

o3 : R

Caveat

The method is implemented only for tensors with constant term $0$.

See also

Ways to use tensorExp:

  • tensorExp(NCRingElement,ZZ)

For the programmer

The object tensorExp is a method function.


The source of this document is in PathSignatures/documentation.m2:918:0.