|
7.7.8.0. findInvoDiag
Procedure from library involut.lib (see involut_lib).
- Usage:
- findInvoDiag();
- 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 homothetic (diagonal) 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:
findInvo;
involution.
|