On 2014-11-11 00:20, William Stein wrote:
Jeroen Demeyer reported it -- did you also *find* it Jeroen?
Most likely I noticed the bug while working on
http://trac.sagemath.org/ticket/14007
A few mistakes I notices while reading this:
* 50 <= n <= 63 should be 51 <= n <= 63
* The sentence "A recent tweak of another part of Sage’s matrix code had
changed the definition of “small n” to n <= 63." is wrong:
what had changed is the bound on p to compute the determinant over GF(p)
using LinBox (for larger p, we compute determinants over GF(p) by
lifting to ZZ): it used to be the case that the bound in LinBox depended
on n, this was changed to a fixed bound for p which was less than the
old value for n <= 63. For n >= 64, the new bound on p was larger than
the old bound, so that still worked.
Also, I think I wrote a very cool random doctest in that ticket: it
checks that the determinant of the square of a random matrix is a
square, perhaps it's worth mentioning that.
* Is Jeroen Demeyer still a postdoc?
Yes.
--
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
