MathAssertions 0.1.0

Prefix Reserved
dotnet add package MathAssertions --version 0.1.0
                    
NuGet\Install-Package MathAssertions -Version 0.1.0
                    
This command is intended to be used within the Package Manager Console in Visual Studio, as it uses the NuGet module's version of Install-Package.
<PackageReference Include="MathAssertions" Version="0.1.0" />
                    
For projects that support PackageReference, copy this XML node into the project file to reference the package.
<PackageVersion Include="MathAssertions" Version="0.1.0" />
                    
Directory.Packages.props
<PackageReference Include="MathAssertions" />
                    
Project file
For projects that support Central Package Management (CPM), copy this XML node into the solution Directory.Packages.props file to version the package.
paket add MathAssertions --version 0.1.0
                    
#r "nuget: MathAssertions, 0.1.0"
                    
#r directive can be used in F# Interactive and Polyglot Notebooks. Copy this into the interactive tool or source code of the script to reference the package.
#:package MathAssertions@0.1.0
                    
#:package directive can be used in C# file-based apps starting in .NET 10 preview 4. Copy this into a .cs file before any lines of code to reference the package.
#addin nuget:?package=MathAssertions&version=0.1.0
                    
Install as a Cake Addin
#tool nuget:?package=MathAssertions&version=0.1.0
                    
Install as a Cake Tool

MathAssertions

NuGet License: MIT .NET

Scope: Test projects only. Not intended for production code.

Framework-agnostic core for the MathAssertions package family. The actual TUnit fluent assertions ship in the framework-specific adapter package (currently MathAssertions.TUnit).

Most users want MathAssertions.TUnit, not this package directly. This package ships the framework-agnostic helper classes (MathTolerance, Sequences, Statistics, LinearAlgebra, NumberTheory, plus the Geometry3D namespace); the adapter package adds the fluent Assert.That(value).Method(...) entry points your test framework expects.


What's in this package (v0.1.0)

Pure, NaN-aware, infinity-aware mathematical-assertion helpers. Six static classes plus the Geometry3D namespace cover ~85 methods:

  • MathTolerance: scalar IsApproximatelyEqual for double/float plus the System.Numerics compounds (Vector2/Vector3/Vector4, Quaternion with IsRotationallyEquivalent, Matrix4x4, Plane with IsGeometricallyEquivalent, Complex), span / tensor overloads (ReadOnlySpan<double>/<float>, generic ReadOnlyTensorSpan<T>), ULP-distance equality (IsCloseInUlps), combined relative+absolute tolerance, finiteness/probability/percentage predicates, and HasRoundtripIdentity for invertible-transformation checks.
  • Sequences: monotonicity (strict + non-strict), boundedness, arithmetic and geometric progressions, ConvergesTo, single-step IsCauchyConvergent, generic length predicates over ReadOnlySpan<T>.
  • Statistics: Welford's MeanAndVariance, HasMean/Variance/StdDev/Sum/Median/PercentileApproximately, IsWithinSigmasOfMean, AreAllWithinSigmasOfMean. Median and percentile use overflow-safe forms.
  • LinearAlgebra: Matrix4x4 invariants (IsSymmetric, IsOrthogonal, IsIdentity, HasDeterminantApproximately, HasTraceApproximately, IsInvertible) plus Vector3 pair properties (AreOrthogonal, AreParallel, AreLinearlyIndependent).
  • NumberTheory: exact integer predicates over long: IsDivisibleBy, IsPrime, AreCoprime, GreatestCommonDivisor, LeastCommonMultiple, IsPowerOf, IsPerfectSquare, IsCongruent. Overflow-safe and long.MinValue-aware.
  • Geometry3D: eight primitive record struct types (Sphere, AxisAlignedBox, OrientedBox, Ray3D, LineSegment3D, Triangle3D, Capsule, Cylinder) and five static classes: Properties (degeneracy, collinearity, coplanarity), Containment (point/box/sphere/OBB/convex hull), Distance (point-to-plane/segment/triangle), Intersection (sphere-sphere, AABB-AABB, ray-plane/sphere/triangle/AABB with citations to Real-Time Rendering §§22.6, 22.7, 22.8), Pointcloud (boundedness, centroid, on-plane / on-sphere). Algorithm citations preserved per Real-Time Collision Detection and Real-Time Rendering.

All tolerance- and sigma-taking methods validate the bound up front; invalid input throws ArgumentOutOfRangeException even on early-return paths.

Test-framework adapters

Package Test framework Status
MathAssertions.TUnit TUnit Available now
MathAssertions.NUnit NUnit Possible if there is demand
MathAssertions.xUnit xUnit Possible if there is demand
MathAssertions.MSTest MSTest Possible if there is demand

If you'd find a non-TUnit adapter useful, open a feature request. Adapters are not built proactively.

When to install this package directly

Only when authoring a non-TUnit adapter for the assertion family, or when calling MathTolerance from a [GenerateAssertion] extension on a private type. For any TUnit testing use case, install MathAssertions.TUnit.

Installation

dotnet add package MathAssertions.TUnit

MathAssertions comes transitively. You don't need to install it directly unless you're building your own adapter package.

Stability

The public surface above is semver-bound. Breaking changes require a major version bump. The exact text of any future failure-message rendering produced inside MathTolerance is not stable and may gain extra detail or change formatting in any release.

Repository

github.com/JohnVerheij/MathAssertions.TUnit for the full README, design notes, and roadmap.

License

MIT. Copyright (c) 2026 John Verheij.

Product Compatible and additional computed target framework versions.
.NET net10.0 is compatible.  net10.0-android was computed.  net10.0-browser was computed.  net10.0-ios was computed.  net10.0-maccatalyst was computed.  net10.0-macos was computed.  net10.0-tvos was computed.  net10.0-windows was computed. 
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.

NuGet packages (1)

Showing the top 1 NuGet packages that depend on MathAssertions:

Package Downloads
MathAssertions.TUnit

TUnit-native tolerance-aware numeric assertions over the MathAssertions core. Fluent .Method(...) entry points (generated via TUnit's [GenerateAssertion]) for scalar, vector, quaternion, matrix, plane, complex, double[]/float[], double-array sequences and statistics, Vector3 linear algebra, long-integer number theory, and the Geometry3D primitive surface (containment, distance, intersection, pointcloud aggregates). Extensible: consumers add tolerance assertions for their own domain types via [GenerateAssertion] extensions calling MathTolerance helpers. AOT-compatible, trimmable, no reflection.

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last Updated
0.1.0 52 5/9/2026
0.0.1 57 5/8/2026

See CHANGELOG.md