#20493: Rank of random matrices over GF(2) is bounded (again)
-------------------------------------------------+-------------------------
       Reporter:  kedlaya                        |        Owner:
           Type:  defect                         |       Status:  new
       Priority:  major                          |    Milestone:  sage-7.2
      Component:  linear algebra                 |   Resolution:
       Keywords:  random matrices, rank,         |    Merged in:
  pseudorandom numbers                           |    Reviewers:
        Authors:                                 |  Work issues:
Report Upstream:  N/A                            |       Commit:
         Branch:                                 |     Stopgaps:  todo
   Dependencies:                                 |
-------------------------------------------------+-------------------------

Comment (by kedlaya):

 The relevant code fragment from
 `sage.matrix.matrix_mod2_dense.Matrix_mod2_dense.randomize` appears to be:
 {{{
 assert(sizeof(m4ri_word) == 8)
 mask = __M4RI_LEFT_BITMASK(self._entries.ncols % m4ri_radix)
 for i from 0 <= i < self._nrows:
     for j from 0 <= j < self._entries.width:
         # for portability we get 32-bit twice rather than 64-bit once
         low = gmp_urandomb_ui(rstate.gmp_state, 32)
         high = gmp_urandomb_ui(rstate.gmp_state, 32)
         self._entries.rows[i][j] = m4ri_swap_bits( ((<unsigned long
 long>high)<<32) | (<unsigned long long>low) )
     self._entries.rows[i][self._entries.width - 1] &= mask
 }}}

--
Ticket URL: <http://trac.sagemath.org/ticket/20493#comment:1>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to