genMinDisIdeal -- generalized minimum distance function of an ideal

Returns the value of the generalized minimum distance function (GMDF) of the ideal I on the parameters d and r. The GMDF generalizes the Hamming weights of Reed-Muller-type codes. The integers d and r indique that the function is computing the degree of the ideal generated by r-tuples of polynomials of degree at most d that are linearly independent modulo the ideal I. More information about the GMDF can be found in Definition 1.1 at https://arxiv.org/pdf/1812.06529v1.pdf.