D.15.16 ringgb_lib

Library:

ringgb.lib

Purpose:

Functions for coefficient rings

Author:

Oliver Wienand, email: wienand@mathematik.uni-kl.de

Procedures:

D.15.16.1 findZeroPoly		finds a vanishing polynomial for reducing f
D.15.16.2 zeroReduce		normal form of f concerning the ideal of vanishing polynomials
D.15.16.3 testZero		tests f defines the constant zero function
D.15.16.4 noElements		the number of elements of the coefficient ring, if of type (integer, ...)