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, ...)