Documentation

LeanPool.HighContrastHomogenization.Provider.Regularity.PrintOrderRateBearingCommonAffineGoodScaleEvent

High-contrast homogenization: Provider.Regularity.PrintOrderRateBearingCommonAffineGoodScaleEvent #

Imported from the Apache-2.0 HighContrastHomogenization development at commit 7a13dbcd8d6609264a713373f5c69ceeac870472.

Rate-bearing root event at the printed fractional order #

This is the order-31 event surface with the response order selected from the already fixed g. Its scale, deterministic length, tail, and common-scale bookkeeping are unchanged.

source
def HCPolySupport.HighContrast.PrintOrderRateBearingCommonAffineGoodScale (d : ℕ) [NeZero d] (g c kappaRate : ℝ) (abar : Mat d) (a : CoeffSpace d) (x : ℝ) :
Prop

The root-facing rate certificate with its order selected after g.

Equations
  • One or more equations did not get rendered due to their size.
Instances For