Module computational_maths_shacl 

SHACL constraint surface for the computational-mathematics engine.

Mirrors, in the SHACL/SlgOpcode validation layer, the STEM capability libraries built out under the CALCULUS plan + the computational-engine gap analysis: units & dimensional analysis, number theory & combinatorics, special functions, interpolation, integral transforms, vector calculus, exact/arbitrary-precision arithmetic, the CAS calculus extensions (symbolic integration / series / limits / equation-solving / assumptions / trig / ODE-PDE / multivariable diff), and the general-dimension numerical methods.

Each capability has a typed *Configuration (compiled to a bounded Vec<SlgOpcode> at config time, off the hot path) and a SHACL NodeShape in get_computational_maths_shacl_ttl. Wired into the runtime via super::shacl::shacl_extension_bridge::append_extension_opcodes.

Structs

AssumptionConfiguration

q42:AssumptionConfiguration — simplify-under-assumptions soundness parameters.

ExactArithmeticConfiguration

q42:ExactArithmeticConfiguration — arbitrary-precision integer / rational parameters.

IntegralTransformConfiguration

q42:IntegralTransformConfiguration — DFT / Laplace / Z transform parameters.

InterpolationConfiguration

q42:InterpolationConfiguration — interpolation / approximation parameters.

NumberTheoryConfiguration

q42:NumberTheoryConfiguration — primality / factorization / modular bounds.

NumericalMethodConfiguration

q42:NumericalMethodConfiguration — general-dimension RK4 / Simpson / shooting-BVP.

SpecialFunctionConfiguration

q42:SpecialFunctionConfiguration — special-function evaluation parameters.

SymbolicCalculusConfiguration

q42:SymbolicCalculusConfiguration — CAS calculus operations (integration, series, limits, equation-solving, ODE/PDE, multivariable differentiation).

UnitsConfiguration

q42:UnitsConfiguration — dimensional-analysis / unit-conversion validation.

VectorCalculusConfiguration

q42:VectorCalculusConfiguration — grad/div/curl + line/surface integral parameters.

Constants

COMPUTATIONAL_MATHS_SHAPES

Every NodeShape name in this module’s vocabulary (full-coverage assertion target).

Functions

get_computational_maths_shacl_ttl

Comprehensive SHACL TTL vocabulary for the computational-mathematics engine.