Expand description
External-scalar proof crate: a scalar type that tenferro does not define.
This crate exists to show that the ordinary CPU numerical path in
tenferro-cpu does not require the preset scalar types. It defines its own
real scalar as a two-f64 expansion, stores it in
a host tenferro_tensor::TypedTensor, and executes through
tenferro_cpu::scalar_binary_into and tenferro_cpu::scalar_fold using
the same traversal the preset scalars use.
The type is deliberately small. It backs four arithmetic operations with an
exact two-sum so that low-order information survives accumulation, which an
f64 round trip destroys. xprec::Df64 is the production-shaped equivalent
and can replace this type without changing the tenferro side.
Modules§
- ad
- First-order AD for the contribution’s externally defined operations.
- conversion
- Directed value conversions between the external scalar and
f64. - extension
- A minimal extension-owned operation for the external scalar.
Structs§
- Df64
- A real scalar carrying a high and a low
f64component. - Df64Add
- The external contribution’s addition operation.
Enums§
- Extended
Set - Value enum for the external extended-precision set.
- Extended
Tag - Tag for the external extended-precision set.