Changeset 91a0ec1 in git

Timestamp:

Oct 24, 2018, 6:50:07 PM (6 years ago)

Author:

Viktor Levandovskyy <levandov@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')

Children:

b6b95b3bfd0ae62f05831baf6e66e376305769b4

Parents:

6e840f83060098e5a708d545561795f9f83b91ed

Message:

fixes and additions of procs like Serre from freegb

File:

• Singular/LIB/fpalgebras.lib (modified) (9 diffs)

Singular/LIB/fpalgebras.lib

@@ -5 +5 @@
 LIBRARY: fpalgebras.lib
 AUTHORS: Karim Abou Zeid,       karim.abou.zeid at rwth-aachen.de
-         Viktor Levandovskyy,   viktor.levandovskyy@math.rwth-aachen.de
+         Viktor Levandovskyy,   viktor.levandovskyy at math.rwth-aachen.de
          Grischa Studzinski,    grischa.studzinski at rwth-aachen.de
 
@@ -15 +15 @@
 FPA stands for finitely presented algebra.
 
-KEYWORDS: free associative algebra; finitely presented algebra; finitely presented group
+KEYWORDS: free associative algebra; finitely presented algebra; finitely presented group; Serre relations
 
 PROCEDURES:
@@ -56 +56 @@
 proc tstfpalgebras()
 {
-  example operatorAlgebra;      
+  example operatorAlgebra;
   example serreRelations;
   example fullSerreRelations;
@@ -451 +451 @@
         weyl1inverse
 
-      This is a collection of common algebras
-
+      This is a collection of common algebras.
 "
 {
@@ -570 +569 @@
       - negative input is only allowed in the group case!
       - d gives a degreebound and must be >m,n
-          - varying n and m produces a family of examples
+      - varying n and m produces a family of examples
 "
 {
@@ -1400 +1399 @@
       - no inverse generators needed
       - d gives the degreebound for the Letterplace ring
-          - varying n and P produces a family of examples
+      - varying n and P produces a family of examples
 "
 {
@@ -1454 +1453 @@
         < x_1, x_2, ... , x_m | x_i * x_(i + 1) = x_(i + 2) >
       - d gives the degreebound for the Letterplace ring
-          - varying m produces a family of examples
+      - varying m produces a family of examples
 "
 {
@@ -1507 +1506 @@
       - g gives the number of the example (1 - 5)
       - d gives the degreebound for the Letterplace ring
-          - varying g produces a family of examples
+      - varying g produces a family of examples
 
 The examples are found in ``Classification of the finite generalized tetrahedron groups''
@@ -1572 +1571 @@
       - g gives the number of the example (1 - 14)
       - d gives the degreebound for the Letterplace ring
-          - varying g produces a family of examples
+      - varying g produces a family of examples
 
 The examples are found in