Hi Dima, Dima Pasechnik wrote: > So this is due to "0 < char <= 2**17 and deg != elim.degree()" - added > by you - which does not make sense to me. > Is this "Criterion" no longer applicable?
I don't know. This criterion was suggested to me by Mohab after I complained that msolve -P 1 often returned nonsense in small characteristic. (As far as I understand, there is always a tiny probability that the output is incorrect, but at the time and in this case the probability was not small at all.) I know the developers have made many improvements since, but I don't know if this particular issue is solved or not. -- 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/v5thjl%249g3%241%40ciao.gmane.io.
