|
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:
|