Changeset fe8998f in git

Timestamp:

Dec 17, 2018, 2:15:00 AM (5 years ago)

Author:

Viktor Levandovskyy <levandov@…>

Branches:

(u'spielwiese', '2fa36c576e6a4ddbb1093b43c7f8e9835e17e52a')

Children:

311eaa4f99df71e441076b65a8c7bdee8958fa87

Parents:

d57b669d3660a3e406b7c50286629c7ac682b67c

Message:

mini changes in doc

File:

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

Singular/LIB/freegb.lib

@@ -5 +5 @@
 LIBRARY: freegb.lib   Two-sided Groebner bases in free algebras and tools via Letterplace approach
 AUTHORS: Viktor Levandovskyy,   viktor.levandovskyy at math.rwth-aachen.de
-         Grischa Studzinski,    grischa.studzinski at math.rwth-aachen.de
-         Karim Abou Zeid,       karim.abou.zeid at rwth-aachen.de
+@*       Karim Abou Zeid,       karim.abou.zeid at rwth-aachen.de
+@*       Grischa Studzinski,    grischa.studzinski at math.rwth-aachen.de
 
 OVERVIEW: For the theory, see chapter 'Letterplace' in the Singular Manual.
+
 This library provides access to kernel functions and also contains legacy code (partially as
  static procedures) for compatibility reasons.
@@ -22 +23 @@
 
 PROCEDURES:
-makeLetterplaceRing(d);          creates a ring with d blocks of shifted original variables
+makeLetterplaceRing(d);          creates a Letterplace ring out of given data
 setLetterplaceAttributes(R,d,b); supplies ring R with the letterplace structure
 lieBracket(a,b[, N]);            Lie bracket ab-ba of two letterplace polynomials
@@ -32 +33 @@
 isVar(p);                        check whether p is a power of a single variable
 
-lpLmDivides(ideal I, poly p)     tests if there is a polynomial q in I with LM(q)|LM(p)
-lpVarAt(poly p, int pos)         returns the variable (as a poly) at position pos of the poly p
+lpLmDivides(ideal I, poly p);    tests whether there exists q in I, such that LM(q)|LM(p)
+lpVarAt(poly p, int pos);        returns the variable (as a poly) at position pos of the poly p
 
 SEE ALSO: fpadim_lib, fpaprops_lib, fpalgebras_lib, LETTERPLACE