Changeset 17f3f83 in git

Timestamp:

Jan 7, 2022, 7:17:59 PM (17 months ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '0604212ebb110535022efecad887940825b97c3f')

Children:

d9a10e6ac6cd0312b9392b85a989f366d7075e0c

Parents:

18133150ce5e8460db28913049a01db5d86041bc

Message:

doc: more description for groebner(I,"HC")

Files:

• Singular/LIB/standard.lib (modified) (3 diffs)
• doc/reference.doc (modified) (previous)

Singular/LIB/standard.lib

@@ -1 +1 @@
 ///////////////////////////////////////////////////////////////////////////
-version="version standard.lib 4.2.1.1 Jul_2021 "; // $Id$
+version="version standard.lib 4.3.0.0 Jan_2022 "; // $Id$
 category="Miscellaneous";
 info="
@@ -822 +822 @@
            specified by @code{\"std\"} or by @code{\"slimgb\"}
            (not for all orderings implemented). @*
-         - @code{\"HC\"}: using the \"high corner\" from char p in char 0.@*
+         - @code{\"HC\"}: using the \"high corner\" from char p in char 0,
+           finding a SB for 0-dimensional ideals in local orderings faster.@*
          A further string @code{\"par2var\"} converts parameters to an extra
          block of variables before a Groebner basis computation (and
@@ -834 +835 @@
          parameters/variables by integers, etc.). @*
 SEE ALSO: stdhilb, stdfglm, std, slimgb, modstd_lib, ffmodstd_lib, nfmodstd_lib
-KEYWORDS: groebner basis computations
+KEYWORDS: groebner basis computations; high corner method; highcorner
 EXAMPLE: example groebner;  shows an example"