Singular Manual: customstd_lib

> | ### D.14.2 customstd_lib Library: customstd.lib Purpose: Load customstd.so Authors: Hans Schoenemann, hannes at mathematik.uni-kl.de Yue Ren, ren at mathematik.uni-kl.de Overview: This library offers customly modified standard bases algorithms in order to increase the performance of other algorithms. If you require a customly modified standard bases algorithm, please contact the authors. Procedures:
> D.14.2.1 monomialabortstd |  |
> D.14.2.2 satstd |  |

User manual for Singular version 4-2-0p1, 2020, generated by texi2html.