Top
Back: serreRelations
Forward: isVar
FastBack: fpadim_lib
FastForward: involut_lib
Up: freegb_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
7.7.7.0. fullSerreRelations
Procedure from library freegb.lib (see freegb_lib).

Usage:
fullSerreRelations(A,N,C,P,d); A an intmat, N,C,P ideals, d an int

Return:
ring (and ideal)

Purpose:
compute the inhomogeneous Serre's relations associated to A in given
variable names

Assume:
three ideals in the input are of the same sizes and contain merely
variables which are interpreted as follows: N resp. P stand for negative
resp. positive roots, C stand for Cartan elements. d is the degree bound for
letterplace ring, which will be returned.
The matrix A is a generalized Cartan matrix with integer entries
The result is the ideal called 'fsRel' in the returned ring.

Example:
 


Top Back: serreRelations Forward: isVar FastBack: fpadim_lib FastForward: involut_lib Up: freegb_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.