Top
Back: findInvo
Forward: findAuto
FastBack: freegb_lib
FastForward: gkdim_lib
Up: involut_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
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.


Top Back: findInvo Forward: findAuto FastBack: freegb_lib FastForward: gkdim_lib Up: involut_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.