High-contrast homogenization: Provider.PolynomialHomogenization.RootGoodScaleProvider #
Imported from the Apache-2.0 HighContrastHomogenization development at commit
7a13dbcd8d6609264a713373f5c69ceeac870472.
The normalized reference certificate at the root scale #
The deterministic root reads one sample certificate. It consists of a globally compatible normalized reference family and a summable scalar identity weak-error tail. The finite geometric enlargement is recorded in the natural start index of that tail, leaving the real quenched scale unchanged.
def
HCPolySupport.HighContrast.NormalizedReferenceGoodScale
{d : ℕ}
[NeZero d]
(abar : Mat d)
(a : CoeffSpace d)
(x : ℝ)
:
A sample admits one normalized reference family whose scalar identity errors have a summable tail above a finite enlargement of the given scale.
Equations
- One or more equations did not get rendered due to their size.