Paul Breiding

It's true: fractional powers are not supported by `model_kit`. Can you send a short example? Could it be an option to define a custom homotopy? See here: https://github.com/JuliaHomotopyContinuation/HomotopyContinuation.jl/blob/d40ec60f387e8144d7c36439af9e8a3c46efff8d/src/model_kit/abstract_system_homotopy.jl#L87-L103

> Would there be interest that at some future point in time your work is available from the JuMP ecosystem? Absolutely, yes. It is certainly a good idea to integrate...

I would not put inequality constraints, but simply check a posteriori, which variables satisfy the constraints. You should also note that homotopy continuation computes in C, so the variable explosion...

Hi, for such problems that have inequalities one can use the [KTT conditions](https://en.wikipedia.org/wiki/Karush–Kuhn–Tucker_conditions). Below, you can find code that writes down those conditions for your toy problem. This system, however,...

> Solving optimization problems using solvers for systems of algebraic equations might seem crazy as there may be too many solution It's not crazy for some optimization problems. A rule...

I understand, but is it a polynomial (univariate) or a system of polynomial equations?

This is not supposed to happen. We'll fix it (currently discussing how...). For now, you can use the following code: `to_number.(expand.(F([2])))`.

I think yes, there is still interest. But the mentorship should be done by @saschatimme (because he coded this part) and I don't know if he has the capacities at...

Hi, can you send the complete code (including variable declaration)?

Hi, at least on our side we have not tried to integrate HC.jl with MTK. The first integration into DiffEqBiological.jl was done by an external person. I don't think that...