Sums of squares in Macaulay2
arXiv:1812.05475 · doi:10.2140/jsag.2020.10.17
Abstract
The Macaulay2 package SumsOfSquares decomposes polynomials as sums of squares. It is based on methods to rationalize sum-of-squares decompositions due to Parrilo and Peyrl. The package features a data type for sums-of-squares polynomials, support for external semidefinite programming solvers, and optimization over varieties.
arXiv comment8 pages, source code is included in Macaulay2 distribution, final version accepted for publication in Journal of Software for Algebra and Geometry