pub struct AxisConstants {
pub degrees: [u32; 3],
pub epsilon: f64,
pub kappa: [f64; 3],
pub d_min: f64,
pub d_max: f64,
}Expand description
The constants of the per-axis filter of a predicate, as f64.
The filter decides when d_min <= d_k <= d_max on every axis k with
degrees[k] >= 1, where d_k = delta_k + E_k is computed in f64, and
|value| > epsilon * d^G + sum over k of kappa[k] * E_k * d^(G - e_k),
evaluated as a sum of chains of products, each starting with its
constant.
Fields§
§degrees: [u32; 3]The degree G_k of the form in each axis.
epsilon: f64The coefficient of D^G, rounded up.
kappa: [f64; 3]The coefficient of E_k * D^(G - e_k) of each axis, rounded up; zero
on an axis of degree zero.
d_min: f64The smallest d_k, computed in f64 as delta_k + E_k, on each axis
of positive degree, for which the bound covers underflow: a power of
two below 1.
d_max: f64The largest d_k, computed in f64 as delta_k + E_k, on each axis
of positive degree, for which no node overflows: a power of two above
1.