maps< SCA, RAT, n_letters, max_degree > Class Template Reference

Provides maps between lie<> and free_tensor<> instances. More...

#include <utils.h>

List of all members.

Public Member Functions
	maps (void)
	Default constructor.
TENSOR	exp (LET l)
	Computes the free_tensor truncated exponential of a free lie element.
TENSOR	l2t (const LIE &arg)
	Returns the free_tensor corresponding to a free lie element.
LIE	t2l (const TENSOR &arg)
	Returns the free lie element corresponding to a tensor_element.
const LIE &	rbraketing (const TKEY &k)
	For a1,a2,...,an, return the expression [a1,[a2,[...,an]]].
const TENSOR &	expand (const LKEY &k)
	Returns the free_tensor corresponding to the Lie key k.

---

Detailed Description

template<typename SCA, typename RAT, DEG n_letters, DEG max_degree>
class maps< SCA, RAT, n_letters, max_degree >

Provides maps between lie<> and free_tensor<> instances.

---

Member Function Documentation

template<typename SCA , typename RAT , DEG n_letters, DEG max_degree>

const TENSOR& maps< SCA, RAT, n_letters, max_degree >::expand

(

const LKEY &

k

)

[inline]

Returns the free_tensor corresponding to the Lie key k.

For performance reasons, the already computed expressions are stored in a static table to speed up further calculus. The function returns a constant reference to an element of this table.

template<typename SCA , typename RAT , DEG n_letters, DEG max_degree>

const LIE& maps< SCA, RAT, n_letters, max_degree >::rbraketing

(

const TKEY &

k

)

[inline]

For a1,a2,...,an, return the expression [a1,[a2,[...,an]]].

For performance reasons, the already computed expressions are stored in a static table to speed up further calculus. The function returns a constant reference to an element of this table.

template<typename SCA , typename RAT , DEG n_letters, DEG max_degree>

LIE maps< SCA, RAT, n_letters, max_degree >::t2l

(

const TENSOR &

arg

)

[inline]

Returns the free lie element corresponding to a tensor_element.

This is the Dynkin map obtained by right bracketing. Of course, the result makes sense only if the given free_tensor is the tensor expression of some free lie element.

---

The documentation for this class was generated from the following file:

• libalgebra-demo/libalgebra/utils.h