Paul Breiding

The problem here is that your system of equations is homogeneous. The software detects this and then tries to find zeros in projective space. However, if there is only 1...

The question is: is it worth it to catch this special case? > ```julia > function Base.showerror(io::IO, E::KeywordArgumentException) > print(io, "Invalid argument $(E.given) for $(E.key). ", E.msg) > end >...

Thanks. This is a good idea. I pushed another commit to update all functions that call `is_real`.

> > If there's ever a v3 of this package, there are two points that might be worth consideration: I plan to have a v3 when the work on [numerical...

> > Do you mean that, when both tolerances are given, both conditions should be satisfied for `is_real` to return `true`? > > Right: this PR currently returns `true` only...

Hi, a sign of life from me: I will review your changes asap, but I'm at a conference this week and so it might take a few more days.

This is the same issue discussed in #543.

This could be an issue, indeed. But even if you use the correct type, your system seems to large to be handled by `solve`. Try instead[ numerical irreducible decomposition ](https://www.juliahomotopycontinuation.org/guides/nid/)....

Interesting. I will look into it (note that I'm the only maintainer at this point, so it will take me some time. Sorry...)

Hi, the problem here is that using Arblib 1.0 or newer causes some of the crucial tests in HomotopyContinuation to fail. I'm on it, but I don't know how long...