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