Changeset 43e3e7 in git

Timestamp:

Dec 19, 2013, 7:10:51 PM (10 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')

Children:

7d6b46b1e32c6f00526d9f506b4770b33c56a078

Parents:

3704689516d0ca11e78148efc9c5c35f6a4bbef8

Message:

Final overview fix (schreyer.lib)

File:

• Singular/LIB/schreyer.lib (modified) (2 diffs)

Singular/LIB/schreyer.lib

@@ -10 +10 @@
    originally meant to be used by @code{derham.lib} (which requires resolutions over the homogenized Weyl algebra). 
    The library works both in the commutative and non-commutative setting (cf. [MO]). 
-   Here, we call a free resolution a Schreyer resolution if any higher syzygy module is a Groebner basis of a previous one 
+   Here, we call a free resolution a Schreyer resolution if each syzygy module is given by a Groebner basis
    with respect to the corresponding Schreyer ordering. 
    A Schreyer resolution can be much bigger than a minimal resolution of the same module, but may be easier to construct.
@@ -19 +19 @@
    containing a list of modules @code{RES} and a module @code{MRES}:
 @* The list of modules @code{RES} contains the images of maps (also called syzygy modules) substituting the
-   computed beginning of a Schreyer resolution, that is, each syzygy module is a Groebner basis 
-   of the previous one with respect to a corresponding Schreyer induced ordering. 
+   computed beginning of a Schreyer resolution, that is, each syzygy module is given by a Groebner basis 
+   with respect to the corresponding Schreyer ordering. 
 @* The list @code{RES} starts with a zero map given by @code{rank(M)} zero generators indicating that the image of 
    the first differential map is zero. The second map @code{RES[2]} is given by @code{M}, which indicates that