|
7.7.8.0. findAuto
Procedure from library involut.lib (see involut_lib).
- Usage:
- findAuto(n); n an integer
- Return:
- a ring together with a list of pairs L, where
L[i][1] = ideal; a Groebner Basis of an i-th associated prime,
L[i][2] = matrix, defining a linear map, with entries, reduced with respect to L[i][1]
- Purpose:
- compute the ideal of linear automorphisms of the basering,
given by a matrix, n-th power of which gives identity (i.e. unipotent matrix)
- Assume:
- the relations on the algebra are of the form YX = XY + D, that is
the current ring is a G-algebra of Lie type.
- Note:
- if n=0, a matrix, defining an automorphism is not assumed to be unipotent
but just non-degenerate. A nonzero parameter @p is introduced as the value of
the determinant of the matrix above.
For convenience, the full ideal of relations idJ and the initial matrix with indeterminates
matD are mutually exported in the output ring
Example:
See also:
findInvo.
|