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. So this does not seem to be an msolve bug, but probably a Sage error in parsing the msolve output. (My system msolve has version 0.6.6-1, but the same happened with 0.6.5). My SageMath version is 10.4.rc1. With Sage 10.3, this examples raises a `NotImplementedError: characteristic 2 too small`. So it seems that for the time being, one has to write one's own interface to msolve :-( -- Peter Mueller -- 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/9797dd62-8088-42a9-9a9e-2b690cc10a51n%40googlegroups.com.
