Numerical Integration — Machine Interface

Direct answer

Numerical Integration — Machine Interface is limited to the bound authority, implementation, or commercial acquisition state and carries its exclusions explicitly.

Answer contract

Apply the machine interface lens only to the exact inspected source scope; do not infer authority from adjacent topics.

Evidence and exact locators

t21-trapezoid — lib/federation/readiness-tranche-21.ts — trapezoidIntegral. Supports: Computes an exact rational composite trapezoid result on an equally spaced integer grid.

src-dlmf-quadrature — §3.5(iv), equation 3.5.15 and exactness statement. Supports: Defines interpolatory quadrature with weights and an error term and states its polynomial exactness.

What the evidence does not establish

This fixture does not estimate quadrature error, choose a grid, or establish that the sampled function is integrable.

Does not establish convergence or error for an arbitrary integrand, node choice, or numerical implementation.

Rights and reuse

project-owned-reference-only

reference-only

Dependencies and related concepts

applies-to: urn:maha:concept:computation:numerical-integration

governed-by: urn:maha:concept:governance

evidence-for: urn:maha:concept:computation

Authority or implementation

This authority or implementation section is constrained to the same inspected scope: Computes an exact rational composite trapezoid result on an equally spaced integer grid. Defines interpolatory quadrature with weights and an error term and states its polynomial exactness.

It must preserve the recorded boundary: This fixture does not estimate quadrature error, choose a grid, or establish that the sampled function is integrable. Does not establish convergence or error for an arbitrary integrand, node choice, or numerical implementation.

Mechanism or acquisition state

This mechanism or acquisition state section is constrained to the same inspected scope: Computes an exact rational composite trapezoid result on an equally spaced integer grid. Defines interpolatory quadrature with weights and an error term and states its polynomial exactness.

It must preserve the recorded boundary: This fixture does not estimate quadrature error, choose a grid, or establish that the sampled function is integrable. Does not establish convergence or error for an arbitrary integrand, node choice, or numerical implementation.

Verification and uncertainty

This verification and uncertainty section is constrained to the same inspected scope: Computes an exact rational composite trapezoid result on an equally spaced integer grid. Defines interpolatory quadrature with weights and an error term and states its polynomial exactness.

It must preserve the recorded boundary: This fixture does not estimate quadrature error, choose a grid, or establish that the sampled function is integrable. Does not establish convergence or error for an arbitrary integrand, node choice, or numerical implementation.

What this does not establish

This what this does not establish section is constrained to the same inspected scope: Computes an exact rational composite trapezoid result on an equally spaced integer grid. Defines interpolatory quadrature with weights and an error term and states its polynomial exactness.

It must preserve the recorded boundary: This fixture does not estimate quadrature error, choose a grid, or establish that the sampled function is integrable. Does not establish convergence or error for an arbitrary integrand, node choice, or numerical implementation.

Questions this page can answer