@@ -1627,17 +1627,21 @@ cdef class Matrix_cmr_chr_sparse(Matrix_cmr_sparse):
1627
1627
sage: from sage. matrix. matrix_cmr_sparse import Matrix_cmr_chr_sparse
1628
1628
sage: MFR2cmr = Matrix_cmr_chr_sparse( MS2, MFR2)
1629
1629
sage: MFR2cmr. is_totally_unimodular( certificate=True)
1630
- ( False, ( None , (( 0 , 1, 2 ) , ( 3 , 4, 5 ))))
1630
+ ( False, ( OneSumNode ( 6×14 ) with 2 children , (( 2 , 1, 0 ) , ( 5 , 4, 3 ))))
1631
1631
sage: result, certificate = MFR2cmr. is_totally_unimodular( certificate=True,
1632
1632
.... : complete_tree=True)
1633
1633
sage: result, certificate
1634
- ( False, ( None , (( 0 , 1, 2 ) , ( 3 , 4, 5 ))))
1634
+ ( False, ( OneSumNode ( 6×14 ) with 2 children , (( 2 , 1, 0 ) , ( 5 , 4, 3 ))))
1635
1635
sage: submatrix = MFR2. matrix_from_rows_and_columns( * certificate[1 ]) ; submatrix
1636
1636
[0 1 1 ]
1637
1637
[1 0 1 ]
1638
1638
[1 1 0 ]
1639
1639
sage: submatrix. determinant( )
1640
1640
2
1641
+ sage: submatrix = MFR2cmr. matrix_from_rows_and_columns( * certificate[1 ]) ; submatrix
1642
+ [0 1 1 ]
1643
+ [1 0 1 ]
1644
+ [1 1 0 ]
1641
1645
"""
1642
1646
cdef bool result
1643
1647
cdef CMR_TU_PARAMS params
0 commit comments