JSC
2016
8 years 1 months ago
2016
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...
JSC
2016
8 years 1 months ago
2016
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 ...
JSC
2016
8 years 1 months ago
2016
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 ...
JSC
2016
8 years 1 months ago
2016
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...