Tillmann Weisser

By default SumOfSquares handles equality constraints in the domain by working over the quotient ring R[x]/I where I is the ideal generated by the equality constraints. This can lead to...

Use MultivariateBases for comparing coefficients. Dual is MM.Measure in MB. The TestNonNegPoly is adapted in a way that it passes the tests, but is not necessarily useful.

A polynomial equality `p == q` over an ideal generated by polynomials `h[1],...,h[k]` can be expressed in different ways. Currently, a groebner basis of the ideal is computed and `p...

How are variables attributed to polynomials?

3

```julia using DynamicPolynomials @polyvar x[1:4] polys = [1 0 1 0; 0 1 0 1]*x variables.(polys) """ 2-element Array{Array{PolyVar{true},1},1}: [x₁, x₃] [x₁, x₂, x₃, x₄] """ ``` Why is the...

Functions I miss/haven't found:

1

Here are some functions that I miss in SAS.jl (or maybe I just haven't found them yet): ```julia function SemialgebraicSets.inequalities(::AbstractAlgebraicSet) return [] end function polynomials(s::AbstractSemialgebraicSet) return [equalities(s)..., inequalities(s)...] end function...

Apparently there is no reference to your wedding in SumOfSquares. PS: We are starving! PPS: although the cake is doing a great job!