Given that on the input we discuss that answers returned by msolve don't make
sense,
we should leave it in place.
IMHO msolve tries to find a univariate representation for the solutions, and so
it needs a big field to work in - and I don't even know whether there any
pitfalls with this approac
Hi Marc,
On Sun, Jun 30, 2024 at 8:04 AM Marc Mezzarobba wrote:
>
> 'Peter Mueller' via sage-devel wrote:
> > R. = GF(2)[]
> > L = [a^2+a, b^2+b]
> > I = ideal(L)
> > V = I.variety(algorithm='msolve', proof=False)
> >
> > raises a `ValueError: positive-dimensional ideal`, which of course is
> > n
On Sun, Jun 30, 2024 at 12:08 PM 'Peter Mueller' via sage-devel
wrote:
>
> OK, it apparently was a bug of the previous version of msolve: For `msolve -P
> 2 -f file.ms` with msolve 0.6.5-2 yields the wrong result claiming that the
> dimension is positive, no matter whether file.ms ends with a ne
