|
7.7.7.0. serreRelations
Procedure from library freegb.lib (see freegb_lib).
- Usage:
- serreRelations(A,z); A an intmat, z an int
- Return:
- ideal
- Assume:
- basering has a letterplace ring structure and
A is a generalized Cartan matrix with integer entries
- Purpose:
- compute the ideal of Serre's relations associated to A
Example:
|