Changeset ad3ca2d in git

Timestamp:

Oct 28, 2017, 12:23:10 PM (6 years ago)

Author:

Karim Abou Zeid <karim23697@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

0295e4d87eff012ab050926b956ceff356c50508

Parents:

4704f1f58e76fe37b2ac4d5e330d86117c6c852c

Message:

Update fpadim doc

File:

• Singular/LIB/fpadim.lib (modified) (3 diffs)

Singular/LIB/fpadim.lib

@@ -31 +31 @@
 @*      monomial in V the whole graph can be described only from the knowledge
 @*      of the mistletoes. Note that V corresponds to a basis of A/<GB>, so
-@*      knowing the mistletoes we know a K-basis. For more details see
-@*      [studzins]. This package uses the Letterplace format introduced by
-@*      [lls]. The algebra can either be represented as a Letterplace ring or
-@*      via integer vectors: Every variable will only be represented by its
-@*      number, so variable one is represented as 1, variable two as 2 and so
-@*      on. The monomial x_1*x_3*x_2 for example will be stored as (1,3,2).
-@*      Multiplication is concatenation. Note that there is no algorithm for
-@*      computing the normal form yet, but for our case it is not needed.
+@*      knowing the mistletoes we know a K-basis. The name mistletoes was given
+@*      to those points because of these miraculous value and the algorithm is
+@*      named sickle, because a sickle is the tool to harvest mistletoes.
+@*      For more details see [studzins]. This package uses the Letterplace
+@*      format introduced by [lls]. The algebra can either be represented as a
+@*      Letterplace ring or via integer vectors: Every variable will only be
+@*      represented by its number, so variable one is represented as 1,
+@*      variable two as 2 and so on. The monomial x_1*x_3*x_2 for example will
+@*      be stored as (1,3,2). Multiplication is concatenation. Note that there
+@*      is no algorithm for computing the normal form yet, but for our case it
+@*      is not needed. Note that the name fpadim.lib is short for dimensions of
+@*      finite presented algebras.
 @*
 
-References:
+REFERENCES:
 
 @*   [ufna] Ufnarovskij: Combinatorical and asymptotic methods in algebra, 1990
@@ -49 +53 @@
                      associative algebras, Diploma thesis, RWTH Aachen, 2010
 
-Assumptions:
+ASSUMPTIONS:
 @* - basering is always a Letterplace ring
 @* - all intvecs correspond to Letterplace monomials
@@ -59 +63 @@
 PROCEDURES:
 
-lpGkDim(G);                computes the Gelfand Kirillov dimension of A/<G>
+lpGkDim(G);                        computes the Gelfand Kirillov dimension of A/<G>
 ivDHilbert(L,n[,d]);       computes the K-dimension and the Hilbert series
 ivDHilbertSickle(L,n[,d]); computes mistletoes, K-dimension and Hilbert series