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