msolve apparently ignores the last line of the input file if it does not
end with a newline character. If one adds it, then it yields the correct
result. The doc of msolve ("2 Input file format") probably should be
clearer about that.
I guess that in your snippet, you manually typed the `enter` key after the
`cat` command in the console.
-- Peter Mueller
Marc Mezzarobba schrieb am Sonntag, 30. Juni 2024 um 09:04:28 UTC+2:
> 'Peter Mueller' via sage-devel wrote:
> > R.<a, b> = 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
> > nonsense. Exporting the system to an msolve-readable file and using
> > msolve directly (with the -P 2 flag) returns the correct result.
>
> What exact command are you using to run msolve, and what does your input
> file contain? On my system:
>
> ~$ cat /tmp/tmprcz_zw9l
> a,b
> 2
> a^2+a,
> b^2+b
> ~$ msolve -P 2 -f /tmp/tmprcz_zw9l
> [1, 3, -1, []]:
>
> --
> Marc
>
>
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-devel/21df214b-e36f-4648-8b5e-8503ce89311cn%40googlegroups.com.
