Changeset 43e3e7 in git


Ignore:
Timestamp:
Dec 19, 2013, 7:10:51 PM (11 years ago)
Author:
Oleksandr Motsak <motsak@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b52fc4b2495505785981d640dcf7eb3e456778ef')
Children:
7d6b46b1e32c6f00526d9f506b4770b33c56a078
Parents:
3704689516d0ca11e78148efc9c5c35f6a4bbef8
Message:
Final overview fix (schreyer.lib)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/schreyer.lib

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