Projects

We will work on the following projects at this workshop:

Toric Vector Bundles

Lead: Sasha Zotine

Computing comprehensive Gröbner systems

Leads: Giulia Gaggero and Oliver Clarke

Comprehensive Groebner Bases

Groebner bases are familiar objects that allow us to work practically with polynomial ideals. Similarly, Comprehensive Groebner Bases (CGBs) allow us to work with polynomial systems that contain parameter variables. They give a precise description of all Groebner bases that one can encounter by specialising those parameter values; grouping together Groebner bases with a similar shape.

In this project, we will implement a few algorithms for computing CGBs and testing them on small examples. In particular, we will implement the well-known Suzuki--Sato algorithm and, with time permitting, look into some optimisations.

Certified approximation of algebraic varieties

Lead: Kisun Lee

This project aims to prototype certified numerical tools for approximating algebraic varieties inside Macaulay2. Starting from a polynomial system and one nonsingular point, we will construct local tangent-normal coordinates, use interval/Krawczyk certification to validate local boxes, and explore how these certified patches can be extended into curve and surface approximations. The package will also include visualization of certified algebraic varieties.

References: https://arxiv.org/abs/2502.05357, https://arxiv.org/abs/2602.07718

Tropical Geometry

Lead: Diane Maclagan

We will work on improving the Tropical.m2 package, and updating gfanInterface.m2 for the new release of gfan.