Top
Back: involut_lib
Forward: findInvoDiag
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. 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.


Top Back: involut_lib Forward: findInvoDiag 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.