We describe the use of pyramid decomposition in Normaliz, a software tool for the computation of Hilbert bases and enumerative data of rational cones and affine monoids. Pyramid d...
The action of a torus on a graded module over a polynomial ring extends to the entire minimal free resolution of the module. We explain how to determine the action of the torus on ...
We determine necessary and sufficient conditions for a tubular surface to be swung, and viceversa. From these characterizations, we derive two symbolic algorithms. The first one ...
We study the complexity of computation of a tropical Schur polynomial Tsλ where λ is a partition, and of a tropical polynomial Tmλ obtained by the tropicalization of the monomi...