D.14.3 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.3.1 monomialabortstd
D.14.3.2 satstd