computeComponent -- Finds all minimal generators of a given multidegree in the kernel of a ring map
Grading -- a matrix which gives a homogeneous multigrading on a polynomial map
interpolateComponent -- Finds all minimal generators of a given multidegree in the kernel of a ring map by sampling points in the corresponding variety and then interpolating.
maxGrading -- computes the maximal $\mathbb{Z}^k$ grading such that $\ker(F)$ is homogeneous
PreviousGens -- a list previously computed generators of the kernel of a map
ReturnTargetGrading -- return the grading on the target ring of a polynomial map which induces a grading on the kernel
trimBasisInDegree -- Finds a basis for the homogeneous component of a graded ring but removes basis elements which correspond to previously computed generators.
UseInterpolation -- use interpolation to find polynomials in the kernel of a map
UseMatroid -- use the algebraic matroid of a polynomial map represented by the jacobian to skip computation of irrelevant components of the kernel