'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/v5r01d%24t1l%241%40ciao.gmane.io.
