Documentation

LeanPool.HighContrastHomogenization.Provider.PolynomialHomogenization.Root.RowSupply.UniformFluxScheduledRateExtraction

High-contrast homogenization: #

Provider.PolynomialHomogenization.Root.RowSupply.UniformFluxScheduledRateExtraction

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

Scheduled-rate extraction from the squared flux row #

The squared Whitney-row rate is converted to the terminal one-half power. All finite deterministic factors are retained in one explicit real constant.

source
def HCPolySupport.HighContrast.RowSupply.RowConvertedFluxScheduledRateAtWitness (d : ℕ) (C₀ : ℝ → ℝ → ℝ → ℝ) (_g kappaRate Cdual : ℝ) (capFlux hardyConstant boundaryEnergy : ENNReal) (s rho Rad epsilon Xval outputFactor : ℝ) :
Prop

CapObs-free terminal rate on the module-50 response-window witness.

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