Changeset a2239c in git

Timestamp:

Dec 4, 2014, 5:46:36 PM (9 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

da4424e84b1c8083008690621239777051d934a6

Parents:

6d4083e9b54af6d3545181587f2eacf2f9b04305

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-12-04 17:46:36+01:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-12-04 18:32:58+01:00

Message:

Documentation for schreyer.lib

File:

• Singular/LIB/schreyer.lib (modified) (1 diff)

Singular/LIB/schreyer.lib

@@ -2555 +2555 @@
 
 proc s_res(def I, int l)
-"USAGE:  s_res(M, len)
-RETURN:  SRES, a blackbox object with a Schreyer resolution
-PURPOSE: computes a Schreyer resolution of M of length at most len (see [BMSS])
+"USAGE:  s_res(ideal/module M, int len)
+RETURN:  SRES, a blackbox object containing a (part of) Schreyer resolution
+PURPOSE: compute a Schreyer resolution of M of length at most len (see [BMSS])
 NOTE:    If given len is zero then nvars(basering) + 1 is used instead.
 @* SRES can be printed, treated by betti and minres or converted to list & mapped into the current ring with @code{SRES_list}
 @* This functions is not related to other helpers from this library.
+@* One can switch on computation protocol and statistic (depending on the build) by setting the @code{prot} option.
+@* Further recognized switches are the following attributes of @code{Schreyer::SSinit} procedure:
+LEAD2SYZ, TAILREDSYZ, HYBRIDNF
+DEBUG, ...
 SEE ALSO: sres
 EXAMPLE: example s_res; shows an example