Top
Back: orbitparam_lib
Forward: matrixExp
FastBack: JMSConst_lib
FastForward: modnormal_lib
Up: orbitparam_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.11.1 tangentGens

Procedure from library orbitparam.lib (see orbitparam_lib).

Usage:
tangentGens(L,v); L list, v matrix.

Assume:
L is a list of strictly upper triangular n x n matrices of same size. The vector space <L> genererated by the elements of L should be closed under the Lie bracket.

v is matrix of constants of size n x 1.

Return:
list, with four entries
- first entry is the dimension of the orbit of under the action of exp(<L>)
- second entry is a list generators of the tangent space of the orbit of v at v under the action of exp(<L>). If the characteristic p of the ground field is positive, then n has to be smaller than p. The generators are elements of <L>.
- third entry is the list of matrices with the coefficient to obtain the generators as a linear combination of the elements of L
- fourth entry is list of integers with entries in v which can be made zero by the action of exp(<L>)

Theory:
We apply the theorem of Chevalley-Rosenlicht.

Example:
 


Top Back: orbitparam_lib Forward: matrixExp FastBack: JMSConst_lib FastForward: modnormal_lib Up: orbitparam_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.