-
Notifications
You must be signed in to change notification settings - Fork 5
Projects
Welcome to the projects page. Below is a rough division of topics for the workshop based on interests given during registration. Please add your name to the project you would like to work on. If you are interested in working on a project that is not listed, feel free to add it to the list.
As we get closer to the workshop, initial leaders will be identified for each group. At this time, groups will be able to scope out the work for the workshop and larger groups should split into smaller, more focused groups.
Given a reductive group acting linearly on a polynomial ring, the ring of invariants is a finitely generated algebra. One may wish to find an explicit generating set for a ring of invariants, compute its Hilbert series, or provide bounds on the degrees of the generators. The Macaulay2 package InvariantRing implements algorithms for finite groups. This project will focus on implementing some of the available algorithms for reductive groups; this includes the general algorithm of Derksen-Kemper, as well as more specialized algorithms for tori, Hilbert series, and Reynolds operators of semisimple groups.
- Luigi Ferraro
- Fred Galetto
- Francesca Gandini (Leader)
- Hang Huang
- Matthew Mastroeni
- Xianglong Ni
Currently there is a single package dealing with statistics in Macaulay2, Markov. This package constructs Markov ideals, arising from Bayesian networks in Statistics. Due to the development of Algebraic Statistics, a new package would be useful in order to consolidate and extend methods to calculate Maximum Likelihood Estimate degree for specific ideals and varieties; enhance and refine homotopy continuation methods for different parametrizations of statistical models.
- Marc Harkonen (Leader)
- Benjamin Hollering
- Aida Maraj
- Jose Israel Rodriguez (Leader)
- Joseph Skelton
- Fatemeh Tarashi Kashani
Coding theory is a branch of information theory that was originally developed to reliably transmit information through a noisy communication channel. Interesting parameters, such as dimension and length , of certain families of codes are related to dimension and degree of certain algebraic varieties, which can be studied using methods of computational commutative algebra. Another important concept is the minimum distance, which is related to the number of errors that can be corrected when the information is transmitted. This notion was generalized to graded ideals in which allows to find lower bounds for minimum distance using Gröbner bases and Hilbert functions. The goal of this project is to review the existing literature for procedures and algorithms that can be coded and distributed as a package to streamline future computations in coding theory using Macaulay2.
- Taylor Ball
- Eduardo Camps
- Henry Chimal Dzul
- Delio Jaramillo
- Hiram López (Leader)
- German Vera Martínez
- Nathan Nichols
- Matt Perkins
- Ivan Soprunov
- Branden Stone (Leader)
- Gwyneth Whieldon (Leader)
Refining and developing methods for working with toric maps and doing intersection theory calculations. We anticipate that these advancements will be incorporated into the NormalToricVarieties package.
- Matthew Faust
- Diane Maclagan (Leader)
- Maryam Nowroozi
- Erika Pirnes
- Ritvik Ramkumar
- Mahrud Sayrafi
- Gregory G. Smith (Leader)
- Rachel Webb
- Jay Yang
- Justin Chen (Leader)
- Leah Gold
- Anton Leykin (Leader)
- Kelly Maluccio
A package that uses external optimization software (SCIP) to speed up some algebraic computations in M2, and add some additional functions related to enumerating monomial ideals with particular properties (fixed Hilbert function, Betti numbers, etc.).
- Courtney Gibbons
- Lily Silverstein (Leader)
- Jay White
- Michael Burr (Leader)
- Tim Duff
- Elise Walker
FastLinAlg is a for computing (applications of) function field linear algebra more quickly in certain settings. This package needs some development as it is still experimental. It provides functionality for doing certain linear algebra operations in function fields quickly.
- Mary Barker
- Sankhaneel Bisui
- Zhan Jiang
- Sarasij Maitra
- Thai Nguyen
- Andrew Tawfeek
- Karl Schwede (Leader)
Numerical Certification (alpha-theory, interval arithmetic for certifying roots of polynomial systems)
- Kisun Lee (Leader)
- Thomas Yahl
There are many unaddressed issues on Macaulay2's issue page. This group will work on understanding and fixing issues, with the goal of contributing pull requests to the main Macaulay2 repository.
- Daoji Huang
- Dylan Peifer (Leader)