Macaulay2 » Documentation
Packages » MultigradedImplicitization :: MultigradedImplicitization
next | previous | forward | backward | up | index | toc

MultigradedImplicitization -- Package for levaraging multigradings to solve implicitization problems

Description

The MultigradedImplicitization package provides methods for computing the maximal $\mathbb{Z}^k$ grading in which the kernel of a polynomial map $F$ is homogeneous and exploiting it to find generators of $\ker(F)$. This package is particularly useful for problems from algebraic statistics which often involve highly structured maps $F$ which are often naturally homogeneous in a larger multigrading than the standard $\mathbb{Z}$-multigrading given by total degree. For more information on this approach see the following:

References:

[1] Cummings, J., & Hollering , B. (2023). Computing Implicitizations of Multi-Graded Polynomial Maps. arXiv preprint arXiv:2311.07678.

[2] Cummings, J., & Hauenstein, J. (2023). Multi-graded Macaulay Dual Spaces. arXiv preprint arXiv:2310.11587.

[3] Cummings, J., Hollering, B., & Manon, C. (2024). Invariants for level-1 phylogenetic networks under the cavendar-farris-neyman model. Advances in Applied Mathematics, 153, 102633.

Authors

Version

This documentation describes version 1.1 of MultigradedImplicitization, released May 15, 2025.

Citation

If you have used this package in your research, please cite it as follows:

@misc{MultigradedImplicitizationSource,
  title = {{MultigradedImplicitization: solving implicitization problems using multigradings. Version~1.1}},
  author = {Joseph Cummings and Benjamin Hollering and Mahrud Sayrafi},
  howpublished = {A \emph{Macaulay2} package available at
    \url{https://github.com/Macaulay2/M2/tree/stable/M2/Macaulay2/packages}}
}

Exports

  • Functions and commands
    • componentsOfKernel -- Finds all minimal generators up to a given total degree in the kernel of a ring map
    • computeComponent -- Finds all minimal generators of a given multidegree in the kernel of a ring 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
    • trimBasisInDegree -- Finds a basis for the homogeneous component of a graded ring but removes basis elements which correspond to previously computed generators.
  • Methods
    • componentsOfKernel(Number,RingMap) -- see componentsOfKernel -- Finds all minimal generators up to a given total degree in the kernel of a ring map
    • computeComponent(List,Ring,RingMap) -- see computeComponent -- Finds all minimal generators of a given multidegree in the kernel of a ring map
    • computeComponent(List,Ring,RingMap,HashTable) -- see computeComponent -- Finds all minimal generators of a given multidegree in the kernel of a ring map
    • computeComponent(List,Ring,RingMap,Matrix) -- see computeComponent -- Finds all minimal generators of a given multidegree in the kernel of a ring map
    • interpolateComponent(List,Matrix) -- see 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,Ring,List,HashTable) -- see 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,Ring,RingMap) -- see 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(RingMap) -- see maxGrading -- computes the maximal $\mathbb{Z}^k$ grading such that $\ker(F)$ is homogeneous
    • trimBasisInDegree(List,Ring,HashTable) -- see 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,List,HashTable) -- see trimBasisInDegree -- Finds a basis for the homogeneous component of a graded ring but removes basis elements which correspond to previously computed generators.
  • Symbols
    • Grading -- a matrix which gives a homogeneous multigrading on a polynomial map
    • 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
    • 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

For the programmer

The object MultigradedImplicitization is a package, defined in MultigradedImplicitization.m2.


The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/MultigradedImplicitization.m2:413:0.