Matrix Rank Calculator
Rank of a small real matrix via Gaussian elimination. Same engine as Linear System. Not a CAS. Runs locally.
Enter values to calculate.
Trust summary CVP VERIFIED · CVP protocol 1.0.0-proposed · Core assurance · all published modes
- Input interpretation
- Enter values to calculate.
- Result
- —
- Verified scope
- all published modes
- Assurance
- Core
- Declared partition coverage
- PASS · 19/19 declared partitions (solve, det, inverse, multiply, transpose, rank, eigen, lu, chol, qr, svd, lstsq, rref, condition, nullspace, columnspace, rowspace, leftnullspace, invalid-domain) · Matrix
- Known limitations
- Core CVP does not include live graph, viewport, or pointer interaction.
- Model
- rank(A) for order 2–3 (engine up to 4).
- Scope
- Real matrices
- Verification
- Engine tested · Specification checked · v1.14.0 · CVP VERIFIED · CVP protocol 1.0.0-proposed · Core assurance · all published modes· View Manifest · CVP overview · Specification
- Versions
- Calculation 1.14.0 · CVP protocol 1.0.0-proposed · Evidence 2026-09-22.la-hardening-lu-svd
- Verification revision
- 2026-09-22.la-hardening-lu-svd · 7/7 property · digest 7307c47e0dc1
- Legacy regression
- 58/58 tests · Production surface contract 5/5
- Trust layers
- Verification VERIFIED · Production CURRENT · Overall CVP state: VERIFIED under CVP 1.0.0-proposed
- Reference
- O1 model · O2 expected_values · O2 numerical_behavior
- Interfaces
- PASS · UI (SSR) / REST / MCP
- Supplemental domain review
- Not performed
- Named expert review
- Not performed
- CVP suite
- 24/24 golden · 8/8 CVP boundary · 14/14 invalid · 7/7 property · 9/9 cross-interface · 2/2 cross-calculator · 5/5 CVP contract · Manifest
- Specification basis
- ISO 80000-2:2019 Quantities and units — Mathematics
- Evidence
- 29 legacy golden · 6 legacy boundary · legacy regression suite · 24/24 oracle-backed golden · 14/14 invalid · Artifact integrity PASS
- Semantic contract
- PASS
Full verification
Formulas
Core equations used by this calculator.
How to use
Enter a square matrix
2×2 or 3×3. Larger composition lives at /workspace/matrix.
Read rank(A)
rank < n means singular: inverse does not exist and det = 0.
Example calculations
Common configurations with formula and result.
Dependent rows
[[1,2],[2,4]]
Identity
I₂
Matrix Rank calculator specification
Version 1.14.0 · Engine tested
- Engine tested 58/58 tests · Production surface contract 5/5
- Named expert review Not performed
- Calculation version 1.14.0
- Definition
- rank(A) is the number of linearly independent rows (or columns). This page is a discovery surface on the linear-algebra engine (mode=rank). Determinant, inverse, and Ax=b share the same capability.
- What it calculates
- rank(A) for order 2–3 (engine up to 4).
- Inputs
- order
- a11…
- Outputs
- rank
- det
- Formula
rank via Gaussian elimination- Assumptions
- Real matrices
- Order ≤ 4
- Planar ℝ² figure when order=2; order 3+ omits it
- Not a CAS
- Not SVD
- Units
- dimensionless
- Boundary conditions
- unknown mode (including jordan-form) → INVALID_MODE
- Example
- [[1,2],[2,4]] → rank=1
- Validation cases
2 published on this page · 58/58 tests · Production surface contract 5/5 · View evidence
- order=2 a11=1 a12=2 a21=2 a22=4 → rank=1
- order=2 a11=1 a12=0 a21=0 a22=1 → rank=2
- Specification basis
- ISO 80000-2:2019 Quantities and units — Mathematics
- Calculation version
- 1.14.0
Related tools
Other calculators in this family: Cholesky Factorization Calculator, Column Space Calculator, Condition Number Calculator, Least Squares Calculator, Left Nullspace Calculator, Linear System Calculator, LU Factorization Calculator, Matrix Determinant Calculator . Explore all Linear Algebra.
Frequently asked questions
Key distinctions behind the calculation.
Is this a second rank algorithm?
No. It is mode=rank on math.linear_algebra, the same engine as /calc/math/linear-system and /workspace/matrix.
Is rank the same as the number of nonzero eigenvalues?
Not always (defective matrices). Eigenvalues are mode=eigen on this same engine; SVD stays out of the seed.