Lean matrices¶
Internal data structures for the LinearMatroid
class and some subclasses.
Note that many of the methods are cdef
, and therefore only available from
Cython code.
Warning
Intended for internal use by the LinearMatroid
classes only. End users
should work with Sage matrices instead. Methods that are used outside
lean_matrix.pyx and have no equivalent in Sage’s Matrix
have been
flagged in the code, as well as where they are used, by # Not a Sage
matrix operation
or # Deprecated Sage matrix operation
.
AUTHORS:
 Rudi Pendavingh, Stefan van Zwam (20130401): initial version

class
sage.matroids.lean_matrix.
BinaryMatrix
¶ Bases:
sage.matroids.lean_matrix.LeanMatrix
Binary matrix class. Entries are stored bitpacked into integers.
INPUT:
m
– Number of rows.n
– Number of columns.M
– (default:None
) Matrix or BinaryMatrix instance. Assumption: dimensions ofM
are at mostm
byn
.ring
– (default:None
) ignored.
EXAMPLES:
sage: from sage.matroids.lean_matrix import * sage: A = BinaryMatrix(2, 2, Matrix(GF(7), [[0, 0], [0, 0]])) sage: B = BinaryMatrix(2, 2, ring=GF(5)) sage: C = BinaryMatrix(2, 2) sage: A == B and A == C True

base_ring
()¶ Return \(GF(2)\).
EXAMPLES:
sage: from sage.matroids.lean_matrix import * sage: A = BinaryMatrix(4, 4) sage: A.base_ring() Finite Field of size 2

characteristic
()¶ Return the characteristic of
self.base_ring()
.EXAMPLES:
sage: from sage.matroids.lean_matrix import * sage: A = BinaryMatrix(3, 4) sage: A.characteristic() 2

class
sage.matroids.lean_matrix.
GenericMatrix
¶ Bases:
sage.matroids.lean_matrix.LeanMatrix
Matrix over arbitrary Sage ring.
INPUT:
nrows
– number of rowsncols
– number of columnsM
– (default:None
) aMatrix
orGenericMatrix
of dimensions at mostm*n
.ring
– (default:None
) a Sage ring.
Note
This class is intended for internal use by the LinearMatroid class only. Hence it does not derive from
SageObject
. IfA
is a LeanMatrix instance, and you need access from other parts of Sage, useMatrix(A)
instead.If the constructor is fed a GenericMatrix instance, the
ring
argument is ignored. Otherwise, the matrix entries will be converted to the appropriate ring.EXAMPLES:
sage: M = Matroid(ring=GF(5), matrix=[[1, 0, 1, 1, 1], [0, 1, 1, 2, 3]]) # indirect doctest sage: M.is_isomorphic(matroids.Uniform(2, 5)) True

base_ring
()¶ Return the base ring of
self
.EXAMPLES:
sage: from sage.matroids.lean_matrix import GenericMatrix sage: A = GenericMatrix(3, 4, ring=GF(5)) sage: A.base_ring() Finite Field of size 5

characteristic
()¶ Return the characteristic of
self.base_ring()
.EXAMPLES:
sage: from sage.matroids.lean_matrix import GenericMatrix sage: A = GenericMatrix(3, 4, ring=GF(5)) sage: A.characteristic() 5

class
sage.matroids.lean_matrix.
IntegerMatrix
¶ Bases:
sage.matroids.lean_matrix.LeanMatrix
Matrix over the integers.
INPUT:
nrows
– number of rowsncols
– number of columnsM
– (default:None
) aMatrix
orGenericMatrix
of dimensions at mostm*n
.
Note
This class is intended for internal use by the LinearMatroid class only. Hence it does not derive from
SageObject
. IfA
is a LeanMatrix instance, and you need access from other parts of Sage, useMatrix(A)
instead.This class is mainly intended for use with the RegularMatroid class, so entries are assumed to be small integers. No overflow checking takes place!
EXAMPLES:
sage: M = Matroid(graphs.CompleteGraph(4).incidence_matrix(oriented=True), ....: regular=True) # indirect doctest sage: M.is_isomorphic(matroids.Wheel(3)) True

base_ring
()¶ Return the base ring of
self
.EXAMPLES:
sage: from sage.matroids.lean_matrix import * sage: A = IntegerMatrix(3, 4) sage: A.base_ring() Integer Ring

characteristic
()¶ Return the characteristic of
self.base_ring()
.EXAMPLES:
sage: from sage.matroids.lean_matrix import * sage: A = GenericMatrix(3, 4) sage: A.characteristic() 0

class
sage.matroids.lean_matrix.
LeanMatrix
¶ Bases:
object
Lean matrices
Sage’s matrix classes are powerful, versatile, and often very fast. However, their performance with regard to pivoting (pretty much the only task performed on them within the context of matroids) leaves something to be desired. The LeanMatrix classes provide the LinearMatroid classes with a custom, lightweight data structure to store and manipulate matrices.
This is the abstract base class. Most methods are not implemented; this is only to fix the interface.
Note
This class is intended for internal use by the LinearMatroid class only. Hence it does not derive from
SageObject
. IfA
is a LeanMatrix instance, and you need access from other parts of Sage, useMatrix(A)
instead.EXAMPLES:
sage: M = Matroid(ring=GF(5), matrix=[[1, 0, 1, 1, 1], [0, 1, 1, 2, 3]]) # indirect doctest sage: M.is_isomorphic(matroids.Uniform(2, 5)) True

base_ring
()¶ Return the base ring.
EXAMPLES:
sage: from sage.matroids.lean_matrix import LeanMatrix sage: A = LeanMatrix(3, 4) sage: A.base_ring() Traceback (most recent call last): ... NotImplementedError: subclasses need to implement this.

characteristic
()¶ Return the characteristic of
self.base_ring()
.EXAMPLES:
sage: from sage.matroids.lean_matrix import GenericMatrix sage: A = GenericMatrix(3, 4, ring=GF(5)) sage: A.characteristic() 5

ncols
()¶ Return the number of columns.
EXAMPLES:
sage: from sage.matroids.lean_matrix import LeanMatrix sage: A = LeanMatrix(3, 4) sage: A.ncols() 4

nrows
()¶ Return the number of rows.
EXAMPLES:
sage: from sage.matroids.lean_matrix import LeanMatrix sage: A = LeanMatrix(3, 4) sage: A.nrows() 3


class
sage.matroids.lean_matrix.
QuaternaryMatrix
¶ Bases:
sage.matroids.lean_matrix.LeanMatrix
Matrices over GF(4).
INPUT:
m
– Number of rowsn
– Number of columnsM
– (default:None
) A QuaternaryMatrix or LeanMatrix or (Sage) Matrix instance. If not given, new matrix will be filled with zeroes. Assumption:M
has dimensions at mostm
timesn
.ring
– (default:None
) A copy of GF(4). Useful for specifying generator name.
EXAMPLES:
sage: from sage.matroids.lean_matrix import * sage: A = QuaternaryMatrix(2, 2, Matrix(GF(4, 'x'), [[0, 0], [0, 0]])) sage: B = QuaternaryMatrix(2, 2, GenericMatrix(2, 2, ring=GF(4, 'x'))) sage: C = QuaternaryMatrix(2, 2, ring=GF(4, 'x')) sage: A == B and A == C True

base_ring
()¶ Return copy of \(GF(4)\) with appropriate generator.
EXAMPLES:
sage: from sage.matroids.lean_matrix import * sage: A = QuaternaryMatrix(2, 2, ring=GF(4, 'f')) sage: A.base_ring() Finite Field in f of size 2^2

characteristic
()¶ Return the characteristic of
self.base_ring()
.EXAMPLES:
sage: from sage.matroids.lean_matrix import * sage: A = QuaternaryMatrix(200, 5000, ring=GF(4, 'x')) sage: A.characteristic() 2

class
sage.matroids.lean_matrix.
TernaryMatrix
¶ Bases:
sage.matroids.lean_matrix.LeanMatrix
Ternary matrix class. Entries are stored bitpacked into integers.
INPUT:
m
– Number of rows.n
– Number of columns.M
– (default:None
)Matrix
orTernaryMatrix
instance. Assumption: dimensions ofM
are at mostm
byn
.ring
– (default:None
) ignored.
EXAMPLES:
sage: from sage.matroids.lean_matrix import * sage: A = TernaryMatrix(2, 2, Matrix(GF(7), [[0, 0], [0, 0]])) sage: B = TernaryMatrix(2, 2, ring=GF(5)) sage: C = TernaryMatrix(2, 2) sage: A == B and A == C True

base_ring
()¶ Return GF(3).
EXAMPLES:
sage: from sage.matroids.lean_matrix import * sage: A = TernaryMatrix(3, 3) sage: A.base_ring() Finite Field of size 3

characteristic
()¶ Return the characteristic of
self.base_ring()
.EXAMPLES:
sage: from sage.matroids.lean_matrix import * sage: A = TernaryMatrix(3, 4) sage: A.characteristic() 3

sage.matroids.lean_matrix.
generic_identity
(n, ring)¶ Return a GenericMatrix instance containing the \(n imes n\) identity matrix over
ring
.EXAMPLES:
sage: from sage.matroids.lean_matrix import * sage: A = generic_identity(2, QQ) sage: Matrix(A) [1 0] [0 1]