stillwater-sc / universal / 23709023003
85%
master: 84%

LAST BUILD BRANCH: main
DEFAULT BRANCH: master
Ran
Jobs 1
Files 630
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 84.349% (-0.005%) from 84.354%
23709023003

push

github

web-flow 
feat(ucalc): condition number estimation command (cond) (#665)

* feat(ucalc): condition number estimation command (#637)

Add `cond [[a,b],[c,d]]` that estimates the 1-norm condition number
of a small matrix (2x2 or 3x3) in the active type.

Reports:
- Condition number (||A||_1 * ||A^-1||_1)
- Determinant
- Classification: well-conditioned, moderate, ill-conditioned, severely
- Type precision, digits lost, effective precision remaining

Example:
  float> cond [[1, 2], [1.0001, 2]]
  condition (1-norm): 59992.04
  WARNING: ill-conditioned
  effective precision: ~2.1 decimal digits (of 6.9)

2x2 uses exact adjugate formula, 3x3 uses cofactor expansion.
All output formats: plain, --json, --csv, --quiet.

Resolves #637

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* fix(ucalc): resolve CodeRabbit review items for cond command

Three fixes:

1. Reject trailing input: matrix literal must start with [[ and end
   with ]] with nothing else. "cond [[1,2],[3,4]] float" now errors.

2. Restrict to 2x2 and 3x3 only: 1x1 and 4x4 explicitly rejected
   with clear error message. Removed dead 4x4 else branch.

3. Document double-precision limitation: comment explains the
   condition number is a double-precision estimate, adequate for
   understanding precision loss but not exact in the active type.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

---------

Co-authored-by: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

44585 of 52858 relevant lines covered (84.35%)

6103060.52 hits per line

Coverage Regressions

Lines Coverage ∆ File
5
50.45
 -4.5% include/sw/universal/verification/posit_test_suite_randoms.hpp
1
80.8
 0.0% include/sw/universal/number/posit1/specialized/posit_16_1.hpp
Jobs
ID Job ID Ran Files Coverage
1 23709023003.1 630
84.35
 GitHub Action Run
Source Files on build 23709023003