Changeset 909b29 in git

Timestamp:

Dec 21, 2017, 8:01:09 PM (5 years ago)

Author:

Karim Abou Zeid <karim23697@…>

Branches:

(u'spielwiese', '91fdef05f09f54b8d58d92a472e9c4a43aa4656f')

Children:

86d5ade6a65b37e57178a78ac1ba4a5b1a5d5e10

Parents:

5780519ad3509471847f44f46a8a6730fed4bba6

Message:

Apply changes from Levandovskyy

Location:

Singular/LIB

Files:

• fpadim.lib (modified) (4 diffs)
• freegb.lib (modified) (4 diffs)

Singular/LIB/fpadim.lib

@@ -67 +67 @@
 PROCEDURES:
 
+lpMis2Dim(M);              computes the K-dimension of the monomial factor algebra
+lpKDim(G[,d,n]);           computes the K-dimension of A/<G>
+lpDimCheck(G);             checks if the K-dimension of A/<G> is infinite
+lpMis2Base(M);             computes a K-basis of the factor algebra
+lpHilbert(G[,d,n]);        computes the Hilbert series of A/<G> in lp format
+lpDHilbert(G[,d,n]);       computes the K-dimension and Hilbert series of A/<G>
+lpDHilbertSickle(G[,d,n]); computes mistletoes, K-dimension and Hilbert series
+
 ivDHilbert(L,n[,d]);       computes the K-dimension and the Hilbert series
 ivDHilbertSickle(L,n[,d]); computes mistletoes, K-dimension and Hilbert series
@@ -78 +86 @@
 ivSickleHil(L,n[,d]);      computes the mistletoes and Hilbert series of A/<L>
 ivSickleDim(L,n[,d]);      computes the mistletoes and the K-dimension of A/<L>
-lpDHilbert(G[,d,n]);       computes the K-dimension and Hilbert series of A/<G>
-lpDHilbertSickle(G[,d,n]); computes mistletoes, K-dimension and Hilbert series
-lpHilbert(G[,d,n]);        computes the Hilbert series of A/<G> in lp format
-lpDimCheck(G);             checks if the K-dimension of A/<G> is infinite
-lpKDim(G[,d,n]);           computes the K-dimension of A/<G> in lp format
-lpMis2Base(M);             computes a K-basis of the factor algebra
-lpMis2Dim(M);              computes the K-dimension of the factor algebra
 lpOrdMisLex(M);            orders an ideal of lp-monomials lexicographically
 lpSickle(G[,d,n]);         computes the mistletoes of A/<G> in lp format
@@ -2608 +2609 @@
    Here are some examples one may try. Just copy them into your console.
    These are relations for braid groups, up to degree d:
-
 
    LIB "fpadim.lib";
@@ -2825 +2825 @@
 
 
-/*   actual work:
-// downup algebra A
+/*   more tests : downup algebra A
 LIB "fpadim.lib";
 ring r = (0,a,b,g),(x,y),Dp;

Singular/LIB/freegb.lib

@@ -8 +8 @@
 
 OVERVIEW: For the theory, see chapter 'Letterplace' in the @sc{Singular} Manual
+
+Support: Joint projects LE 2697/2-1 and KR 1907/3-1 of the Priority Programme SPP 1489:
+'Algorithmische und Experimentelle Methoden in Algebra, Geometrie und Zahlentheorie'
+of the German DFG
+and Project II.6 of the transregional collaborative research centre
+SFB-TRR 195 'Symbolic Tools in Mathematics and their Application' of the German DFG
 
 PROCEDURES:
@@ -963 +969 @@
 RETURN:  ring
 PURPOSE: creates a ring with the ordering, used in letterplace computations
-NOTE: if h is given and nonzero, the pure homogeneous letterplace block
-@*    ordering will be used.
+NOTE: h = 0 (default) : Dp ordering will be used
+h = 1 : weights 1 used for all the variables, a tie breaker is a list of block
+of original ring
+h = 2 : the pure homogeneous letterplace block ordering (experimental) will be used.
 EXAMPLE: example makeLetterplaceRing; shows examples
 "
@@ -3239 +3247 @@
 "USAGE: lpNF(p,G); f letterplace polynomial, ideal I
 RETURN: poly
-PURPOSE: computation of the normalform of p with respect to G
+PURPOSE: computation of the normal form of p with respect to G
 ASSUME: p is a Letterplace polynomial, G is a set Letterplace polynomials,
 being a Letterplace Groebner basis (no check for this will be done)
@@ -3724 +3732 @@
 }
 
-/* THE FOLLOWING IS UNDER DEVELOPMENT
+/* THE FOLLOWING ARE UNDER DEVELOPMENT
 // copied following from freegb_wrkcp.lib by Karim Abou Zeid on 07.04.2017:
 // makeLetterplaceRingElim(int d)