High-contrast homogenization: Provider.PolynomialHomogenization.ConvexHardyChainAggregation #
Imported from the Apache-2.0 HighContrastHomogenization development at commit
7a13dbcd8d6609264a713373f5c69ceeac870472.
Aggregation of the small-radius part of convex Hardy chains #
Successive chain links are aggregated only while their straight-chain shadows fit inside the outer sandwich ball. The complementary links are retained as an explicit late-link term. Thus the homogeneous shadow estimate is never used beyond its geometric range.
noncomputable def
HCPolySupport.HighContrast.convexHardyChainAggregationDistanceFactor
(d : ℕ)
(rho Rad : ℝ)
:
The Euclidean cross-diameter multiplier for two successive chain balls.