@@ -2190,6 +2190,9 @@ cdef class Matrix_mod2_dense(matrix_dense.Matrix_dense): # dense or sparse
2190
2190
2191
2191
TESTS:
2192
2192
2193
+ This algorithm works correctly for the matrix in
2194
+ Example 3. 7 in [HAM1985 ]_::
2195
+
2193
2196
sage: A = Matrix( GF( 2) , [[1, 1, 0, 0, 0, 0, 0 ],
2194
2197
.... : [1, 1, 0, 0, 0, 0, 0 ],
2195
2198
.... : [1, 1, 0, 1, 0, 0, 0 ],
@@ -2210,7 +2213,8 @@ cdef class Matrix_mod2_dense(matrix_dense.Matrix_dense): # dense or sparse
2210
2213
.... : break
2211
2214
.... : if B[k ][j ] < B[k ][i ]:
2212
2215
.... : break
2213
- .... :
2216
+ sage: flag
2217
+ True
2214
2218
sage: for i in range( B. nrows( )) :
2215
2219
.... : for j in range( i) :
2216
2220
.... : for k in reversed( range( B. ncols( ))) :
@@ -2219,7 +2223,6 @@ cdef class Matrix_mod2_dense(matrix_dense.Matrix_dense): # dense or sparse
2219
2223
.... : break
2220
2224
.... : if B[j ][k ] < B[i ][k ]:
2221
2225
.... : break
2222
- .... :
2223
2226
sage: flag
2224
2227
True
2225
2228
sage: r, c = A. doubly_lexical_ordering( inplace=True)
@@ -2232,8 +2235,8 @@ cdef class Matrix_mod2_dense(matrix_dense.Matrix_dense): # dense or sparse
2232
2235
sage: r, c = A. doubly_lexical_ordering( inplace=True)
2233
2236
Traceback ( most recent call last) :
2234
2237
...
2235
- TypeError: This matrix is immutable and can thus not be changed. Use inplace=False or create a mutable copy .
2236
-
2238
+ TypeError: This matrix is immutable and can thus not be changed.
2239
+ Use inplace=False or create a mutable copy .
2237
2240
"""
2238
2241
2239
2242
if inplace and self .is_immutable():
0 commit comments