Benoît Legat

We should probably return `[x=>1.0, y=>-1.0]` instead of just `[1.0, -1.0]`

If the coefficients are parametric expressions, this is definitely supported. For instance, in SumOfSquares/PolyJuMP, the coefficients are JuMP expressions. People also use it with SymPy expressions are coefficients. In fact,...

There are 4 types of `AbstractPolynomialLike`: * `AbstractTermLike` * `AbstractPolynomial` that implement `terms` (e.g. TypedPolynomials`) * `AbstractPolynomial` that implement `coefficients` and `monomials` (e.g. `DynamicPolynomials`). * polynomials that need to be...

In MultivariatePolynomials, everything that is not a `AbstractPolynomialLike` is considered a constant/coefficient. So here, MultivariatePolynomials tries to create a vector with terms for which the coefficients are symbolic expressions. The...

Hi, implementing this would be great. it could be part of a new implementation of MultivariatePolynomials, a proof of concept would be great. Creating new implementaitons of MultivariatePolynomials is now...

It works for me ```julia julia> using TypedPolynomials julia> @polyvar x x julia> p = 0*x 0 ``` what is the crash you are seeing ?

I can reproduce it. The issue is that the polynomial has no terms, (you can check it with `iszero` or `nterms`, it's cheap) so it has troubles inferring the type...

We could have * WeightedPowerMeanCone: prod t_i^(alpha_i) >= x, alpha in interior of simplex * GeneralizedWeightedPowerMeanCone: prod t_i^(alpha_i) >= ||x||_2, alpha in interior of simplex * GeneralizedPowerCone: u^alpha * w^(1...

> This sounds like too many cones some of which aren't necessarily very practically useful in modeling. If we are to add a cone like CBF's power cone with the...

@odow I mentioned GeneralizedPowerCone and GeneralizedGeometricMean just for the sake of experiementing with naming. It would make sense to add GeneralizedWeightedPowerMeanCone to MOI as it's part of CBF Adding WeightedPowerMeanCone...