Procedures:
D.15.17.1 findZeroPoly finds a vanishing polynomial for reducing f D.15.17.2 zeroReduce normal form of f concerning the ideal of vanishing polynomials D.15.17.3 testZero tests f defines the constant zero function D.15.17.4 noElements the number of elements of the coefficient ring, if of type (integer, ...)