|
7.7.8.0. findInvo
Procedure from library involut.lib (see involut_lib).
- Usage:
- findInvo();
- Return:
- a ring containing a list L of pairs, 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:
- computed the ideal of linear involutions of the basering
- 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:
- for convenience, the full ideal of relations
idJ
and the initial matrix with indeterminates matD are exported in the output ring
Example:
See also:
findInvoDiag;
involution.
|