Sascha Timme

I guess we can require for the homogenous check that the system has at least two variables

> Presumeably, HC is not the algorithm of choice for homogenous systems Actually, HC is very good at solving homogenous systems. If a system is homogenous, then the system has...

There's also https://github.com/bifurcationkit/BifurcationKit.jl which should be suited more likely better for this use case

There seems to be a way to extract the exponent vectors and coefficient of the polynomial (see https://nemocas.github.io/AbstractAlgebra.jl/stable/mpolynomial/#Basic-manipulation). If you have the exponents and the coefficients in Matrix and vector...

1. we can only solve polynomial system, so the square root is not allowed 2. Your system has the same zeros if you just omit the sqrt :)

> Regarding 1) - I thought in this issue: https://github.com/JuliaHomotopyContinuation/HomotopyContinuation.jl/issues/498 it was stated that there was support for sqrt on main? Mhm maybe there is a bug then. I will...

I think this should be a valid way to rewrite the system. A more general way of rewriting a system with a sqrt is the following pattern: Starting from ```...

ModelKit is not intended as a full blown symbolic algebra package and does therefore not support many symbolic algorithms. > I have been trying to parse Symbolics expressions to ModelKit...

I don't really understand. Are you looking for solutions with 32 bit precision? In this case just convert the result. We compute internally if needed even with higher precision than...

This is quite a lot of work and I don't think worth it since you are risking lots of path failures ( = possibly missing solutions). I would rather look...