HomeCalculatorsMathLinear AlgebraLU Factorization Calculator
Math calculator

LU Factorization Calculator

Doolittle LU factorization with partial pivoting for a small real matrix. Same engine as Linear System. Not a CAS. Runs locally.

Instant result
Result
—

Enter values to calculate.

Inputs—
Mode—
Formula—
Trust summary CVP VERIFIED · production STALE · 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
PA = LU for order 2–3 (engine up to 4).
Scope
Real matrices
Verification
Engine tested · Specification checked · v1.14.1 · CVP VERIFIED · production STALE · CVP protocol 1.0.0-proposed · Core assurance · all published modes· View Manifest · CVP overview · Specification
Versions
Calculation 1.14.1 · CVP protocol 1.0.0-proposed · Evidence 2026-10-07.solve-publication-diagnostics
Verification revision
2026-10-07.solve-publication-diagnostics · 10/10 property · digest c6132667b855
Legacy regression
58/58 tests · Production surface contract 5/5
Trust layers
Verification VERIFIED · Production STALE · Overall CVP state: VERIFIED_STALE under CVP 1.0.0-proposed
CVP status
STALE · Capability production binding: STALE · Site report: STALE · Evidence changed after the last successful production attestation. Re-attestation required.
Reference
O1 model · O2 expected_values · O2 numerical_behavior
Interfaces
PASS · UI (SSR) / REST / MCP — ui-ssr is query-result HTML, not a live browser session. Error-path engine·REST·MCP 1/1 (status, code, calculation_version). SSR compared on URL-canonical requested calculations; empty query is idle (not an error) and JSON-typed object/array inputs are REST/MCP-only.
Supplemental domain review
Not performed
Named expert review
Not performed
CVP suite
26/26 golden · 8/8 CVP boundary · 14/14 invalid · 10/10 property · 1/1 metamorphic · 9/9 cross-interface · 2/2 cross-calculator · 5/5 CVP contract · Manifest
Specification basis
  • ISO 80000-2:2019 Quantities and units — Mathematics
Specification basis
Evidence
29 legacy golden · 6 legacy boundary · legacy regression suite · 26/26 oracle-backed golden · 14/14 invalid · Artifact integrity PASS
STALE · Build schema 1.14.1 matches page · production binding STALE · Semantic contract ✓ · Last attestation PASS · current evidence changed · re-attestation required · CVP STALE · attestation STALE — Production CURRENT withheld · Public/cache ✓ · Origin ✓
Semantic contract
PASS
Full verification

Manifest identity, reference classes, interfaces, suite, and production records.

Formulas

Core equations used by this calculator.

FactorizationPA = LU
Pivotingpartial row pivots on |uₖₖ|
iDoolittle LU with partial pivoting. Not QR. Not SVD. Order ≤ 4. A singular matrix still returns L and U with a singular_u warning. Float64. Pivot tests are scale-aware (ε·max(m,n)·‖A‖_max).

How to use

1

Enter a square matrix

2×2 or 3×3. Larger composition lives at /workspace/matrix.

2

Read L, U, and P

reconstruction_residual is ‖PA − LU‖_F. Ill-conditioned matrices warn.

Example calculations

Common configurations with formula and result.

ϟ

[[2,1],[1,1]]

Nonsingular

PA = LU
residual ~ 0
ϟ

Singular

[[1,2],[2,4]]

singular U
warning

LU Factorization calculator specification

Version 1.14.1 · Engine tested

Calculation status

Review policy · Evidence

Definition
PA = LU factors a square matrix into a permutation, a unit lower-triangular L, and an upper-triangular U. This page is a discovery surface on the linear-algebra engine (mode=lu).
What it calculates
PA = LU for order 2–3 (engine up to 4).
Inputs
  • order
  • a11…
Outputs
  • L
  • U
  • P
  • reconstruction_residual
  • condition_number
  • singular
Formula
PA = LU
Assumptions
  • Real matrices
  • Order ≤ 4
  • Planar ℝ² figure when order=2; order 3+ omits it
  • Float64
  • Not a CAS
Units
  • dimensionless
Boundary conditions
  • singular A → singular_u warning, not SINGULAR_MATRIX
  • unknown mode (including jordan-form) → INVALID_MODE
Example
[[2,1],[1,1]] → PA=LU
Validation cases

2 published on this page · 58/58 tests · Production surface contract 5/5 · View evidence

  • order=2 a11=2 a12=1 a21=1 a22=1 → reconstruction_residual≈0
  • order=2 a11=1 a12=2 a21=2 a22=4 → singular=true
Specification basis
  • ISO 80000-2:2019 Quantities and units — Mathematics
Calculation version
1.14.1

Frequently asked questions

Key distinctions behind the calculation.

Is this a second LU solver?

No. It is mode=lu on math.linear_algebra, the same engine as /calc/math/linear-system and /workspace/matrix.

What happens when A is singular?

L and U are still returned. singular is true and warning singular_u is set. Inverse remains SINGULAR_MATRIX.