Description
Backend-neutral solver plans, operators, capabilities, and evidence.
Structs§
- Algebraic
Structure - Exact unknown Fields and explicitly realized gauges for a canonical projection. This retains semantic blocks; it does not infer DOF ranges from matrix entries.
- Backend
Id - Stable Eqiora-owned identity for a concrete solver adapter.
- Canonical
CsrAgreement Fingerprint V1 - Fixed-size L2 identity for exact canonical CSR algebraic agreement.
- Canonical
CsrSystem View - Captured complete CSR system with one Eqiora-owned mathematical action.
- Execution
Id - Stable Eqiora-owned identity for an operator execution adapter.
- Execution
Provider - Stable execution identity paired with its declared implementation release and dependency inventory.
- Execution
Report - Backend-neutral placement evidence for one accepted execution phase.
- Fixed
Order Inner Product - One fixed-order Euclidean inner product lowered into independent partials.
- Hermitian
Eigenproblem - A finite Hermitian matrix pencil with an explicitly positive-definite metric.
- Host
Serial Solver Profile - Structural operator facts admitted before host-serial numerical work.
- Linear
Acceptance Workspace - Reusable buffers for independent true-residual acceptance.
- Linear
Problem - One validated host-local linear problem.
- Linear
Solution - Accepted solution values and their evidence.
- Linear
Solve Request - One resolved backend instance paired with the sole validated solver plan.
- Oriented
- Allocation-free view of one explicitly admitted operator orientation.
- Prepared
Linear Structure Identity - Exact assembly-owned identity for one run-local linear structure.
- Provider
Library - One exact library version compiled into an execution provider.
- Resolved
Host Serial Solver Plan - Exact executable plan selected from the v2 host-serial catalog before numerical operator construction.
- Solve
Report - Auditable evidence for one accepted solve.
- Solver
Capabilities - Exact numerical policies admitted by one adapter.
- Solver
Capability - One exact numerical-policy tuple implemented by a solver adapter.
- Solver
Plan - Complete numerical policy for one linear solve.
- Solver
Provider - Stable solver identity paired with its declared implementation release and dependency inventory.
Enums§
- Algebraic
Block - One independently scaled block of the realized algebraic unknown vector.
- Algebraic
Constraint - Method-owned algebraic constraint used to select a unique solution.
- Convergence
Reason - Successful termination condition.
- Diagonal
Availability - Result of requesting an operator diagonal.
- Execution
Topology - Parallel topology used by one accepted execution phase.
- Linear
Operator Orientation - Orientation of the linear action accepted by a solver.
- Linear
Operator Properties - Mathematical properties asserted by the selected realization.
- Linear
Solver - Linear algorithm selected independently from model meaning.
- Preconditioner
Policy - Preconditioner policy selected independently from the linear algorithm.
- Reduction
Policy - Floating-point reduction policy.
- Solver
Planning Objective - Deterministic preference table used by bounded host-serial solver planning.
Constants§
- REFERENCE_
LINEAR_ SOLVER - Shared stateless reference backend.
- REFERENCE_
SOLVER_ PROVIDER - Exact declared release identity of the deterministic reference solver.
- SERIAL_
EXECUTION_ PROVIDER - Exact declared release identity of direct one-worker execution.
- SERIAL_
LINEAR_ EXECUTION - Shared direct one-worker execution.
Traits§
- CsrStorage
- Immutable matrix storage, independent of a linear system’s right-hand side.
- Linear
Operator - A host-local linear action over complete typed finite vectors.
- Linear
Solver Backend - Backend-neutral solver execution boundary.
- Oriented
Linear Operator - Explicit availability and action of normal, transpose and conjugate transpose. A conjugate transpose uses the Euclidean pairing; no metric adjoint is implied.
- Prepared
Linear Solver - Provider-private state for repeated solves inside one prepared run.
- Replicated
Linear Execution - Execution of complete host-local vectors under one resolved placement.
- RowLinear
Action - Independent action on a contiguous subset of output rows.
Functions§
- accept_
linear_ solution - Independently verify and accept a backend-produced solution.
- accept_
linear_ solution_ with_ execution - Independently verify and accept a backend-produced solution through the exact execution that produced it.
- accept_
linear_ solution_ with_ verifier - Independently verify a backend-produced solution through a distinct verifier while preserving the execution that produced the values.