Crate geop_core_math 

Modules

convex_hull

disjoint_set

Accumulate candidate values found during a subdivision search into a minimal set of merged, mutually-disjoint solutions.

geop_error

interval_newton

Verified interval Gauss-Newton (a.k.a. Gauss-Newton-Krawczyk) contraction for over-determined, zero-residual-at-the-root systems F: R² → Rᴹ.

matrix

A dense, fixed-size, row-major matrix — Vector’s 2-D counterpart.

polygon

Generic 2-D polygon area — no topology or rendering dependency, so it lives here rather than in geop-ops-rasterize: geop-core-topology’s own edit code (splice_edge_into_face’s loop-orientation check) needs it too, and topology sits below rasterize in the dependency order.

primitives

scalars

vector

Macros

for_all_scalars

Invoke a generic test function once for each concrete scalar implementation. Inside a #[test] function, write:

with_context

Like format!, but for WithContext::with_context: builds a ContextSource that formats its message lazily, only if the result is actually an Err — .with_context(with_context!("failed at i={i}")) costs nothing on the success path, unlike .with_context(&format!(...)) (eagerly formats every time, even when nothing is wrong).