componentsOfKernel(...,UseMatroid=>...) -- use the algebraic matroid of a polynomial map represented by the jacobian to skip computation of irrelevant components of the kernel
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.
interpolateComponent(List,Matrix) -- 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.
interpolateComponent(List,Ring,List,HashTable) -- 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.
interpolateComponent(List,Ring,RingMap) -- 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.
trimBasisInDegree(List,Ring,HashTable) -- Finds a basis for the homogeneous component of a graded ring but removes basis elements which correspond to previously computed generators.
trimBasisInDegree(List,Ring,List,HashTable) -- 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